[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Events / Aachen1996 / Saspc
Printer-friendly
SAS '96 Committees

SAS '96 Committees

Third International Static Analysis Symposium
Aachen (Germany), September 24-26, 1996.

Program Co-chairs

Radhia Cousot, CNRS & École Polytechnique (France)
Dave Schmidt, Kansas State University, Manhattan, (USA)

Program Committee

François Bourdoncle, Ecole des Mines, Sophia-Antipolis, FR
Alain Deutsch, INRIA, Rocquencourt, FR
Roberto Giacobazzi, Pisa University, IT
Nicolas Halbwachs, Verimag, Grenoble, FR
Chris Hankin, Imperial College, UK
William L. Harrison, Connected Components, Cambridge, US
Neil Jones, Copenhagen University, DK
Peter Lee, Carnegie Mellon University, US
Kim Mariott, Monash University, AU
Jens Palsberg, MIT/Aarhus University, US/DK
Hanne Riis-Nielson, Aarhus University, DK
Carolyn Talcott, Stanford University, US
Mads Tofte, Copenhagen University, DK
Reinhard Wilhelm, Saarbrücken University, DE

Organising Committee

Michael Hanus
Herbert Kuchen
Markus Mohnen
Ulla Oebel
Frank Zartmann

Address

Radhia Cousot (SAS'96)
LIX
École Polytechnique
91128 Palaiseau cedex
phone: +33 1 69 33 45 95
fax: +33 1 69 33 30 14
email: rcousot@lix.polytechnique.fr
Markus Mohnen / mohnen@informatik.rwth-aachen.de
Valid HTML 4.01 Strict! Valid CSS!