Abbreviations
For more information about the lecture halls and seminar rooms, see our
lecture room
page. The names listed under "Technical Assistance" are student
volunteers who will act as a contact person for technical questions of
the lecturers and workshop speakers during the course or workshop.
Week One: 9:15-10:45LaCo-I Statistical machine translationAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall CTechnical Assistance: Monica Gavrila & Martha TachbelieAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall KTechnical Assistance: Sophia Katrenko & Sebastian HitzigerAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Seminar room W221Technical Assistance: Tikitu de JagerAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall MTechnical Assistance: Christian Folde & Nick HaverkampAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall HTechnical Assistance: Thomas G�belLoCo-I Modularity in logical theories and ontologiesAbstract; Participants Lecturer(s)/Organizer(s): Room: Hall JTechnical Assistance: Nina WorchAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Seminar room W122Technical Assistance: Matthias KerzelWeek One: 11:00-12:30Abstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall JTechnical Assistance: Pablo Celayes & Hendrike PeetzAbstract; Participants Lecturer(s)/Organizer(s): Room: Hall CTechnical Assistance: Monica GavrilaAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall HTechnical Assistance: Nina WorchLoCo-A Nonmonotonic logics---recent advancesAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall KTechnical Assistance: Nick HaverkampLoCo-I Deontic logic in computer scienceAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Seminar room W221Technical Assistance: Christian Folde & Sebastian HitzigerWeek One: 14:15-15:45Abstract; Participants Lecturer(s)/Organizer(s): Room: Seminar room W122Technical Assistance: Hendrike Peetz & Martha TachbelieAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Seminar room W221Technical Assistance: Monica GavrilaAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall KTechnical Assistance: Abstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall HTechnical Assistance: Moritz SchulzLoCo-A Model theory for extensions of modal logicAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall CTechnical Assistance: Pablo Celayes & Nick HaverkampAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall MTechnical Assistance: Christian Folde & Klaus Iffl�nderWeek One: 17:15-18:45Abstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall HTechnical Assistance: Martha TachbelieLaCo-I Grammar induction and language evolutionAbstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall MTechnical Assistance: Thomas G�belLaLo-I Degrees in semanticsAbstract; Participants Lecturer(s)/Organizer(s): Room: Hall JTechnical Assistance: Abstract; Course material; Participants Lecturer(s)/Organizer(s): Room: Hall KTechnical Assistance: Moritz SchulzLoCo-A Games, monadic logics, and synthesisAbstract; Participants Lecturer(s)/Organizer(s): Room: Seminar room W221Technical Assistance: Sujata GhoshLoCo-F Logics for computationAbstract; Participants Lecturer(s)/Organizer(s): Room: Hall CTechnical Assistance: Pablo Celayes & Hendrik Peetz
|