OVERLAY 2025: 7TH INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE AND FORMAL VERIFICATION, LOGIC, AUTOMATA, AND SYNTHESIS
Diarmuid O'Donoghue
Affiliation: Maynooth University
Web page: https://www.maynoothuniversity.ie/faculty-science-engineering/our-people/diarmuid-odonoghue
Pages in this Program
Program
Program for Sunday, October 26th