Year 2010-2011

This year, the working group is mostly dedicated to the ANR BLANC LEDA project.

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

GT: Working Group