Inamori Hall

All talks of ATVA 2024 will take place in Inamori hall in Shiran-Kaikan, Kyoto University.

Shiran-Kaikan is located next to the Yoshida Campus of Kyoto University. Use the coordinates 35.02448628789367, 135.77773010364967 to find the exact location. (NB: “Shirankaikan Annex” is a different building that’s across the street.)

Sessions

Session 1 (Oct 22 09:30-10:30) Keynote 1
Session 2 (Oct 22 11:00-12:30) Verification 1
Session 3 (Oct 22 14:00-15:30) Learning 1
Session 4 (Oct 22 16:00-17:30) Synthesis
Session 5 (Oct 23 09:00-10:00) Keynote 2
Session 6 (Oct 23 10:30-12:00) Verification 2
Session 7 (Oct 23 14:00-15:30) Concurrent and Distributed Systems
Session 8 (Oct 23 16:00-16:30) Business Meeting
Session 9 (Oct 24 09:00-10:00) Keynote 3 (Joint with APLAS)
Session 10 (Oct 24 10:30-12:00) Software Verification and Programming Language Semantics
Session 11 (Oct 24 14:00-15:30) Automata and Games
Session 12 (Oct 24 16:00-17:30) Runtime Verification and Learning 2