| Webmaster | Disclaimer | Last modified: 1998-05-05 13:35 UTC |
|
MOVES: Software Modeling and Verification (Informatik 2) |
| Computer Science / RWTH / I2 / Events / Aachen1996 / Saspc | |
|
|
SAS '96 CommitteesThird International Static Analysis SymposiumAachen (Germany), September 24-26, 1996. Program Co-chairsRadhia Cousot, CNRS & École Polytechnique (France)Dave Schmidt, Kansas State University, Manhattan, (USA) Program CommitteeFrançois Bourdoncle, Ecole des Mines, Sophia-Antipolis, FRAlain 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 CommitteeMichael HanusHerbert Kuchen Markus Mohnen Ulla Oebel Frank Zartmann AddressRadhia 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 |