Blavatnik LT2

Lecture Theatre 2, Blavatnik School of Government, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG, https://goo.gl/maps/7HDqoYSAf7A2

Session 23D (Jul 07 09:00-10:30) Invited talk: Emily Riehl
Session 26D (Jul 07 11:00-12:30)
Session 28D (Jul 07 14:00-15:00) HRDA & HoTT/UF Invited Talk: Paige North
Session 30A (Jul 07 15:00-15:30)
Session 31D (Jul 07 16:00-18:00)
Session 34N (Jul 08 09:00-10:30)
Session 38R (Jul 08 11:00-12:40)
Session 40S (Jul 08 14:00-15:30)
Session 42R (Jul 08 16:00-17:00)
Session 44 (Jul 08 17:00-18:00) Priorities for Diversity in Logic in Computer Science (round table discussion)
Session 83N (Jul 13 09:00-10:30)
Session 86P (Jul 13 11:00-12:30)
Session 87P (Jul 13 14:00-15:30)
Session 88K (Jul 13 16:00-17:00)
Session 95D (Jul 14 11:00-12:30) Ally Skills
Session 101E (Jul 15 09:00-10:30) SAT
Session 104E (Jul 15 11:00-12:30) SMT 2
Session 108E (Jul 15 16:00-18:00) Verification
Session 110C (Jul 16 09:00-10:30) Language and Reasoning
Session 112D (Jul 16 11:00-11:30) Implementation of ASP Systems
Session 113 (Jul 16 11:30-12:30) ALP General Meeting
Session 116D (Jul 16 16:00-18:00) Programming Competition
Session 118D (Jul 17 09:00-10:30) Test of Time Awards and Best DC Paper
Session 120C (Jul 17 11:00-12:30) Applications
Session 122D (Jul 17 14:00-15:30) Probabilistic and Constraint LP
Session 123D (Jul 17 16:00-16:30) Doctoral Consortium teaser talks
Session 124 (Jul 17 16:30-18:00) Technical Communications II
Session 125J (Jul 18 09:00-10:30)
Session 127J (Jul 18 11:00-12:30)
Session 128J (Jul 18 14:00-15:30)
Session 130I (Jul 18 16:00-18:00)