Event Beta

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.

Name: 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.
Location: Bologna

Date: 2025
Place: Bologna, Italy on the map
Series: Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY)
Edition: 7
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11mwft

Proceedings

Title	DOI	Year	Record
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		2025	dblp

Sources

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

dblp	`https://dblp.org/db/conf/overlay/overlay2025`

Cite

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.. confref identifier e11mwft. https://id.confref.org/event/e11mwft

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.