Room 3.1.7
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 7F (Sep 10 09:00-10:20) TLA+ CE: Opening, research papers
- Session 8D (Sep 10 10:50-12:30) TLA+ CE: Research papers
- Session 11D (Sep 10 15:50-17:50) TLA+ CE: Research papers, closing