{"version.version":"0.1.1","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-4244.html","spt.number":4244,"spt.acronym":"CILC 2026","spt.wikidataid":"Q141603273","spt.title":"Proceedings of the 41th Italian Conference on Computational Logic","spt.description":"Proceedings of CILC 2026 workshop","spt.url":"https://ceur-ws.org/Vol-4244/","spt.date":"2026-08-24","spt.dblp":null,"spt.k10plus":null,"spt.urn":"urn:nbn:de:0074-4244-x","cvb.number":4244,"cvb.url":"https://ceur-ws.org/Vol-4244/","cvb.title":"Proceedings of the 41th Italian Conference on Computational Logic","cvb.fullTitle":null,"cvb.acronym":"CILC 2026","cvb.lang":null,"cvb.location":null,"cvb.country":"Italy","cvb.countryWikidataId":"Q38","cvb.region":null,"cvb.city":"Ferrara","cvb.cityWikidataId":"Q13362","cvb.ordinal":null,"cvb.date":null,"cvb.dateFrom":"2026-06-23","cvb.dateTo":"2026-06-25","cvb.pubYear":null,"cvb.pubDate":"2026-08-24T00:00:00","cvb.submitDate":null,"cvb.valid":true,"cvb.conference":null,"cvb.editors":"Damiano Azzolini, Alessandro Bertagnon, Marco Gavanelli, Fabrizio Riguzzi, Michela Vespa","cvb._sessions":null,"cvb.virtualEvent":false,"cvb.submittedBy":"Alessandro Bertagnon","cvb.fromLine":863,"cvb.toLine":901,"cvb.loctime":"Ferrara, Italy, June 23-25, 2026","cvb.tdtitle":"Proceedings of the 8th International Workshop on Robotics Software Engineering (RoSE 2026),Vienna, Austria, June 01, 2026.","cvb.seealso":"Vol-4003⇹Vol-3733⇹Vol-3428⇹Vol-3204⇹Vol-3002⇹Vol-2710⇹Vol-2396⇹Vol-1949⇹Vol-1949⇹Vol-1645⇹Vol-1459⇹Vol-1195⇹Vol-1068⇹Vol-857⇹Vol-810⇹Vol-598","cvb.volname":"https://ceur-ws.org/Vol-4244/","cvb.published":"2026-08-24","cvb.year":"2026","cvb.urn":"urn:nbn:de:0074-4244-x","cvb.archive":"https://ceur-ws.org/ftp-dir/Vol-4244.zip","cvb.desc":"?","cvb.h1":"CILC 2026 Italian Conference on Computational Logic 2026","cvb.volume_number":"Vol-4244","cvb.ceurpubdate":"2026-08-24","cvb.voltitle":"Italian Conference on Computational Logic 2026","cvb.colocated":null,"cvb.homepage":"https://cilc2026.unife.it/","cvb.h3":"Damiano Azzolini 1 Alessandro Bertagnon 1 Marco Gavanelli 2 Fabrizio Riguzzi 3 Michela Vespa 2","cvb.urn_check_digit":4,"cvb.urn_ok":false,"wd.item":"http://www.wikidata.org/entity/Q141603273","wd.itemLabel":"Proceedings of the 41th Italian Conference on Computational Logic","wd.itemDescription":"Proceedings of CILC 2026 workshop","wd.sVolume":4244,"wd.Volume":null,"wd.short_name":"CILC 2026","wd.dblpProceedingsId":null,"wd.title":"Proceedings of the 41th Italian Conference on Computational Logic","wd.language_of_work_or_name":null,"wd.language_of_work_or_nameLabel":null,"wd.URN_NBN":"urn:nbn:de:0074-4244-x","wd.publication_date":"2026-08-24T00:00:00","wd.described_at_URL":"https://ceur-ws.org/Vol-4244/","wd.event":"http://www.wikidata.org/entity/Q141603274","wd.eventLabel":"41th Italian Conference on Computational Logic","wd.eventSeries":"","wd.eventSeriesLabel":"","wd.eventSeriesOrdinal":"","wd.dblpEventId":"conf/cilc/cilc2026","wd.fullWorkUrl":"https://ceur-ws.org/Vol-4244/","wd.homePage":null,"wd.ppnId":null}