Room 3.1.3

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 1A (Sep 09 09:00-10:30) Tutorial: The Pyramid Of (Formal) Software Verification (part 1)
Session 3A (Sep 09 11:00-12:30) Tutorial: The Pyramid Of (Formal) Software Verification (part 2)
Session 4A (Sep 09 14:00-15:30) Tutorial: Runtime Verification in Real-Time with the Copilot Language: A Tutorial (part 1)
Session 6A (Sep 09 16:00-17:30) Tutorial: Runtime Verification in Real-Time with the Copilot Language: A Tutorial (part 2)
Session 9E (Sep 10 11:00-12:30) PPDP: Research talks
Session 10E (Sep 10 14:00-15:30) PPDP: Research talks
Session 12E (Sep 10 16:00-17:30) PPDP: Research talks
Session 13B (Sep 11 09:00-10:30) PPDP: Research talks
Session 15 (Sep 11 11:00-12:30) PPDP: Invited talk, research talk
Session 17B (Sep 11 14:00-15:30) PPDP: Invited talk, research talk
Session 19 (Sep 11 16:00-17:30) PPDP: Research talks