{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-4003.html","spt.number":4003,"spt.acronym":"CILC 2025","spt.wikidataid":null,"spt.title":"Proceedings of the 40th Italian Conference on Computational Logic","spt.description":null,"spt.url":null,"spt.date":"2028-07-28","spt.dblp":null,"spt.k10plus":null,"spt.urn":null,"cvb.number":4003,"cvb.url":"https://ceur-ws.org/Vol-4003/","cvb.title":"Proceedings of the 40th Italian Conference on Computational Logic","cvb.fullTitle":null,"cvb.acronym":"CILC 2025","cvb.lang":null,"cvb.location":null,"cvb.country":"Italy","cvb.countryWikidataId":"Q38","cvb.region":null,"cvb.city":"Alghero","cvb.cityWikidataId":"Q166282","cvb.ordinal":null,"cvb.date":null,"cvb.dateFrom":"2025-06-25","cvb.dateTo":"2025-06-27","cvb.pubYear":null,"cvb.pubDate":"2028-07-28T00:00:00","cvb.submitDate":null,"cvb.valid":true,"cvb.conference":null,"cvb.editors":"Dario Guidotti, Laura Pandolfo, Luca Pulina","cvb._sessions":null,"cvb.virtualEvent":false,"cvb.submittedBy":"Dario Guidotti","cvb.fromLine":5447,"cvb.toLine":5484,"cvb.loctime":"Alghero, Italy, June 25-27, 2025","cvb.tdtitle":null,"cvb.seealso":"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-4003/","cvb.published":"2028-07-28","cvb.year":"2025","cvb.urn":"urn:nbn:de:0074-4003-X","cvb.archive":"https://ceur-ws.org/ftp-dir/Vol-4003.zip","cvb.desc":"?","cvb.h1":"CILC 2025 Italian Conference on Computational Logic 2025","cvb.volume_number":"Vol-4003","cvb.ceurpubdate":"2025-07-28","cvb.voltitle":"Italian Conference on Computational Logic 2025","cvb.homepage":"https://cilc2025.github.io","cvb.h3":"Proceedings of the 40th Italian Conference on Computational Logic","cvb.urn_check_digit":0,"cvb.urn_ok":false,"cvb.colocated":null}