Program for Sunday, October 26th: Session View

OVERLAY 2025: 7TH INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE AND FORMAL VERIFICATION, LOGIC, AUTOMATA, AND SYNTHESIS

PROGRAM AUTHORS KEYWORDS

PROGRAM FOR SUNDAY, OCTOBER 26TH: SESSION VIEW

View: with abstracts talk overview

7:00

7:30

8:00

8:30

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

07:00-14:00

Registration - Managed by ECAI

09:00-09:15

09:15-10:30

Verification of learning-based and multi-agent systems

10:30-11:00

11:00-12:30

Automata, formal languages and logic

12:30-14:00

14:00-14:45

Applications of formal verification and AI

14:45-15:30

LLMs and Neurosymbolic AI for knowledge acquisition

15:30-16:00

16:00-16:30

Games and reasoning

16:30-17:00

Spotlight presentations of Work in Progress

17:00-17:45

17:45-17:50

Closing remarks

Disclaimer | Powered by EasyChair Smart Program