Timetable

You could have a look at the list of lecturers of ESSLLI 2005.

Courses in the same slot are parallel, so you can only take one course of each slot.

	First Week: 8 - 12th of August, 2005
	Logic & Language	Logic & Computation	Language & Computation
	I: Computational Aspects of Metaphor Processing (Veale). Details. Room:EM 3.06	F: Programming with Logic and Constraints (Bartak). Details. Room:EM 2.44	I: Transducers (Shieber). Details. Room:CM G.01
	A: Evolution of Language (Eckardt). Details. Room:EM 3.36	I: Intuitionistic Logic (Bezhanishvili and de Jongh). Details. Room:EM 1.82	A: Computational pragmatics for face-to-face dialogue (Stone and Traum and Cassell). Details. Room:EM 1.27
	Coffee Break - Short poster session (Monday)
	I: Abstract Categorial Grammars (de Groote and Pogodalla). Details. Room:CM G.01	I: Integrating logic programs and connectionist systems (Hitzler and Hoelldobler and Bader). Details. Room:EM 1.27	F: Annotation of language resources: XML, TEI, OWL (Erjavec). Details. Room:EM 1.82
	I: Experimental evidence for semantic theories (Rado). Details. Room:EM 2.44	A: Abduction and Deduction in Logic Programming for Access Control for Web Services (Koshutanski). Details. Room:EM 3.06	A: Grammars, Automata and Parsing (Johnson). Details. Room:EM 3.36
	Lunch Break
	I: Formal Ontology for Semanticists (Guarino and Vieu and Borgo). Details. Room:EM 2.44	A: The Logics of Consistent Query Answers in Databases (Bertossi). Details. Room:EM 1.27	I: CCG and Linguistic Diversity (Bozsahin and McConville). Details. Room:CM G.01
	A: Logics of Conversation (Lascarides and Asher). Details. Room:EM 3.36		A: Retrieving Content and Structure (de Rijke and Kamps and Marx). Details. Room:EM 1.82
			W: Cross-modular approaches to ellipsis (Spenader and Hendriks). Details. Room:EM 3.06
	Student Session (room EM 2.33) On Friday 12, parallel session, invited talk (16.00-17.00, room EM 2.44): Kevin Knight Unsupervised Analysis for Decipherment Problems
	I: Probabilistic Approaches to Semantics (Cohen). Details. Room:EM 2.44	I: Logic-based information integration (Rosati and De Giacomo). Details. Room:CM G.01	I: Automatic Text Summarization: Past, Present, and Future (Saggion). Details. Room:EM 1.82
	A: Type Selection and the Semantics of Local Context (Pustejovsky). Details. Room:EM 3.36
	W: Empirical Challenges and Analytical Alternatives to Strict Compositionality (Richter and Sailer). Details. Room:EM 3.06
	W: Discourse Domains and Information Structure (Umbach and von Heusinger). Details. Room:EM 1.27

	Second Week: 15 - 19th of August, 2005
	Logic & Language	Logic & Computation	Language & Computation
	F: Semantics and cognition: human reasoning in cognitive science (Stenning). Details. Room:EM 2.44	I: Practical Reasoning for the Semantic Web (Schlobach and Stuckenschmidt). Details. Room:EM 1.82	I: Focus and Prosodic Prominence (Calhoun and Jaeger). Details. Room:EM 3.06
	A: Natural language semantic representations as types (Fernando). Details. Room:EM 3.36	A: Quantitative Logics for Time, Space, and Similarity (Wolter and Lutz and Zakharyaschev). Details. Room:EM 1.27	A: Evolutionary Games and Language (Jaeger and van Rooij). Details. Room:CM G.01
	Coffee Break
	I: Introduction to Metrical Theory (Alber). Details. Room:EM 3.06	I: Term Rewriting Systems (Baader). Details. Room:EM 1.27	F: Statistical data analysis using R, a system for statistical computation and graphics (Vasishth). Details. Room:CM G.01
	A: Representation and Computation of Temporal Relations in NL (Hamm and Kamp). Details. Room:EM 2.44	A: Dynamic epistemic logic (van Ditmarsch and Kooi). Details. Room:EM 3.36	I: Computational Lexicography (Kunze and Lemnitzer). Details. Room:EM 1.82
	Lunch Break
	I: Genericity in natural language (Katz and Zamparelli). Details. Room:EM 1.82	I: Proof, Cut Elimination and Normalisation (Restall). Details. Room:EM 3.36	I: Introduction to Statistical Machine Translation (Callison-Burch and Koehn). Details. Room:CM G.01
	A: Context shift in sign language (Zucchi). Details. Room:EM 3.06		A: Linguistic Treebanks and Data-Intensive Parsing (Kübler and Hinrichs). Details. Room:EM 1.27
	W: Foundations of Natural-Language Grammar (Kempson and Morrill). Details. Room:EM 2.44
	Student Session (room EM 2.33)
	F: Natural Language Semantics (Muskens). Details. Room:EM 2.44	A: Computational Analysis of Proofs (Baaz and Leitsch). Details. Room:EM 3.06	I: Finite-State Methods in NLP (Skut and Piskorski). Details. Room:CM G.01
	W: Formal Semantics and Cross-Linguistic Data (Zwarts and de Hoop). Details. Room:EM 1.82	W: Belief revision and dynamic logic (Herzig and van Ditmarsch). Details. Room:EM 3.36	A: NLP for Multimedia Applications (Declerck and André). Details. Room:EM 1.27