Room 3.1.4
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 3C (Sep 09 11:00-12:30) Tutorial: No risk, no fun: a tutorial on risk management
- Session 4C (Sep 09 14:00-15:30) Tutorial: Practical Deductive Verification of OCaml Programs (part 1)
- Session 6C (Sep 09 16:00-17:30) Tutorial: Practical Deductive Verification of OCaml Programs (part 2)
- Session 7C (Sep 10 09:00-10:20) Doctoral Symposium: Welcome and Invited Talk by Kristin-Yvonne Rozier
- Session 9C (Sep 10 11:00-12:30) Doctoral Symposium: Lightning rounds of PhD presentations
- Session 10C (Sep 10 14:00-15:20) Doctoral Symposium: Lightning rounds of PhD presentations
- Session 12C (Sep 10 16:00-17:30) Doctoral Symposium: Invited Talk by Byron Cook and Closing