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)