27-29 mars 2006
Cet atelier, organisé à Bordeaux les 27-28-29 mars 2006, juste avant les journées du GDR Sémantique et modélisation, était destiné aux étudiants de master et de doctorat, de linguistique, d'informatique et de mathématiques ainsi qu'aux collègues intéressés. Il avait pour mission d'assurer une présentation élémentaire des modèles logiques utilisés en sémantique formelle, accessible sans prérequis.
Nouveau !!! Certaines notes de cours sont accessibles (cliquer sur le lien du cours).
Lundi 27 | Mardi 28 | Mercredi 29 | |
---|---|---|---|
09:00-12:30 session unique
pause café 10:30-11:00 |
Prérequis Logiques: logique du premier ordre Pascal Amsili
|
Christian Retoré
|
Logique modale et intensionnalité: modèles Paul Egré
|
Déjeuner |
Déjeuner
|
Déjeuner
|
Déjeuner
|
14:00-17:30 première des deux sessions parallèles - pause café 15:30-16:00 |
Théorie des représentations discursives (DRT) Francis Corblin
|
Session unique:
|
Sémantique lexicale Patrick Saint-Dizier
|
14:00-17:30 seconde des deux sessions parallèles
pause café 15:30-16:00 |
Développements
Claire Beyssade Implicatures vs implications. |
Temps et aspect Patrick Caudal Aspect:
Temps:
|
|
Comité de pilotage