Maths Seminar C4
Classroom C4, Mathematical Institute, Radcliffe Observatory Quarter, Woodstock Rd, Oxford, OX2 6GG, https://goo.gl/maps/VefskbmvcER2
Sessions
- Session 23P (Jul 07 09:00-10:30) Invited Talk, and orders and sets of E-unifiers
- Session 26R (Jul 07 11:00-12:30) Unification, protocol analysis, and logics
- Session 28P (Jul 07 14:00-15:30) Invited Talk, and Unification Modulo
- Session 31S (Jul 07 16:00-18:10) Nominal Unification and Formalisations
- Session 33 (Jul 07 18:10-18:40) UNIF 2018 Wrap Up
- Session 34C (Jul 08 09:00-10:00) DCM/ITRS joint invited talk
- Session 37 (Jul 08 10:00-10:30)
- Session 38C (Jul 08 11:00-12:30)
- Session 40C (Jul 08 14:00-15:30)
- Session 42C (Jul 08 16:00-16:30)
- Session 124F (Jul 18 09:00-10:30) Practical MSO Model Checking 1
- Session 126F (Jul 18 11:00-12:30) Practical MSO Model Checking 2
- Session 127F (Jul 18 14:00-15:30) Frameworks
- Session 129E (Jul 18 16:00-18:00) Modelling and Solving