ESSLLI 2004

Home page

Overview

People involved

Contact Info

TECHNICAL PROGRAM

Courses and Workshops

Timetable

Student session

Evening lectures

Co-located events

SOCIAL PROGRAM

Lunch

Reception

ESSLLI Party

Football Match

REGISTRATION

Information

Registration form

Grants

Accommodation

Deadlines

List of participants

LOCAL INFORMATION

Reaching the school

Arriving to Nancy

Tourist Info: Nancy

Tourist Info: Lorraine

NEWS ARCHIVE

Old news

Version Française

Timetable

The current schedule of the courses is given in the following table. If your browser supports this feature a window with the abstract will pop up as soon as you move the mouse over the Details link.

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

	First Week: 9 - 13th of August, 2004
	Logic & Language	Logic & Computation	Language & Computation
	I: Reasoning with natural language (Pratt-Hartmann). Details. Room: A1. (Reader available)	F: Linear logic (de Paiva and Crouch). Details. Room: A2. (Reader available)	I: Introduction to parsing algorithms for NLP (Satta). Details. Room: A3. (Reader available)
	A: Recent developments in computational semantics (Egg and Kordoni). Details. Room: A4.	A: Advanced automated reasoning (Voronkov). Details. Room: C1.	A: Cognitive modeling and verbal semantics (Schalley). Details. Room: C2. (Reader available)
	Coffee Break
	F: Vagueness (van Deemter). Details. Room: A1. (Reader available)	I: Hybrid concurrent constraint programming and its applications I (Saraswat and Jagadeesan). Details. Room: CR.	I: An introduction to spoken dialogue systems: fundamentals, standards and tools (López-Cózar Delgado). Details. Room: C1. (Reader available)
	A: Display logic meets categorial type logic (Bernardi and Goré). Details. Room: C2. (Reader available)	I: Answer set programming (Lifschitz). Details. Room: A2. (Reader available)	A: Statistical learning for natural language processing (Gaussier and Cancedda). Details. Room: A3.
	Lunch Break
	I: Type Logical Grammar (Morril). Details. Room: A1. (Reader available)	I: Description logics (Lutz and Sattler). Details. Room: A2. (Reader available)	F: Statistical methods for natural language processing (Schmid). Details. Room: A3.
		A: Recent advances in deduction modulo (Dowek). Details. Room: C1. (Reader available)	I: Acquisition of lexical and terminological information from corpora (Heid). Details. Room: C2.
			A: Formal approaches to the interface of syntax and information structure (De Kuthy and Meurers). Details. Room: A4.
	Student Session. Room: A1
	I: An introduction to IF logic (Pietarinen and Tulenheimo). Details. Room: A1.	F: Prolog programming: a do it yourself course for beginners (Striegnitz). Details. Room: CR. (Reader available)	I: An introduction to mildly context-sensitive grammar formalisms (Jäger and Michaelis). Details. Room: C1. (Reader available)
	W: Syntax, semantics and pragmatics of questions (Comorovski and Krifka). Details. Room: A2. (Reader available)	W: Guarded fragments (Alechina). Details. Room: C2. (Reader available)	W: Combining shallow and deep processing for NLP (Hinrichs and Simov). Details. Room: A3. (Reader available)

	Second Week: 16 - 20th of August, 2004
	Logic & Language	Logic & Computation	Language & Computation
	I: Temporality and quantification (Artstein). Details. Room: A1. (Reader available)	I: Temporal logic for systems validation (Schlingloff). Details. Room: A2.	A: Intelligent information extraction (Neumann and Xu). Details. Room: A3.
	A: Language dynamics and the dialogue challenge (Kempson and Cann). Details. Room: A4. (Reader available)	A: The calculus of structures (Guglielmi). Details. Room: C1. (Reader available)
	Coffee Break
	I: Processing quantification (Geurts). Details. Room: A1.	I: Hybrid logics (Franceschet and ten Cate). Details. Room: A2. (Reader available)	I: Symbolic learning of natural language (Kazakov and Cussens). Details. Room: A3. (Reader available)
	A: Continuations (Barker and Chung-chieh Shan). Details. Room: C1. (Reader available)	A: Nominal techniques for reasoning about formal languages (Urban). Details. Room: C2. (Reader available)	A: Modelling information structure for computational discourse processing (Kruijff-Korbayová). Details. Room: A4. (Reader available)
	Lunch Break
	A: Multi-modal combinatory categorial grammar (Kruijff). Details. Room: C1. (Reader available)	I: Proof automation for type-logical grammars (Castéran and Moot). Details. Room: CR. (Reader available)	F: Basic parsing techniques for natural language (Gaiffe and Perrier). Details. Room: A1. (Reader available)
	W: Semantic approaches to binding theory (Schlenker and Keenan). Details. Room: A2.	A: The rewriting calculus (Kirchner, Liquori and Cirstea). Details. Room: C2.	I: Introduction to machine translation (Vertan). Details. Room: A3. (Reader available)
	Student Session. Room: A1
	I: Computational semantics (Koller, Burchardt and Walter). Details. Room: A1. (Reader available)	A: Hybrid concurrent constraint programming and its applications II (Saraswat and Jagadeesan). Details. Room: CR.	I: A comparative introduction to extensible dependency grammar (Duchier and Debusmann). Details. Room: C1. (Reader available)
	W: Implicature and conversational meaning (Geurts and van der Sandt). Details. Room: A2. (Reader available)	W: LCMAS04 - Logic and communication in multi-agent systems (Lomuscio, van der Hoek, Wooldridge and de Vink). Details. Room: A3. (Reader available)	I: NLP for multimedia applications (André, Declerck and Kompatsiaris). Details. Room: C2. (Reader available)

© 2003, 2004 LORIA, Carlos Areces.

2004-07-14