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-09:10) Announcement: Handbook of Model Checking
Session 102 (Jul 15 09:10-10:00) CAV Award
Session 103A (Jul 15 10:00-10:30) Learning
Session 104A (Jul 15 11:00-12:30) Runtime Verification, Hybrid and Timed Systems
Session 106A (Jul 15 14:00-15:30) Tools
Session 108A (Jul 15 16:00-17:00) Probabilistic Systems
Session 109 (Jul 15 17:00-18:00) Business Meeting
Session 110A (Jul 16 09:00-10:30) Tools
Session 112A (Jul 16 11:00-12:00) CAV Invited Talk: Somesh Jha
Session 114 (Jul 16 12:00-12:30) Static Analysis
Session 115 (Jul 16 14:00-15:30) FLoC Plenary Lecture: Byron Cook
Session 118A (Jul 17 09:00-10:30) Theory and Security
Session 120A (Jul 17 11:00-12:15) SAT, SMT and Decision Procedures
Session 122A (Jul 17 14:00-15:15) Concurrency
Session 123A (Jul 17 16:00-17:45) CPS, Hardware, Industrial Applications
Session 125P (Jul 18 09:00-10:30) Invited Speaker; Distributed Systems I
Session 127P (Jul 18 11:00-12:30) Distributed Systems II
Session 128P (Jul 18 14:00-15:30) Invited Speaker; Autonomy
Session 130N (Jul 18 16:00-18:00) Autonomous Vehicles
Session 131I (Jul 19 09:00-10:30) Invited Speaker; Robotics
Session 133I (Jul 19 11:00-11:30) Robotics Demo
Session 134 (Jul 19 11:30-12:30) Panel Session