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 / Alppc
Home News Jobs Contact Staff Teaching Research MOVES Seminar DFG-GK AlgoSyn CS Chairs LuFG I2	Printer-friendly ALP '96 Committees ALP '96 Committees Fifth International Conference on Algebraic and Logic Programming Aachen (Germany), September 25-27, 1996. Program Co-chairs Michael Hanus (Germany) Mario Rodríguez-Artalejo (Spain) Program Committee Sergio Antoy (USA) Egidio Astesiano (Italy) Jürgen Avenhaus (Germany) Pierre Deransart (France) Laurent Fribourg (France) Joxan Jaffar (Singapore) Giorgio Levi (Italy) Karl Meinke (UK) Aart Middeldorp (Japan) Luis Monteiro (Portugal) Fernando Orejas (Spain) Catuscia Palamidessi (Italy) Frank Pfenning (USA) Mario Rodríguez-Artalejo (Spain) Vijay Saraswat (USA) Peter Stuckey (Australia) Andrzej Tarlecki (Poland) Andrei Voronkov (Sweden) Martin Wirsing (Germany) Organising Committee Michael Hanus Herbert Kuchen Markus Mohnen Ulla Oebel Frank Zartmann Address Michael Hanus (ALP'96) RWTH Aachen Lehrstuhl für Informatik II D-52056 Aachen, Germany phone: +49 241 8021230 fax: +49 241 8888217 email: hanus@zeus.informatik.rwth-aachen.de Submissions: alp96@informatik.rwth-aachen.de Markus Mohnen / `mohnen@informatik.rwth-aachen.de`

[Mail]

Webmaster

Disclaimer

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