default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

related: International Conference of the Italian Association for Artificial Intelligence (AI*IA)

7th OVERLAY 2025: Bologna, Italy

- view
- export record
  dblp key:
  - conf/overlay/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/overlay/2025
Angelo Montanari, Andrea Orlandini, Nicola Saccomanno, Stefano Tonetta:
Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, Bologna, Italy, October 26, 2025. CEUR Workshop Proceedings 4142, CEUR-WS.org 2025 [contents]

6th OVERLAY 2024: Bolzano, Italy

- view
- export record
  dblp key:
  - conf/overlay/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/overlay/2024
Daniele Porello, Cosimo Vinci, Matteo Zavatteri:
Short 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. CEUR Workshop Proceedings 3904, CEUR-WS.org 2025 [contents]

5th OVERLAY 2023: Rome, Italy

- view
- export record
  dblp key:
  - conf/overlay/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/overlay/2023
Andrea Brunello, Alessandro Gianola, Fabio Mogavero:
Short 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. CEUR Workshop Proceedings 3629, CEUR-WS.org 2024 [contents]

2nd OVERLAY 2020: Online Event / Bolzano, Italy

- view
- export record
  dblp key:
  - conf/overlay/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/overlay/2020
Riccardo De Benedictis, Luca Geretti, Andrea Micheli:
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), September 25, 2020. CEUR Workshop Proceedings 2785, CEUR-WS.org 2020 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.