First Week
Language and Computation Logic and Computation Language and Logic
9:00 - 10:30 Johan Bos. From shallow to deep Natural Language Processing: A hands-on tutorial (I, 2.01) Valentin Goranko. Logics of knowledge and strategic abilities in multi-agent systems (I, 2.05) Cécile Meier. Introduction to Formal Semantics (F, MPF)
Nicholas Asher and Zhaohui Luo. Lexical Semantics (A, 2.02) Philippe Balbiani. Region-based theories of space (A, 3.04) Craige Roberts and Judith Tonhauser. Projective meaning: Formal approaches and cross-linguistic evidence (A, 2.03)
Coffee Break
Language and Computation Logic and Computation Language and Logic
11:00 - 12:30 Roberto Navigli. Graphs in Natural Language Processing (I, 2.05) Benedikt Löwe and Grzegorz Plebanek. Ordinals and Cardinals: Basic set-theoretic techniques in logic (F, MFP) Thomas Ede Zimmermann. Intensionality (I, 2.01)
Glyn Morrill. Type logical syntax and semantics (I, 2.03) Nils Bulling and Wojtek Jamroga. Decision Problems and Decision Procedures for Strategic Logics (A, 2.02) Pablo Cobreros and David Ripley. Non-classical Logics for Vague Predicates (A, 3.04)
Lunch Break
Language and Computation Logic and Computation Language and Logic
14:00 - 15:30 Eckhard Bick. Introduction to Constraint Grammar (I, 2.02) Jan van Eijck and Johan van Benthem. Logic in Action (F, 2.05) Eric McCready and Malte Zimmermann. Discourse Particles (I, MFP)
Jan Broersen and Leon van der Torre. An advanced treatment of five problems of deontic logic and normative reasoning in computer science (A, 2.03) Reinhard Blutner and Peter beim Graben. Linear algebra and the geometry of meaning (I, 2.01)
Mirna Dzamonja and Benedikt Löwe. Modern set theory: foundations and applications (W, 3.04)
Coffee Break
Student Session (15:45 – 16:55)
Language and Computation Logic and Computation Language and Logic
17:00 - 18:30 Shuly Wintner. Formal Language Theory for Linguists (F, 2.02) Thomas Schneider and Dirk Walther. Modularity in Ontologies (I, 3.04) Philippe Schlenker. Semantics and Sign Language (I, 3.05)
Benoît Sagot. Lexical Resources (W, MFP)
Sujata Ghosh and R. Ramanujam. Strategies in games: a logic-automata study (A, 2.05) Katrin Schulz. Compositional semantics for conditional sentences (A, 2.01)
Isidora Stojanovic. Topics in Philosophy of Language (I, 2.03)
16th conference on Formal Grammar 2011
Second Week
Language and Computation Logic and Computation Language and Logic
9:00 - 10:30 Sudha Arunachalam. Experimental methods for linguists (F, 2.01) Natasha Alechina and Brian Logan. Logics and Agent Programming Languages (I, MFP) Jeroen Groenendijk and Floris Roelofsen. Inquisitive Semantics (I, 2.05)
Sylvain Salvati. Multiple Context Free Grammars: known properties and open problems (A, 2.03) Dmitry Tishkovsky and Renate Schmidt. Automated Synthesis of Tableau Calculi (A, 3.04) Uli Sauerland and Stephanie Solt. Imprecision and Approximation (A, 2.02)
Coffee Break
Language and Computation Logic and Computation Language and Logic
11:00 - 12:30 Tomaž Erjavec. Standards for language encoding (F, 2.02) Davide Grossi and Gabriella Pigozzi. Introduction to Judgment Aggregation (I, 2.01) Orin Percus and Graham Katz. Indexicality and compositional semantics (A, 2.03)
Pawel Garbacz and Stefano Borgo. Formal ontologies for engineering (A, 3.04) Dag Westerstahl and Denis Bonnay. Logical constants (W, 2.05) Lotte Hogeweg and Eric McCready. Workshop on formal approaches to discourse particles and modal adverbs (W, MFP)
Lunch Break
Language and Computation Logic and Computation Language and Logic
14:00 - 15:30 Christina Unger and Jan van Eijck. Computational Semantics with Functional Programming (I, 2.01) Aart Middeldorp and Georg Moser. Termination and Complexity of Rewrite Systems (I, 3.04) Uli Sauerland and Stephanie Solt. The Proper Use of Quantification in Ordinary Language (PUQOL) (W, 2.05)
Valentin Goranko. Tableau-based decision methods for temporal logics and multi-agent logics of knowledge and strategic abilities (A, 2.02)
Nausicaa Pouscoulous. Developmental pragmatics (I, 2.03)
Olaf Beyersdorff. Proofs and Games (A, MFP)
Coffee Break
Student Session (15:45 – 16:55)
Language and Computation Logic and Computation Language and Logic
17:00 - 18:30 Marjorie McShane and Sergei Nirenburg. Difficult Aspects of Reference Resolution: Description, Theory and Hands-On Practice (I, 3.04) Andrzej Murawski and Nikos Tzevelekos. Semantics of programming languages (I, 2.05) Graham Katz and Elena Herburger. The Semantics of Gradable Modal Expressions (A, 2.02)
Jakub Szymanik. Generalized Quantifier Theory Meets Cognition (A, 2.03)
Michael Franke. Unawareness in Logic and Reasoning (A, 2.01)
Craige Roberts and Judith Tonhauser. Workshop on Projective Meaning (W, MFP)
Oliver Kutz and Thomas Schneider. 5th International Workshop on Modular Ontologies (WoMO 2011) (W, 3.05)