Course and Workshop Program and Locations
Time slots:
SLOT 1: 9.00-10.30
SLOT 2: 11.00-12.30
SLOT 3: 14.00-15.30
SLOT 4: 17.00-18.30
WEEK 1:
————
SLOT 1:
LaCo:
Anna Feldman and Jirka Hana: Resource-light Morpho-syntactic Analysis of Highly Inflected Languages, foundational
Auditorium: 27.0.09
Remi van Trijp and Martin Loetzsch: Evolutionary Linguistics, introductory
Auditorium: 22.0.11
LoCo:
Mohammadreza Mousavi and Michel Reniers: Structured Operational Semantics, introductory
Auditorium: 23.0.49
Wojtek Jamroga and Wojtek Penczek: Specification and Verification of Multi-Agent Systems, advanced
Auditorium: 21.0.19
LoLa:
Fritz Hamm and Yiannis Moschovakis: Sense and denotation as algorithm and value, advanced
Auditorium: 21.1.15
Hans Kamp. Psychological Reality of Semantic Theories, foundational — CANCELLED
Auditorium: 21.1.21
SLOT 2:
LaCo:
Ani Nenkova: Computational models of text quality, introductory
Auditorium: 27.0.09
Alexander Clark: Learnable representations of languages, advanced
Auditorium: 22.0.11
LoCo:
Lutz Strassburger: Introduction to Proof Theory, introductory
Auditorium: 23.0.49
Angelo Montanari and Nicola Vitacolonna: Ehrenfeucht-Fraïssé Games: Applications and Complexity, advanced
Auditorium: 21.0.19
LoLa:
Mats Rooth: Focus, introductory
Auditorium: 21.1.15
Joost Zwarts: Conceptual spaces and semantics maps, advanced
Auditorium: 21.1.21
Other:
Dov Gabbay and Leon van der Torre: Logics in Security, workshop
Auditorium: 21.1.47
SLOT 3:
LaCo:
Roberto Navigli and Simone Paolo Ponzetto: Word Sense Disambiguation and Induction, introductory
Auditorium: 27.0.09
Carl Vogel: Computational Stylistics: Beyond concordances and grammar checkers, workshop CANCELLED
LoCo:
Jiri Adamek and Stefan Milius: Introduction to Category Theory, Algebras and Coalgebras, introductory
Auditorium: 22.0.11
Ugo Dal Lago and Simone Martini: Implicit Computational Complexity, introductory
Auditorium: 23.0.49
Jan Broersen and Leon van der Torre: Ten problems of deontic logic and normative reasoning in computer science, foundational
Auditorium: 21.0.19
LoLa:
Kevin Paterson: Processing of Quantifiers, introductory
Auditorium: 21.1.15
Danny Fox and Benjamin Spector: Scalar Implicatures and Grammar, introductory
Auditorium: 21.1.21
SLOT 4:
LaCo:
Jong Sup Jun: Log-Linear Regression in Corpus Linguistics, introductory
Auditorium: 27.0.09
Patrick Juola: Authorship attribution and stylometry, introductory
Auditorium: 22.0.11
LoCo:
Olivier Gasquet and Andreas Herzig: Kripke’s World: an introduction to modal logics via tableau systems, foundational
Auditorium: 23.0.49
Dietrich Kuske: Automatic structures, advanced
Auditorium: 21.0.19
LoLa:
Larry Moss: Logics for natural language inference, advanced
Moved to week 2, slot 3
Olga Borik and Maarten Janssen: Formal Approaches to Thematic/ Semantic Roles, introductory
Auditorium: 21.1.21
WEEK 2:
————
SLOT 1:
LaCo:
Afra Alishahi and Afsaneh Fazly: Computational Modeling of Human Language Acquisition, advanced
Auditorium: 27.0.09
Adam Lopez: Statistical Machine Translation, advanced
Auditorium: 22.0.11
LoCo:
Stephane Demri: Decidable problems for counter machines, advanced
Auditorium: 21.0.19
Hans van Ditmarsch: Dynamic Epistemic Logic, introductory
Auditorium: 23.0.49
LoLa:
Reinhard Muskens: Using Logic in Syntax and Semantics, foundational
Auditorium: 21.1.15
Alessandro Lenci and Roberto Zamparelli: Compositionality and distributional semantic models, workshop
Auditorium: 21.1.21
SLOT 2:
LaCo:
Jordi Atserias and Bart Mellebeek: Painless NLP Programming with UIMA, advanced
Auditorium: 27.0.09
Maria José Bocorny Finatto and Diana Santos: Words and their secrets, foundational
Auditorium: 22.0.11
LoCo:
Olaf Beyersdorff and Oliver Kutz: Proof Complexity of Non-Classical Logics, advanced
Auditorium: 23.0.49
Marta Kwiatkowska and David Parker: Probabilistic Model Checking, advanced
Auditorium: 21.0.19
LoLa:
Peter Pagin and Dag Westerstahl: Compositionality, introductory
Auditorium: 21.1.15
Emiliano Lorini and Laure Vieu: Theories of information dynamics and interaction and their application to dialogue, workshop
Auditorium: 21.1.21
Other:
Eric Pacuit and Olivier Roy: Logic, Interaction and Collective Agency, introductory
Auditorium: 21.1.47
SLOT 3:
LaCo:
Matthias Buch-Kromann: Dependency grammar for computational linguists, introductory
Auditorium: 27.0.09
Antal van den Bosch: Memory-based Language Modeling, advanced
Auditorium: 21.1.49
LoCo:
Hubie Chen: The Complexity of Constraint Satisfaction, introductory
Auditorium: 23.0.49
LoLa:
Pauline Jacobson: Anaphora, Binding and Ellipsis, introductory
Auditorium: 22.0.11
Anton Benz: Game Theoretic Pragmatics, advanced
Auditorium: 21.1.21
Larry Moss: Logics for natural language inference, advanced
Auditorium: 21.0.19
Other:
Johan van Benthem and Eric Pacuit: Logic, Rationality, and Intelligent Interaction, workshop
Auditorium: 21.1.47
SLOT 4:
LaCo:
Michael Carl and Philipp Koehn: Interactive Machine Translation and Human Translation Processes, introductory
Auditorium: 22.0.11
Costanza Navarretta and Patrizia Paggio: Empirically-based Multi-Modal Studies, introductory
Auditorium: 27.0.09
LoCo:
Juha Kontinen and Jouko Vaananen: Dependence and independence in logic, workshop
Auditorium: 21.1.47
Diego Calvanese and Michael Zakharyaschev: Answering Queries in Description Logics: Theory and Applications to Data Management, introductory
Auditorium: 21.0.19
LoLa:
Chris Barker: Dynamic Semantics, advanced
Auditorium: 21.1.15
Nicola Guarino and Claudio Masolo: Objects, events, qualities: an introduction to formal ontological distinctions in DOLCE, advanced
Auditorium: 21.1.21
Other:
Noah Goodman and Josh Tenenbaum: Computational Cognitive Science: Probability, Programs, and the Mind, introductory
Auditorium: 23.0.49
Workshop Webpages:
- Call for Papers / Workshop on Compositionality and Distributional Semantic Models.
- Call for Papers / Workshop on Computational Stylistics: Beyond Concordances and Grammar Checkers.
- Call for Papers / Workshop on Dependence and Independence in Logic.
- Call for Papers / Workshop on Logic, Rationality and Intelligent Interaction.
- Call for Papers / Workshop on Logics in Security.
- Call for Papers / Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue.
