Blavatnik LT1

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

Sessions

Session 24A (Jul 07 09:30-10:30)
Session 26F (Jul 07 11:00-12:30)
Session 30C (Jul 07 15:00-15:30)
Session 31F (Jul 07 16:00-18:00)
Session 36A (Jul 08 09:30-10:30)
Session 38H (Jul 08 11:00-12:30)
Session 40H (Jul 08 14:00-15:30)
Session 42G (Jul 08 16:00-18:00)
Session 47C (Jul 09 11:00-12:00) ITP Invited Talk: John Harrison
Session 48 (Jul 09 12:00-12:30)
Session 49C (Jul 09 14:00-15:30)
Session 51C (Jul 09 16:00-18:00)
Session 52C (Jul 10 09:00-10:00) ITP Invited Talk: Dan Grayson
Session 53A (Jul 10 10:00-10:30)
Session 54C (Jul 10 11:00-12:30)
Session 55C (Jul 10 14:00-15:30)
Session 58B (Jul 10 16:00-17:00)
Session 60D (Jul 11 09:00-10:30)
Session 64C (Jul 11 11:00-12:30)
Session 67C (Jul 11 16:00-18:00)
Session 70C (Jul 12 09:00-10:30)
Session 74C (Jul 12 11:00-12:30)
Session 76D (Jul 12 14:00-15:00) ITP Invited Talk: Jean-Christophe Filliâtre
Session 77B (Jul 12 15:00-15:30)
Session 78B (Jul 12 16:00-17:00)
Session 81A (Jul 12 17:00-18:00) ITP Business Meeting
Session 84A (Jul 13 09:30-10:30) Isabelle 1
Session 86E (Jul 13 11:00-12:30) Isabelle 2
Session 88C (Jul 13 16:00-18:00) Isabelle 4
Session 95B (Jul 14 11:00-12:30) DS-FM invited talk: Sylvain Conchon
Session 96B (Jul 14 14:00-15:30)
Session 99B (Jul 14 16:00-16:30)
Session 101D (Jul 15 09:00-10:30) Logics and Calculi
Session 104D (Jul 15 11:00-12:30) Formal Proofs
Session 106D (Jul 15 14:00-15:00) IJCAR Invited Talk: Martin Giese
Session 107B (Jul 15 15:00-15:30) Termination
Session 108D (Jul 15 16:00-18:00) Logics, Frameworks and Proofs
Session 110B (Jul 16 09:00-10:00) FM Invited Talk: Leonardo de Moura
Session 111 (Jul 16 10:00-10:30)
Session 112B (Jul 16 11:00-12:30)
Session 116B (Jul 16 16:00-18:00)
Session 118B (Jul 17 09:00-10:30)
Session 120B (Jul 17 11:00-12:00) FM Invited Talk: Kim G. Larsen
Session 121 (Jul 17 12:00-12:30)
Session 122B (Jul 17 14:00-15:30)
Session 123B (Jul 17 16:00-18:00)
Session 125G (Jul 18 09:00-10:30)
Session 127G (Jul 18 11:00-12:30)
Session 128G (Jul 18 14:00-15:30)
Session 130F (Jul 18 16:00-18:00)
Session 131C (Jul 19 09:00-10:30)
Session 133C (Jul 19 11:00-12:30)
Session 135C (Jul 19 14:00-15:30)
Session 137C (Jul 19 16:00-18:00)