Room 3.1.2
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 2A (Sep 09 10:50-12:30) LOPSTR: Welcome, invited talk, Synthesis and transformation
- Session 5A (Sep 09 15:50-17:30) LOPSTR: Decision procedures
- Session 8A (Sep 10 10:50-12:30) LOPSTR: Optimization, refactoring and testing
- Session 11A (Sep 10 15:50-17:30) LOPSTR: Term and graph rewriting, discussion and closing