Room O. De Donato

Room details (which includes links to a map with the position of the room, instructions on how to reach the room, and photos of the room)

Session 1C (Sep 09 09:00-10:20) Plenary keynote, invited by FACS
Session 2B (Sep 09 10:50-12:30) FMICS: Real-Time Systems / Robotics
Session 4D (Sep 09 14:00-15:20) Plenary keynote, invited by TAP
Session 5B (Sep 09 15:50-17:30) FMICS: Semantics and Verification
Session 7D (Sep 10 09:00-10:20) Plenary keynote, invited by LOPSTR/PPDP
Session 8B (Sep 10 10:50-12:30) FMICS: Case Studies 1
Session 10D (Sep 10 14:00-15:20) Plenary keynote, invited by FMICS
Session 11B (Sep 10 15:50-17:30) FMICS: Case Studies 2
Session 13A (Sep 11 09:00-10:20) Opening
Session 14B (Sep 11 10:50-12:30) Formal Methods and Machine Learning
Session 17A (Sep 11 14:00-15:20) Industry Day talk
Session 18B (Sep 11 15:50-17:50) Industry Day
Session 20 (Sep 12 09:00-10:20) Keynote 2
Session 22A (Sep 12 10:50-12:30) Learn and Repair
Session 24 (Sep 12 14:00-15:20) FME Fellowship award
Session 25 (Sep 13 09:00-10:20) Keynote 3
Session 26B (Sep 13 10:50-12:30) Embedded Systems
Session 27B (Sep 13 14:00-15:20) Security
Session 28A (Sep 13 15:50-17:30) Distributed and Concurrent Systems
Session 29 (Sep 13 17:10-17:30) Closing