Atlas home || Conferences | Abstracts | about Atlas
Host: Conference Center of the Swiss Federal Institute of Technology
Sponsor: ETH Zurich, Microsoft Research
Homepage: http://www.tik.ee.ethz.ch/~asm/2000/
Email: asm@tik.ee.ethz.ch
Organizers: Yuri Gurevich (Microsoft Research, USA), Philipp Kutter (ETH Zuerich, CH), Martin Odersky (EPLF Lausanne, CH), Lothar Thiele (ETH Zuerich, CH).
Deadline for abstracts: November 20, 1999
Description:
The aim of the workshop is to bring together domain-experts using ASMs as practical specification formalisms, and
theoreticians using ASMs as formal starting point for their investigations. In addition the workshop is a forum on theoretical and
practical topics that relate to ASMs in a broad sense.
Speakers: Andreas Blass (Univ. of Michigan), Egon Börger (Univ. of Pisa), Gerhard Goos (Univ. of Karlsruhe), Martin Odersky (EPFL Lausanne), Wolfgang Reisig (Humbold Univ. Berlin), Natarajan Shankar (SRI International)
Date received: September 29, 1999
© 2008 Atlas Conferences Inc.