Blavatnik Seminar Room 4
Seminar Room 4, Blavatnik School of Government, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG, https://goo.gl/maps/7HDqoYSAf7A2
Sessions
- Session 23F (Jul 07 09:00-10:30) Invited Talk and Higher Dimensional Rewriting
- Session 26G (Jul 07 11:00-12:30) Algebraic Structures and Coherence
- Session 28F (Jul 07 14:00-15:30) Term Rewriting
- Session 31G (Jul 07 16:00-18:00) Applications and Business Meeting
- Session 36B (Jul 08 09:30-10:30)
- Session 38Q (Jul 08 11:00-12:30)
- Session 40R (Jul 08 14:00-15:30)
- Session 83M (Jul 13 09:00-10:30) UITP 1: Invited talk
- Session 86N (Jul 13 11:00-12:30) UITP 2
- Session 87N (Jul 13 14:00-15:30) UITP 3/ Isabelle 3 Joint Session
- Session 125Q (Jul 18 09:00-10:30) Invited talk
- Session 127Q (Jul 18 11:00-12:30) Program termination and orderings (I)
- Session 128Q (Jul 18 14:00-15:30) Program termination and orderings (II)
- Session 130P (Jul 18 16:00-18:00) Termination Competition (report and short talks)
- Session 131J (Jul 19 09:00-10:30) Invited talk
- Session 133J (Jul 19 11:00-12:30) Complexity
- Session 135I (Jul 19 14:00-15:30) Complexity / Applications
- Session 137H (Jul 19 16:00-17:00) Higher-Order
- Session 138 (Jul 19 17:00-18:00) WST 2018 business meeting