LOGIQUE DE LA PROGRAMMATIONColloques organisés par l'équipe |
| Date | |
|---|---|
| Geometry of Computation 2006 | 30 janvier - 3 mars 2006 |
| Constructivisme et extraction de programmes à partir de preuves | 23 - 24 novembre 2004 |
| 1ère rencontre de l'ACI GEOCAL | 26 - 27 janvier 2004 |
| Semaines Logique & Interaction | 28 janvier - 1er mars 2002 |
| Logique linéaire et lambda-calcul typé | 6 - 10 avril 1998 |
| Journées AMI | 1 - 5 septembre 1997 |
| Logique et modèles du calcul | 16 - 20 septembre 1996 |