cvb.acronym: OVERLAY 2020
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-2785.zip
cvb.ceurpubdate: '2020-12-21'
cvb.city: null
cvb.cityWikidataId: null
cvb.colocated: BOSK 2020
cvb.country: null
cvb.countryWikidataId: null
cvb.dateFrom: '2020-09-25'
cvb.dateTo: '2020-09-25'
cvb.desc: '?'
cvb.editors: Riccardo De Benedictis, Luca Geretti, Andrea Micheli
cvb.fromLine: 18148
cvb.h1: OVERLAY 2020 Artificial Intelligence and Formal Verification, Logic, Automata,
  and Synthesis 2020
cvb.h3: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification,
  Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK
  2020)
cvb.homepage: https://overlay.uniud.it/workshop/2020
cvb.loc_city: null
cvb.loc_country: null
cvb.loc_days: '25'
cvb.loc_locs: null
cvb.loc_month: September
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: September 25, 2020
cvb.number: 2785
cvb.pubDate: '2020-12-21T00:00:00'
cvb.published: '2020-12-21'
cvb.seealso: Vol-2509
cvb.submittedBy: Andrea Micheli
cvb.tdtitle: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
  Verification, Logic, Automata, and Synthesis (OVERLAY 2020), co-located with the
  Bolzano Summer of Knowledge 2020 (BOSK 2020), Bolzano, September 25, 2020.
cvb.title: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification,
  Logic, Automata, and Synthesis
cvb.toLine: 18172
cvb.url: http://ceur-ws.org/Vol-2785/
cvb.urn: urn:nbn:de:0074-2785-1
cvb.urn_check_digit: 1
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Artificial Intelligence and Formal Verification, Logic, Automata, and
  Synthesis 2020
cvb.voltitle: Artificial Intelligence and Formal Verification, Logic, Automata, and
  Synthesis 2020
cvb.volume_number: Vol-2785
cvb.year: '2020'
spt.acronym: OVERLAY 2020
spt.date: '2020-12-21'
spt.dblp: conf/overlay/2020
spt.description: Proceedings of OVERLAY 2020 workshop
spt.html_url: /Vol-2785.html
spt.k10plus: '1749254433'
spt.number: 2785
spt.title: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification,
  Logic, Automata, and Synthesis
spt.url: http://ceur-ws.org/Vol-2785/
spt.urn: urn:nbn:de:0074-2785-1
spt.wikidataid: Q113542317
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-2785-1
wd.Volume: null
wd.dblpEventId: conf/overlay/overlay2020
wd.dblpProceedingsId: conf/overlay/2020
wd.described_at_URL: http://ceur-ws.org/Vol-2785/
wd.event: http://www.wikidata.org/entity/Q113582124
wd.eventLabel: 2nd Workshop on Artificial Intelligence and Formal Verification, Logic,
  Automata, and Synthesis
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-2785/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113542317
wd.itemDescription: Proceedings of OVERLAY 2020 workshop
wd.itemLabel: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
  Verification, Logic, Automata, and Synthesis
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1749254433'
wd.publication_date: '2020-12-21T00:00:00'
wd.sVolume: 2785
wd.short_name: OVERLAY 2020
wd.title: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification,
  Logic, Automata, and Synthesis
