Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Conference series Beta

Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY)

Events
4 (2020 to 2025)
Academic field
Natural sciences: Computer and information sciences
Identifier
https://id.confref.org/series/s123648

Events (4)

20202025

YearNo.EventPlaceDate
20257Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, Bologna, Italy, October 26, 2025.
Bologna
20246Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024.
Bolzano
20235Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023.
Rome
20202Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020.

The events on the map · in the search · calendar of coming events

Sources

The records of the sources that this identifier brings together (cr:sameAs).

dblp

Cite

Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY). confref identifier s123648. https://id.confref.org/series/s123648

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.