Room 1.2 (Engineering School)
Sessions
- Session 1 (Oct 26 09:00-09:15) Opening
- Session 2 (Oct 26 09:15-10:30) Verification of learning-based and multi-agent systems
- Session 3 (Oct 26 11:00-12:30) Automata, formal languages and logic
- Session 4 (Oct 26 14:00-14:45) Applications of formal verification and AI
- Session 5 (Oct 26 14:45-15:30) LLMs and Neurosymbolic AI for knowledge acquisition
- Session 6 (Oct 26 16:00-16:30) Games and reasoning
- Session 7 (Oct 26 16:30-17:00) Spotlight presentations of Work in Progress
- Session 9 (Oct 26 17:45-17:50) Closing remarks