CS Lecture Theatre A
Lecture Theatre A, Department of Computer Science, Wolfson Building, Parks Road, Oxford, OX1 3QD, https://goo.gl/maps/tkFhdN2RZfR2
Sessions
- Session 63A (Jul 11 10:50-12:30) Formal Synthesis
- Session 66B (Jul 11 14:00-15:40) Applications 1
- Session 68A (Jul 11 16:10-17:25) Verification
- Session 73A (Jul 12 10:50-12:30) Reachability and safety analysis
- Session 76A (Jul 12 14:00-15:40) Optimal and model predictive control
- Session 79A (Jul 12 16:10-17:25) Applications 2
- Session 85 (Jul 13 10:50-12:05) Stochastic systems 2
- Session 87A (Jul 13 14:00-15:15) Control Synthesis
- Session 125A (Jul 18 09:00-10:00) ARQNL Invited Talk: Larry Moss
- Session 126 (Jul 18 10:00-10:30) ARQNL Regular Papers 1
- Session 127A (Jul 18 11:00-12:30) ARQNL Regular Papers 2
- Session 128A (Jul 18 14:00-15:00) ARQNL Invited Talk: Giles Reger
- Session 129 (Jul 18 15:00-15:30) ARQNL Regular Papers 3
- Session 130A (Jul 18 16:00-17:30) ARQNL Presentation only & System demos