Room 3.1.6
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 1D (Sep 09 09:00-10:30) PAVeTrust: Welcome, invited talk, research paper
- Session 3E (Sep 09 11:00-12:30) PAVeTrust: Invited talk, research paper
- Session 4E (Sep 09 14:00-15:20) PAVeTrust: Invited talk, research paper
- Session 6E (Sep 09 16:00-17:30) PAVeTrust: Invited talk, discussion, closing
- Session 7B (Sep 10 09:00-10:30) Tutorial: Satisfiability Modulo Theories: A Beginner's Tutorial (part 1)
- Session 9B (Sep 10 11:00-12:30) Tutorial: Satisfiability Modulo Theories: A Beginner's Tutorial (part 2)
- Session 10B (Sep 10 14:00-15:30) Tutorial: The Java Verification Tool KeY: A Tutorial (part 1)
- Session 12B (Sep 10 16:00-17:30) Tutorial: The Java Verification Tool KeY: A Tutorial (part 2)