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)