Satellite Workshops
Besides the five main conferences the following satellite
workshops are planned for ETAPS 2001
-
CMCS
- Coalgebraic Methods in Computer Science
Contact:
Ugo Montanari
(Università di Pisa, Italy)
ETI Day
Electronic Tool Integration
platform Day
Contacts:
Tiziana Margaria
(Universität Dortmund, Germany)
and Andreas Podelski
(MPI Saarbrücken, Germany)
JOSES
Java Optimization Strategies for Embedded Systems
Contact:
Uwe Assmann
(Universität Karlsruhe, Germany)
LDTA
Workshop on Language Descriptions, Tools and Applications
Contact:
Mark van den Brand
(CWI Amsterdam, The Netherlands)
MMAABS
Models and Methods of Analysis for Agent Based Systems
Contact:
David Robertson
(University of Edinburgh, UK)
PFM
Proofs For Mobility
Contact:
Davide Sangiorgi
(INRIA-Sophia Antipolis, France)
RelMiS
Relational Methods in Software
Contact:
Wolfram Kahl
(Universität der Bundeswehr München, Germany)
UNIGRA
Uniform Approaches to Graphical Process Specification Techniques
Contact:
Julia Padberg
(Technische Universität Berlin, Germany)
WADT
Workshop on Algebraic Development
Techniques
Contact:
Maura Cerioli
(DISI-Università di Genova, Italy)
WTUML
Workshop on Transformations in UML
Contact:
Jon Whittle
(NASA Ames Research Center, USA)