cvb._sessions: null
cvb.acronym: OVERLAY 2025
cvb.archive: https://ceur-ws.org/ftp-dir/Vol-4142.zip
cvb.ceurpubdate: '2025-12-22'
cvb.city: Bologna
cvb.cityWikidataId: Q1891
cvb.colocated: null
cvb.conference: null
cvb.country: Italy
cvb.countryWikidataId: Q38
cvb.date: null
cvb.dateFrom: '2025-10-26'
cvb.dateTo: '2025-10-26'
cvb.desc: '?'
cvb.editors: Angelo Montanari, Andrea Orlandini, Nicola Saccomanno, Stefano Tonetta
cvb.fromLine: 1392
cvb.fullTitle: null
cvb.h1: OVERLAY 2025 Artificial Intelligence and Formal Verification, Logic, Automata,
  and Synthesis 2025
cvb.h3: Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence
  and Formal Verification, Logic, Automata, and Synthesis
cvb.homepage: hhttps://overlay.uniud.it/workshop/2025
cvb.lang: null
cvb.location: null
cvb.loctime: Bologna, Italy, October 26, 2025
cvb.number: 4142
cvb.ordinal: null
cvb.pubDate: '2025-12-22T00:00:00'
cvb.pubYear: null
cvb.published: '2025-12-22'
cvb.region: null
cvb.seealso: "Vol-3904\u21F9Vol-3629\u21F9Vol-3311\u21F9Vol-2987\u21F9Vol-2785\u21F9\
  Vol-2509"
cvb.submitDate: null
cvb.submittedBy: Cosimo Vinci
cvb.tdtitle: null
cvb.title: Short Paper Proceedings of the 7th International Workshop on Artificial
  Intelligence and Formal Verification, Logic, Automata, and Synthesis
cvb.toLine: 1429
cvb.url: https://ceur-ws.org/Vol-4142/
cvb.urn: urn:nbn:de:0074-4142-x
cvb.urn_check_digit: 3
cvb.urn_ok: false
cvb.valid: true
cvb.virtualEvent: false
cvb.volname: https://ceur-ws.org/Vol-4142/
cvb.voltitle: Artificial Intelligence and Formal Verification, Logic, Automata, and
  Synthesis 2025
cvb.volume_number: Vol-4142
cvb.year: '2025'
spt.acronym: OVERLAY 2025
spt.date: '2025-12-22'
spt.dblp: null
spt.description: null
spt.html_url: /Vol-4142.html
spt.k10plus: null
spt.number: 4142
spt.title: Short Paper Proceedings of the 7th International Workshop on Artificial
  Intelligence and Formal Verification, Logic, Automata, and Synthesis
spt.url: null
spt.urn: null
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
