St Anne's Seminar Room 7
Seminar Room 7, St Anne's College, 56 Woodstock Rd, Oxford OX2 6HS, https://goo.gl/maps/Y3xtvRVyo8J2
Sessions
- Session 83B (Jul 13 09:00-10:30) Program Verification
- Session 86A (Jul 13 11:00-12:30) Proof Theory
- Session 87B (Jul 13 14:00-15:50) Weak Memory and Complexity
- Session 89 (Jul 13 16:10-18:00) Small Models and SL-COMP