ESSLLI 2004 - Timetable

Le programme courant des cours est donné dans la table suivante. Si votre browser soutient ce feature une fenêtre avec l'abstrait sautera vers le haut dès que vous déplacerez la souris au-dessus du lien de Détails.

Les cours de la même fente sont parallèles, ainsi vous pouvez seulement prendre un cours de chaque fente.

F: Fondamental

I: D'initiation

A: Avançé

W: Atelier

Première Semaine: 9 - 13 Août, 2004
Logique & Langage	Logique & Informatique	Langage & Informatique
I: Raisonnement avec le langage naturel (Pratt-Hartmann). Détails. Salle:A1	F: Logique linéaire (de Paiva and Crouch). Détails. Salle:A2	I: Introduction aux algorithmes d'parsing pour NLP (Satta). Détails. Salle:A3
A: Développements récents dans la sémantique informatique (Egg and Kordoni). Détails. Salle:A4	A: Raisonnement automatisé avançé (Voronkov). Détails. Salle:C1	A: Modeles cognitives et sémantique verbale (Schalley). Détails. Salle:C2
Café
F: Imprécision (van Deemter). Détails. Salle:A1	I: Programmation de contrainte concourante hybride et ses applications I (Saraswat and Jagadeesan). Détails. Salle:CR	I: Une introduction aux systèmes de dialogue parlés: principes fondamentaux, normes et outils (López-Cózar Delgado). Détails. Salle:C1
A: Display logic rencontre categorial type logic (Bernardi and Goré). Détails. Salle:C2	I: Programmation sur ensembles de réponse (Lifschitz). Détails. Salle:A2	A: Learning statistique pour le traitement de langage naturel (Gaussier and Cancedda). Détails. Salle:A3
Déjeuner
I: Grammaire Logique de Types (Morril). Détails. Salle:A1	I: Logiques de description (Lutz and Sattler). Détails. Salle:A2	F: Méthodes statistiques pour le traitement de langage naturel (Schmid). Détails. Salle:A3
	A: Avances récentes dans la déduction modulo (Dowek). Détails. Salle:C1	I: Acquisition d'information lexicologique et terminologique des corpus (Heid). Détails. Salle:C2
		A: Approches formelles à l'interface de la structure de syntaxe et d'information (De Kuthy and Meurers). Détails. Salle:A4
Student Session
I: Une introduction à la logique IF (Pietarinen and Tulenheimo). Détails. Salle:A1	F: Programmation de prolog: a le font vous-même cours pour des débutants (Striegnitz). Détails. Salle:CR	I: Une introduction aux formalismes de grammaire modérément sensibles au contexte (Jäger and Michaelis). Détails. Salle:C1
W: Syntaxe, sémantique et pragmatique des questions (Comorovski and Krifka). Détails. Salle:A2	W: Fragments gardés (Alechina). Détails. Salle:C2	W: Combinaison de traitement profonde et superficiel pour NLP (Hinrichs and Simov). Détails. Salle:A3

Deuxième Semaine: 16 - 20 Août, 2004
Logique & Langage	Logique & Informatique	Langage & Informatique
I: Temporalité et quantification (Artstein). Détails. Salle:A1	I: Logique temporelle pour la validation de systèmes (Schlingloff). Détails. Salle:A2	A: Extraction intelligente de l'information (Neumann and Xu). Détails. Salle:A3
A: Dynamique de langue et le défi de dialogue (Kempson and Cann). Détails. Salle:A4	A: Le calcul des structures (Guglielmi). Détails. Salle:C1
Café
I: Traitement de la quantification (Geurts). Détails. Salle:A1	I: Logiques hybrides (Franceschet and ten Cate). Détails. Salle:A2	I: Learning symbolique du langage naturel (Kazakov and Cussens). Détails. Salle:A3
A: Continuations (Barker and Chung-chieh Shan). Détails. Salle:C1	A: Techniques nominales pour raisonner au sujet des langages formels (Urban). Détails. Salle:C2	A: Modelization de la structure de l'information pour le traitement informatique de discours (Kruijff-Korbayová). Détails. Salle:A4
Déjeuner
A: Grammaire categorial combinatoire multi-modale (Kruijff). Détails. Salle:C1	I: Automation de preuves pour des grammaires type-logiques (Castéran and Moot). Détails. Salle:CR	F: Techniques de parsing de base pour le langage naturel (Gaiffe and Perrier). Détails. Salle:A1
W: Approches sémantiques à la théorie de binding (Schlenker and Keenan). Détails. Salle:A2	A: Le calcul de réécriture (Kirchner, Liquori and Cirstea). Détails. Salle:C2	I: Introduction à la traduction automatique (Vertan). Détails. Salle:A3
Student Session
I: Sémantique informatique (Koller, Burchardt and Walter). Détails. Salle:A1	A: Programmation de contrainte concourante hybride et ses applications II (Saraswat and Jagadeesan). Détails. Salle:CR	I: Une introduction comparative à la grammaire extensible de dépendance (Duchier and Debusmann). Détails. Salle:C1
W: Implicature et signification conversationnelle (Geurts and van der Sandt). Détails. Salle:A2	W: LCMAS04 - Logique et communication dans des systèmes d'multi-agentes (Lomuscio, van der Hoek, Wooldridge and de Vink). Détails. Salle:A3	I: NLP pour des applications de multimédia (André, Declerck and Kompatsiaris). Détails. Salle:C2

2004-04-26