Maths Seminar C1
Classroom C1, Mathematical Institute, Radcliffe Observatory Quarter, Woodstock Rd, Oxford, OX2 6GG, https://goo.gl/maps/VefskbmvcER2
Sessions
- Session 24B (Jul 07 09:30-10:30) Invited Talk
- Session 26P (Jul 07 11:00-12:30) Frameworks
- Session 28M (Jul 07 14:00-15:30) Invited Talk, and Semantics
- Session 31Q (Jul 07 16:00-18:00) Applications
- Session 34G (Jul 08 09:00-10:30) Opening and Keynote
- Session 38G (Jul 08 11:00-12:30) Technical Papers
- Session 40G (Jul 08 14:00-15:30) Technical Papers
- Session 42F (Jul 08 16:00-18:00) Technical Papers and Closing Remarks
- Session 83I (Jul 13 09:00-10:30) Applications
- Session 86J (Jul 13 11:00-12:30) Logic
- Session 87J (Jul 13 14:00-15:30) Constraint Satisfiability