Room 3.1.5
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 1E (Sep 09 09:00-10:20) CPA: Opening, invited talk
- Session 3F (Sep 09 11:00-12:30) CPA: CPAchecker's Industrial Applications and Potentials
- Session 4F (Sep 09 14:00-15:20) CPA: Software Verification and Testing
- Session 6F (Sep 09 16:00-17:30) CPA: New Analyses and Latest Development in CPAchecker, closing
- Session 7A (Sep 10 09:00-10:30) Tutorial: Software Verification with CPAchecker 3.0: Tutorial and User Guide (part 1)
- Session 9A (Sep 10 11:00-12:30) Tutorial: Software Verification with CPAchecker 3.0: Tutorial and User Guide (part 2)
- Session 10A (Sep 10 14:00-15:30) Tutorial: A Tutorial on Stream-based Monitoring (part 1)
- Session 12A (Sep 10 16:00-17:30) Tutorial: A Tutorial on Stream-based Monitoring (part 2)