Année 2010-2011
Cette année, le groupe de travail est principalement dédié au projet ANR BLANC LEDA.
26 juillet 10h00 - Michel Petitot
Model Checking
22 juillet 10h00 - Michel Petitot
Model Checking
8 juillet 9h30 - Mirabelle Nebut
Model Checking
21 juin 14h00 - Alban Quadrat (INRIA W11)
Sur les systèmes différentiels à retard
26 mai 10h30 - Fabien Monfreda (M3 ext. 226)
Sur les DAE linéaires (travail commun avec J.-C. Yakoubsohn)
Du 23 au 27 mai
Visite de Fabien Monfreda (IMT et LIFL)
19 mai 10h30 - Marc Moreno Maza (M3 ext. 226)
Calcul haute performance et calcul formel.
Du 18 au 19 mai
Visite de Marc Moreno Maza (London Ontario)
17 mai 14h00 - Wei Niu (M3 ext. 226)
Qualitative Analysis of Biological Systems Using Algebraic Methods''
Du 11 au 15 avril
Visite de Markus Rosenkranz (Canterbury)
5 avril
Réunion LEDA à Palaiseau
11 mars
Visite de Sylvain Pradalier
24 février 14h00 - Adrien Poteaux (LIP6)
Autour des séries de Puiseux
22 février 10h00 - Mathias John (BioComputing)
Du 20 au 21 janvier
Réunion de démarrage de l'ANR LEDA (Toulouse)
6 janvier 14h00
Préparation de la réunion LEDA
16 décembre 14h00 - Sylvain Pradalier
Du 17 au 18 novembre
Réunion LEDA (AS, Toulouse)
Du 27 au 28 septembre
Réunion LEDA (FL, Toulouse)
13 septembre 10h00
Réunion LEDA
9 septembre 9h00
Réunion de rentrée