Room 3.0.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 3D (Sep 09 11:00-12:30) TAP: Quality of Tests and Proofs
- Session 6D (Sep 09 16:00-17:00) TAP: Testing and Proving Advanced Properties
- Session 9D (Sep 10 11:00-12:00) TAP: invited talk
- Session 12D (Sep 10 16:00-17:30) TAP: Applications of Tests and Proofs
- Session 14A (Sep 11 10:50-12:30) Foundations 1
- Session 18A (Sep 11 15:50-17:50) Foundations 2
- Session 22B (Sep 12 10:50-12:30) Foundations 3
- Session 26A (Sep 13 10:50-12:30) Programming Languages 1
- Session 27A (Sep 13 14:00-15:20) Programming Languages 2
- Session 28B (Sep 13 15:50-17:10) Formal Methods in Practice