Pierre CASTERAN |
Eloge
de la dépendance |
|
Lundi 26 Avril |
Bouchra BENSIALI |
Formalisation des réseaux de preuves
en Coq |
Lundi 5 Avril |
Houda ANOUN |
Lambda-calcul & Sémantique
de Montague |
Lundi 22 Mars |
Richard MOOT |
Réseaux de preuves (suite) |
Lundi 15 Mars |
Pierre CASTERAN |
Introduction à Coq |
Lundi 8 Mars
|
Richard MOOT |
Réseaux de preuves |
Lundi 1 Mars
|
Pierre CASTERAN |
Vie et mort des définitions
et théorèmes. |
Lundi 16 Février
|
Houda ANOUN |
Formalisation des Grammaires
Catégorielles Multimodales en Coq . |
Lundi 9 Février
|
Houda ANOUN |
Présentation des Grammaires
Catégorielles Multimodales . |