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)
Sessions
- 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