Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Séminaire "Sémantique et Interprétation Abstraite" (SIA)

Séminaire "Sémantique et Interprétation Abstraite"
Seminar "Semantics and Abstract Interpretation"

Responsable / Scientific leader : Patrick Cousot

Date & Lieu/Location:

Vendredi/Friday 14h00 -- 15h30/16h00, Salle S16, DI, ENS

Année/Year:

2008/09

Année/Year 2008/2009

Septembre 2008 Alexey Gotsman, Neil Jones
Octobre 2008 Herbert Wiklicky
Novembre 2008 Vincenzo Ciancia
Décembre 2008 Jérôme Feret
Mars 2009 Jean-Loup Carre', Mooly Sagiv, Viktor Vafeiadis
Juin 2009 Morten Dahl

Année/Year 2007/2008

Novembre 2007 Hongseok Yang, Axel Simon.
Février 2008 Andrey Rybalchenko, Simon Perdrix
Juin 2008 Reinhard Wilhelm, Pietro Ferrara, Akash Lal

Année/Year 2006/2007

Septembre 2006 Andrzej Tarlecki
Novembre 2006 Joshua D. Guttman
Janvier 2007 Chin Wei Ngan, Sumit Gulwani
Mars 2007 Jérôme Feret
Juin 2007 Elham Kashefi

Année/Year 2005/2006

Octobre 2005 Marco Pistoia, Sarah Thompson
Novembre 2005 Olin Shivers
Janvier 2006 Pierre-Loïc Garoche
Mars 2006 Olivier Danvy
Juin 2006 George Necula, Alexey Gotsman

Année/Year 2004/2005

Fév. 2005 George Necula
Mai 2005 George Necula

Année/Year 2003/2004

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

Année/Year 2002/2003

Oct. 2002 John Reynolds
Nov. 2002 Damien Massé, Alan Mycroft
Déc. 2002 Leslie Lamport, François Pottier, David Schmidt
Jan. 2003, Fév. 2003, Mar. 2003, Avr. 2003 ASTRÉE project meetings
Mai. 2003 Markus Müller-Olm
Juin 2003 George Necula
Jul. 2003 Benjamin Goldberg

Année/Year 2001/2002:

Sep. 2001 Leslie Lamport;
Oct. 2001 Vitaly Shmatikov;
Nov. 2001 Neil Jones, thèse/thesis David Monniaux
Déc. 2001 habilitation É. Goubault, Damien Massé
Jan. 2001 Matthieu Martel
Fév. 2002 Bertrand Jeannet
Mars 2002 Jacob A. Abraham, Mooly Sagiv
Mai 2002 Andy Gordon, John Gallagher, Gordon Plotkin;
Juin 2002 Renaud Pacalet, Bruno Blanchet, Isabella Mastroeni
Jul. 2002 Jens Palsberg, Kwangkeun Yi

Année/Year 2000/2001:

Oct. 2000, Nov. 2000: relâche
Déc. 2000: thèse Bruno Blanchet, David Monniaux, Jean-François Raskin
Jan. 2001 Francesco Logozzo;
Fev. 2001 Helmut Seidel;
Mars 2001 Andrei Sabelfeld;
Avr. 2001 Paritosh K. Pandya, Fred Mesnard;
Mai 2001 Barbara G. Ryder;
Juin 2001 Barbara G. Ryder;
Jul. 2001 Kwang Keun Yi;

Année/Year 1999/2000:

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

Année/Year 1998/99:

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

Année/Year 1997/98:

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

Année/Year 1996/97:

Sep. 1996: J. Gunawardena
Oct. 1996: relâche
Nov. 1996: Andreas Podelski, Lisbeth Fajstrup & Martin Raussen
Déc. 1996: Sven-Olof Nystrôm
Jan. 1997: Olin Shivers, Pier Paolo Degano
Fév. 1997: Corrado Priami, Jean Goubault
Mars 1997: Régis Cridlig, Jean Goubault
Avr. 1997: Véronique Benzaken, Alexandre Frey, K. Rustan M. Leino
Mai 1997: Francesca Levi
Jun. 1997: M. Mislove, Ian Mackie, Jean-François Raskin
Jul. 1997: relâche

Année/Year 1995/96:

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

Année/Year 1994/95:

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

Année/Year 1993/94:

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

Année/Year 1992/93:

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

Retour à / back to: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services

Dernière mise à jour / Last modified : Monday, 11-May-2009 16:40:28 CEST

Séminaire "Sémantique et Interprétation Abstraite" Seminar "Semantics and Abstract Interpretation"