MOVES: Software Modeling and Verification (Info 2)

	MOVES: Software Modeling and Verification (Informatik 2) Prof. Dr. Ir. Joost-Pieter Katoen
	Computer Science / RWTH / I2 / Events / Aachen1996 / Plilppc
Home News Jobs Contact Staff Teaching Research MOVES Seminar DFG-GK AlgoSyn CS Chairs LuFG I2	Printer-friendly PLILP '96 Committees PLILP '96 Committees Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs. Aachen (Germany), September 25-27, 1996. Program Co-chairs Herbert Kuchen (Germany) Doaitse Swierstra (Netherlands) Program Committee Maria Alpuente (Spain) Patrick Cousot (France) Yike Guo (UK) Maurizio Gabbrielli (Italy) Fritz Henglein (Denmark) Tetsuo Ida (Japan) Gerda Janssens (Belgium) Thomas Johnsson (Sweden) Daniel Le Metayer (France) Alexander Letichevsky (Ukraine) Rita Loogen (Germany) Jan Maluszynski (Sweden) Erik Meijer (Netherlands) Dale Miller (USA) Masaki Murakami (Japan) Rinus Plasmeijer (Netherlands) Laurence Puel (France) Gert Smolka (Germany) Pascal van Hentenryck (USA) Organising Committee Michael Hanus Herbert Kuchen Markus Mohnen Ulla Oebel Frank Zartmann Address Herbert Kuchen (PLILP'96) RWTH Aachen Lehrstuhl für Informatik II D-52056 Aachen, Germany phone: +49 241 8021211 fax: +49 241 8888217 email: herbert@zeus.informatik.rwth-aachen.de Submissions: plilp96@informatik.rwth-aachen.de Markus Mohnen / `mohnen@informatik.rwth-aachen.de`

[Mail]

Webmaster

Disclaimer

Last modified: 1998-05-05 13:35 UTC