Stop the war!

Остановите войну!

for scientists:

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)

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]

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]

a service of

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.