Week Two Schedule

Time	Language & Computation	Language & Logic	Logic & Computation
9.00 - 10.30	Human Information Network (F), Magnani & Derczynski Experimental Methods for Studying Pragmatics on Web (I), Frank & Lassiter	Categorial Grammars and Formal Semantics (F), Moot & Retore Deontic Modality: Linguistic and Logical Perspectives (I), Condoravdi & van der Torre	Gödel's Incompleteness Theorems (F), Kahle Modern Database Dependency Theory (I), Benedikt & ten Cate
11.00 - 12.30	Annotating Corpora with Information Structure (I), de Kuthy & Riester Linguistic Complexity and Cognitive Workload: Measurement and Management (A), Sayeed & Demberg	Games Logicians Play (I), Goranko Anti-Logophoricity, Logophoricity and the de re/de se Distinction (A), Patel-Grosz & Pearson	Logics of Action and Time (I), Balbiani & Lorini Probabilistic Programming Languages (I), Goodman
14.00 - 15.30	Composition in Distributional Semantics (A), Baroni & Dinu Graph-Based Semi-Supervised Algorithms for Language & Speech Processing (A), Subramanya & Talukdar	Formal Semantics in Modern Type Theories: Theory and Implementation (A), Chatzikyriakidis & Luo Introduction to Generalized Quantifiers (I), Szymanik	Modal Fixpoint Logics: When Logic Meets Games, Automata and Topology (A), Facchini & Niwinski Qualitative Spatial Reasoning in Euclidean Spaces (A), Pratt-Hartmann & Zakharyaschev
17.00 - 18.30	Computational Psycholinguistics (A), Levy & Bicknell SLaNG: Sociolinguistics and Network Games (Part of the parallel Workshop: "Information Dynamics in Artificial Societies") (W), Mühlenbernd	Explanatory Approaches to NPIs (A), Crnic Models in Formal Semantics and Pragmatics (W), Kaufmann & Kaufmann	Model Theory of Modal Logic (A), Perkov Information Dynamics in Artificial Societies (W), Perrussel & Lorini

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