Blavatnik Seminar Rooms 1 & 2
Seminar Rooms 1 & 2, Blavatnik School of Government, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG, https://goo.gl/maps/7HDqoYSAf7A2
Sessions
- Session 47F (Jul 09 11:00-12:15) SAT Invited Talk: Christoph Scholl
- Session 49F (Jul 09 14:00-15:30) MaxSAT
- Session 51F (Jul 09 16:00-18:00) CDCL
- Session 52E (Jul 10 09:00-10:30) Model Counting
- Session 54F (Jul 10 11:00-12:00) SAT Invited Talk: Rahul Santhanam
- Session 55F (Jul 10 14:00-15:30) QBF I
- Session 58C (Jul 10 16:00-17:00) QBF II
- Session 60F (Jul 11 09:00-10:30) Theory
- Session 64F (Jul 11 11:00-12:00) SAT Invited Talk: Marijn Heule
- Session 65B (Jul 11 12:00-12:20) Industry Presentation
- Session 67E (Jul 11 16:00-17:00) MUS
- Session 69C (Jul 11 17:00-18:00) SAT Business Meeting
- Session 74E (Jul 12 11:00-12:00) SMT
- Session 75B (Jul 12 12:00-12:30) Tools & Applications I
- Session 76G (Jul 12 14:00-15:30) Tools & Applications II
- Session 78D (Jul 12 16:00-18:00) Awards & Competitions