Maths Seminar C5
Classroom C5, Mathematical Institute, Radcliffe Observatory Quarter, Woodstock Rd, Oxford, OX2 6GG, https://goo.gl/maps/VefskbmvcER2
Sessions
- Session 23E (Jul 07 09:00-10:00) Invited talk: Naoki Kobayashi
- Session 25 (Jul 07 10:00-10:30)
- Session 26E (Jul 07 11:00-12:00) Invited talk: Pierre Vial
- Session 27 (Jul 07 12:00-12:30)
- Session 28E (Jul 07 14:00-15:00) Invited talk: Cynthia Kop
- Session 30B (Jul 07 15:00-15:30)
- Session 31E (Jul 07 16:00-17:00)
- Session 32B (Jul 07 17:00-18:00) Special session in honour of Kris Rose
- Session 38J (Jul 08 11:00-12:30)
- Session 40J (Jul 08 14:00-15:30)
- Session 42I (Jul 08 16:00-16:30)
- Session 43 (Jul 08 16:30-17:30)
- Session 83H (Jul 13 09:00-10:30) Markov decision processes 1
- Session 86I (Jul 13 11:00-12:30) Games and synthesis
- Session 87I (Jul 13 14:00-15:30) Timed and hybrid systems
- Session 88G (Jul 13 16:00-18:00) Markov decision processes 2
- Session 125I (Jul 18 09:00-10:30) Parallel graph algorithms
- Session 127I (Jul 18 11:00-12:30) Verifying parallel programs
- Session 128I (Jul 18 14:00-15:30) Parallel SAT solving
- Session 130H (Jul 18 16:00-18:00) Parallel parity game solving
- Session 131F (Jul 19 09:00-10:30) Opening and First Presentation Round
- Session 133F (Jul 19 11:00-12:30) Second Presentation Round
- Session 135F (Jul 19 14:00-15:30) Third Presentation Round
- Session 137E (Jul 19 16:00-18:00) Poster Presentations and Panel Discussion