Maths LT1

Lecture Theatre 1, Mathematical Institute, Radcliffe Observatory Quarter, Woodstock Rd, Oxford, OX2 6GG, https://goo.gl/maps/VefskbmvcER2

Sessions

Session 23B (Jul 07 09:00-10:30)
Session 26B (Jul 07 11:00-12:30)
Session 28B (Jul 07 14:00-15:30)
Session 31B (Jul 07 16:00-16:50)
Session 32A (Jul 07 17:00-18:00) Remembering Klaus Keimel
Session 34D (Jul 08 09:00-10:30)
Session 38D (Jul 08 11:00-12:30)
Session 40D (Jul 08 14:00-15:05)
Session 42D (Jul 08 16:00-17:15)
Session 45 (Jul 08 17:15-17:30) Closing
Session 46 (Jul 09 09:00-10:30) FLoC Plenary Lecture: Peter O'Hearn
Session 47D (Jul 09 11:00-12:40)
Session 49D (Jul 09 14:00-15:40)
Session 51D (Jul 09 16:00-18:00)
Session 52D (Jul 10 09:00-10:00) LICS Invited Talk: Ursula Martin
Session 53B (Jul 10 10:00-10:40)
Session 54D (Jul 10 11:00-12:40)
Session 55D (Jul 10 14:00-15:20)
Session 57B (Jul 10 15:40-16:40)
Session 60E (Jul 11 09:00-10:00) LICS Invited Talk: Thierry Coquand
Session 61 (Jul 11 10:00-10:40)
Session 64D (Jul 11 11:00-12:40)
Session 66A (Jul 11 14:00-15:30) FLoC Keynote Lecture: Shafi Goldwasser
Session 67D (Jul 11 16:00-17:00) LICS Business Meeting
Session 69B (Jul 11 17:00-18:30) LICS Award Session & Martin Hofmann Memorial
Session 70D (Jul 12 09:00-10:40)
Session 74D (Jul 12 11:00-12:00) LICS Invited Talk: Val Tannen
Session 75A (Jul 12 12:00-12:40)
Session 76E (Jul 12 14:00-15:40)
Session 78C (Jul 12 16:00-17:00) LICS Invited Talk: Javier Esparza
Session 81B (Jul 12 17:00-17:45) Alonzo Church Award Session
Session 83K (Jul 13 09:00-10:30) Machine learning and logic
Session 86L (Jul 13 11:00-12:30) Ethical and fair AI
Session 87L (Jul 13 14:00-15:30) Applications of AI
Session 88I (Jul 13 16:00-16:40) Explainable machine learning
Session 91 (Jul 13 16:40-18:00) Panel Session & Summary
Session 93A (Jul 14 09:00-10:30) FLoC Keynote Lecture: Georges Gonthier
Session 95A (Jul 14 11:00-12:30) Model Checking
Session 96A (Jul 14 14:00-15:00) CAV Invited Talk: Eran Yahav
Session 98A (Jul 14 15:00-15:30) Polyhedra
Session 99A (Jul 14 16:00-18:00) Synthesis
Session 101A (Jul 15 09:00-10:00) CAV Award
Session 102A (Jul 15 10:00-10:30) Learning
Session 103A (Jul 15 11:00-12:30) Runtime Verification, Hybrid and Timed Systems
Session 105A (Jul 15 14:00-15:30) Tools
Session 107A (Jul 15 16:00-17:00) Probabilistic Systems
Session 108 (Jul 15 17:00-18:00) Business Meeting
Session 109A (Jul 16 09:00-10:30) Tools
Session 111A (Jul 16 11:00-12:00) CAV Invited Talk: Somesh Jha
Session 113 (Jul 16 12:00-12:30) Static Analysis
Session 114 (Jul 16 14:00-15:30) FLoC Plenary Lecture: Byron Cook
Session 117A (Jul 17 09:00-10:30) Theory and Security
Session 119A (Jul 17 11:00-12:15) SAT, SMT and Decision Procedures
Session 121A (Jul 17 14:00-15:15) Concurrency
Session 122A (Jul 17 16:00-17:45) CPS, Hardware, Industrial Applications
Session 124P (Jul 18 09:00-10:30) Invited Speaker; Distributed Systems I
Session 126P (Jul 18 11:00-12:30) Distributed Systems II
Session 127P (Jul 18 14:00-15:30) Invited Speaker; Autonomy
Session 129N (Jul 18 16:00-18:00) Autonomous Vehicles
Session 130I (Jul 19 09:00-10:30) Invited Speaker; Robotics I
Session 132I (Jul 19 11:00-11:30) Robotics II
Session 133 (Jul 19 11:30-12:30) Panel Session