Actualités
De CeProMi.
Ces actualités sont présentées dans l'ordre chronologique inverse.
Sommaire |
29-30 septembre-1 octobre 2009
Journées nationales des ADT-ARC-AEx
Exposé sur CeProMi le 30 septembre au matin
23-24 septembre 2009
Cinquième réunion plenière à Orsay
20-24 juillet 2009
Réunion de travail à Grenoble consacré au raffinement.
12-13 mars 2009
Quatrième réunion plenière à Grenoble
6-7 novembre 2008
Troisième réunion plénière à Besançon
1-2 oct 2008
Presentation d'un poster
19-20 juin 2008
Visite de Peter Muller (Microsoft Research Redmond et ETH Zurich). Exposé au séminaire commun avec le centre INRIA-MSR sur les Universe types. Participation au jury de la thèse de Thierry Hubert.
12-13 juin 2008
22-24 avril 2008
Visite de Aleksandar Nanevski (Microsoft Research Cambridge) à Saclay. Sylvain Boulmé passe également ces trois jours à Saclay.
- Exposés le mardi 22:
- Aleksandar : TBA (Hoare Type Theory ?)
- Sylvain Boulmé: TBA (higher-order refinement calculus in Coq ?)
20 mars 2008
19 mars 2008
Propositions de logos par Wendi
14 février 2008
François Pottier viens sur le site de ProVal, pour exposer au séminaire. Alain Giorgetti et Sylvain Boulmé font le déplacement, et nous en profitons pour faire une réunion de pré-démarrage l'après-midi, où nous discutons essentiellement de programmes challenges
18 janvier 2008
La proposition d'ARC a ete acceptee
