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