Blavatnik Seminar Room 2
Seminar Room 2, Blavatnik School of Government, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG, https://goo.gl/maps/7HDqoYSAf7A2
Sessions
- Session 23J (Jul 07 09:00-10:30) Invited and Contributed
- Session 26K (Jul 07 11:00-12:30) Contributed papers
- Session 28I (Jul 07 14:00-15:30) Contributed papers
- Session 31K (Jul 07 16:00-18:00) Contributed talks
- Session 34K (Jul 08 09:00-10:30)
- Session 38L (Jul 08 11:00-12:30)
- Session 40M (Jul 08 14:00-15:30)
- Session 42L (Jul 08 16:00-17:30)
- Session 83G (Jul 13 09:00-10:30)
- Session 86H (Jul 13 11:00-12:30)
- Session 87H (Jul 13 14:00-15:30)
- Session 88F (Jul 13 16:00-17:30)
- Session 94B (Jul 14 10:00-10:30) Overture: Tools
- Session 95G (Jul 14 11:00-12:30) Overture: Tools and Applications
- Session 96F (Jul 14 14:00-14:50) Overture/F-IDE invited talk: Leo Freitas
- Session 97 (Jul 14 14:50-15:30) Overture: Perspectives and Methods
- Session 99G (Jul 14 16:00-18:00) Overture: the Workshop part
- Session 125E (Jul 18 09:00-10:30) Logic and Practice of Programming
- Session 127E (Jul 18 11:00-12:30) Security Policies as Challenge Problems
- Session 128E (Jul 18 14:00-15:30) Challenge Solutions and Constraint Solving
- Session 130D (Jul 18 16:00-18:00) Logic and Constraints in Applications
- Session 131B (Jul 19 09:00-10:30)
- Session 133B (Jul 19 11:00-12:30) Modal logics
- Session 135B (Jul 19 14:00-15:30)
- Session 137B (Jul 19 16:00-17:30) Intuitionistic and belief logics