29th European Summer School in Logic, Language, and Information University of Toulouse (France), 17-28 July, 2017 Toggle navigation News Program Overview Week 1 Week 2 Courses Workshops Evening lectures Student session Beth dissertation prize Formal grammar conference Venue ESSLLI site Accommodation Transportation Eating options Tips Social Overview Welcome Reception Party Football match Lecturer's dinner Excursions What to do in Toulouse ? Registration People Contact VisitorLogin disabled Alexander Heußner Course Caught in the Spiders’ Diagrammatic Reasoning Web–The Euler/Spider Diagram Family of Formal Reasoning Systems– Back