Séminaire "Sémantique et Interprétation Abstraite"
Seminar "Semantics and Abstract Interpretation"
Coordinator: Patrick Cousot
- Sep.. 2003 Eben Upton, Pavol Cerny
- Nov. 2003 Éric Féron
- Dec. 2003 Alan Mycroft, Nachum Dershowitz
- Fév. 2004 David Schmidt, Isabelle Pollet, Séminaire sur la sécurité (Bruno Blanchet, Cédric Fournet, Roberto Giacobazzi, Jean Goubault-Larrecq, Isabella Mastroeni), Francesco Tapparo
- Mar. 2004 Jean-Christophe Filliâtre, Andrey Rybalchenko, Sarah Thompson
- Apr. 2004 Peter O'Hearn
- Oct. 1999: Reinhard Wilhelm
- Nov. 1999: Jerôme Feret, thèse/thesis Laurent Mauborgne
- Déc. 1999: Jean-Pierre Talpin
- Jan. 2000: thèse Franck Védrine
- Fév. 2000: Jean-Luc Lambert
- Mars 2000: Witold Charatonik, Andreas Podelski, Tomàs Uribe /
Bruno Blanchet, François Bourdoncle, Patrick Cousot, Alain Deutsch, Jérôme Feret, Éric Goubault, Jean Goubault-Larrecq, Laurent Mauborgne, Nicolas Mercouroff, Dominique Méry, David Monniaux, Franck Védrine
- Avr. 2000: relâche
- Mai 2000: Leslie Lamport
- Jun. 2000, Jul. 2000: relâche
- Sep. 1998: Leslie Lamport
- Oct. 1998: Martin Abadi,
Isabelle Attali, Pascal Brisset (séminaire Coq-Cristal-Para de l'INRIA)
- Nov. 1998: Marco Comini (x2)
- Déc. 1998: Anatole Ursu, Eric Goubault, Paolo Volpe
- Jan. 1999: Loic Correnson, Nicolas Halbwachs, Vania Joloboff
- Fév. 1999: Dominique Cansell, Dominique Méry
- Mars 1999: Andreas Podelski, Yanhong Annie Liu, Scott D. Stoller, Anatole Ursu
- Avr. 1999: Roberto Giacobazzi, Bruno Blanchet
- Mai 1999: Charles Consel,
Renaud Marlet
- Jun. 1999: Jean Goubault-Larrecq, Nabil El Kadhi, David Monniaux, Laurent Mauborgne, Salvador Lucas
Alba
- Jul. 1999: relâche
- Sep. 1997: Corrado Priami
- Oct. 1997: Franck Védrine
- Nov. 1997: Bruno Blanchet, German Puebla, Francesca Scozzari
- Dec. 1997: Jean-François Raskin, jubilé Maurice Nivat
- Jan. 1998: Francesca Levi, Andreas Podelski
- Fev. 1998
Mar. 1998
Avr. 1998
Mai 1998: relâche
- Jun. 1998: Ferrucio Damiani, David A. Schmidt, Stanislav Tzolovski, Francesca Levi, Christèle Faure & Mohamed Tadjouddine, Bernhard Steffen, Eric Goubault, Marc Pouzet
- Jul. 1998: relâche
- Sep. 1995: L. Lamport
- Nov. 1995: S. Abramsky, J. Gunawardena, M. Nivat, V. Pratt; P. Emelianov, É Goubault
- Déc. 1995: A. Banerjee, P. Emelianov, A. Kennedy
- Jan. 1996: B. Blanchet & I. Mackie, R. Cridlig, A. Kennedy, S. Gay
- Fév. 1996: I. Mackie, J. Goubault, P. Degano
- Mars 1996: R. Giacobazzi, A. Venet
- Avr. 1996: L. Lamport
- Mai 1996: F. Védrine
- Jun. 1996: P. Lee, D. Méry
- Jul. 1996: relâche
- Oct. 1994: F. Fages, R. Heckmann, N. Heintze, I. Mackie
- Nov. 1994: N. Benton, A. Mycroft, F. Nielson
- Déc. 1994: A. Deutsch, Ph. Granger
- Jan. 1995: B. Le Charlier, É Goubault
- Fév. 1995: R. Cridlig, J. Goubault, B. Monsuez
- Mar. 1995: C. Colby, F. Védrine
- Avr. 1995: relâche
- Mai 1995: V. Danos, É Goubault, T. Jensen
- Jun. 1995: F. Bourdoncle, P. Lee
- Oct. 1993: I. Mackie, B. Monsuez, F. Ruget
- Nov. 1993: T. Jensen, N. Jones, R. Lissajoux
- Déc. 1993: Ph. Codognet, R. Giacobazzi, K. Havelund
- Jan. 1994: F. Fages, G. Gabbrielli, J. A. Muylaert-Filho
- Fév. 1994: S. Holzbacher, G. Levi, A. Rauzy
- Mar. 1994: M.-M. Corisni, A.J. Kfoury, D. Sands
- Avr. 1994: A. Deutsch, D. Méry, J. Sifakis
- Mai 1994: É Goubault, C. Lecoutre, S. Pinchinat
- Jun. 1994: É Badouel, P. Iyer, L. Lamport, D. Remy
- Oct. 1992: J. Goubault, B. Monsuez
- Nov. 1992: F. Bourdoncle, É. Goubault, J. Goubault
- Déc. 1992: B. Monsuez, É. Goubault, J. Goubault
- Jan. 1993: P. Cousot, D. Bolignano & M. Debabi
- Fév. 1993: R. Cridlig, É. Goubault, K. Havelund, B. Monsuez
- Mar. 1993: J.-C. Fernandez, É. Goubault, B. Monsuez, P. Quinton
- Avr. 1993: Ph. Granger
- Mai 1993: F. Bourdoncle, P. Jouvelot, X. Nicollin
- Jun. 1993: A. Deutsch, J.-L. Imbert, B. Monsuez