Blavatnik Seminar Rooms 3 & 4

Seminar Rooms 3 & 4, Blavatnik School of Government, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG, https://goo.gl/maps/7HDqoYSAf7A2

Sessions

Session 47B (Jul 09 11:00-12:30) Linear Logic
Session 49B (Jul 09 14:00-15:00) FSCD Invited talk: Peter Selinger
Session 50B (Jul 09 15:00-15:30) Quantum Computing
Session 51B (Jul 09 16:00-18:00) Corrado Böhm Memorial
Session 52B (Jul 10 09:00-10:30) Types
Session 54B (Jul 10 11:00-12:30) Types
Session 55B (Jul 10 14:00-15:00) FSCD Invited talk: Valeria Vignudelli
Session 56 (Jul 10 15:00-15:30) Types
Session 57A (Jul 10 15:40-16:40) Complexity
Session 60C (Jul 11 09:00-10:30) Lambda Calculus
Session 64B (Jul 11 11:00-12:30) Rewriting
Session 67B (Jul 11 16:00-17:00) FSCD Invited talk: Grigore Rosu
Session 70B (Jul 12 09:00-10:00) FSCD Invited talk: Stéphanie Delaune
Session 72 (Jul 12 10:00-10:30) Unification
Session 74B (Jul 12 11:00-12:30) Unification
Session 76C (Jul 12 14:00-15:00) FSCD General Meeting
Session 77A (Jul 12 15:00-15:30) System presentation
Session 78A (Jul 12 16:00-16:30) Confluence Competition presentation
Session 80 (Jul 12 16:30-17:30) Confluence
Session 82 (Jul 12 17:30-18:00) Rewriting
Session 95E (Jul 14 11:00-12:30) Foundations I
Session 96D (Jul 14 14:00-15:30) Foundations II
Session 99E (Jul 14 16:00-17:00) ICLP Invited Talk: Thomas Eiter
Session 100A (Jul 14 17:00-18:00) ASP Extensions
Session 101C (Jul 15 09:00-10:00) ICLP Invited Talk: Elvira Albert
Session 103B (Jul 15 10:00-10:30) ASP Applications
Session 104C (Jul 15 11:00-12:30) Implementation I
Session 106C (Jul 15 14:00-15:30) Learning and Reasoning
Session 108C (Jul 15 16:00-18:00) Technical Communications I
Session 112C (Jul 16 11:00-12:30)
Session 116C (Jul 16 16:00-18:00)
Session 118C (Jul 17 09:00-10:30) FM I-Day
Session 122C (Jul 17 14:00-15:30) FM I-Day
Session 123C (Jul 17 16:00-17:30) FM I-Day