Week One Schedule

Time	Language & Computation	Language & Logic	Logic & Computation
9.00 - 10.30	Corpus Linguistics for Digital Humanities (F), Koolen & Marx Introduction to Constraint Grammar (I), Bick	Introduction to Compositional Semantics (F), Sternefeld & Zimmermann Neighborhood Semantics for Modal Logic (A), Pacuit	Logic and Probability (F), Holliday & Icard Independence in Information Flow, Game Theory, and Probability Theory (I), Naumov
11.00 - 12.30	Textual Inference (I), Pado & Noh Knowledge-Rich Natural Language Processing (I), Simov & Osenova	Integrating Montague Semantics and Event Semantics (I), Champollion Attitude Reports in Intensional Semantics (I), Pearson	Logical Difference of Ontologies (I), Ludwig & Walther Proof Theory of Modal Logic (I), Roy & Gratzl
14.00 - 15.30	Visual Analytics for Linguists (I), Butt & Culy Cross-Language Algorithms and Applications (A), Costa-Jussà & Lambert	A Gentle Introduction to Mathematical Fuzzy Logic (I), Cintula & Noguera The Busy Lives of Quantifier Particles (A), Szabolcsi	P versus NP over Various Structures (A), Makowsky & Meer From Logic to Behaviour: Logic in Cognitive Modeling (A), Szymanik
17.00 - 18.30	Topics in Model-Theoretic Phonology (A), Rogers & Heinz Computational, Cognitive, and Linguistic Approaches to the Analysis of Complex Words and Collocations (W), Hinrichs	A (Non-)Uniform Approach to Pronominal Semantics (A), Grosz & Zobel Formal and Experimental Pragmatics (W), Goodman & Franke	Logical Frameworks for Multiagent Aggregation (A), Grandi Epistemic Logic for Individual, Social, and Interactive Epistemology (W), Holliday & Icard

Keys: (I) introductory; (A) advanced; (F) foundational; (W) workshop