We apologize if you receive multiple copies of this message.

      **********************************************************
      ***                                                    ***
      ***                    ETAPS 2002                      ***
      ***                 APRIL, 6-14, 2002                  ***
      ***                 GRENOBLE,  FRANCE                  ***
      ***                                                    ***
      **********************************************************
      ***                                                    ***
      ***               REGISTRATION IS NOW OPEN             ***
      ***                                                    ***
      ***                !!!! REGISTER NOW !!!!              ***
      ***                                                    ***
      **********************************************************

The European Joint Conferences on Theory and Practice of Software
ETAPS is a loose and open confederation of conferences and other
events that has become the primary European forum for academic and
industrial researchers working on topics relating to Software Science.

                     ******************************
                     * http://www-etaps.imag.fr/  *
                     ******************************

-----------------------------------------------------------------------
5 Conferences - 13 Satellite Events - 11 Tutorials - Tool Demonstrations
-----------------------------------------------------------------------

-----------------------------------------------------------------------
Main Conferences
-----------------------------------------------------------------------
CC 2002: International Conference on Compiler Construction
  Chair: Nigel Horspool
  http://www.csr.UVic.CA/cc2002/

ESOP 2002, European Symposium On Programming
  Chair: Daniel Le Metayer

FASE 2002, Fundamental Approaches to Software Engineering
  Chairs: Ralf-Detlef Kutsche and Herbert Weber
  http://www.cis.cs.tu-berlin.de/~fase2002/index_general.html

FOSSACS 2002 Foundations of Software Science and Computation Structures
  Chair: Mogens Nielsen
  http://www.brics.dk/fossacs02/

TACAS 2002, Tools and Algorithms for the Construction and Analysis of Systems
  Chairs: Perdita Stevens and Joost-Pieter Katoen
  Tool chair: Hubert Garavel
  http://www.dcs.ed.ac.uk/tacas2002/

-----------------------------------------------------------------------
Satellite Events
-----------------------------------------------------------------------
ACL2: Third Workshop on the ACL2 Theorem Prover and its Applications
  Contact: Matt Kaufmann, [log in to unmask]
           http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/

AGT: APPLIGRAPH Workshop on Applied Graph Transformation
  Contact: Hans-Joerg Kreowski, [log in to unmask]
           http://www.informatik.uni-bremen.de/theorie/AGT2002

CMCS: Coalgebraic Methods in Computer Science
  Contact: Larry Moss, University of Indiana, [log in to unmask]
           http://www.cs.indiana.edu/cmcs

COCV: Compiler Optimization Meets Compiler Verification
  Contact: Jens Knoop, [log in to unmask]
           http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html

DCC: Designing Correct Circuits
  Contact: Mary Sheeran, [log in to unmask]
           http://www.cs.chalmers.se/~ms/DCC02/

INT: Second Workshop on Integration of Specification Techniques for
     Applications in Engineering
  Contact: Martin Grosse-Rhode, [log in to unmask]
           http://tfs.cs.tu-berlin.de/~mgr/int02/

LDTA: Second Workshop on Language Descriptions, Tools and Applications
  Contact: Marjan Mernik, [log in to unmask]
           http://www.cwi.nl/conferences/LDTA2002/

SC: Software Composition
  Contact: Elke Pulvermueller, [log in to unmask]
           http://i44www.info.uni-karlsruhe.de/~pulvermu/workshops/SC2002

SFEDL: Semantic Foundations of Engineering Design Languages
  Contact: Gerald Luttgen, [log in to unmask]
           http://www.dcs.shef.ac.uk/~sfedl

SLAP: Synchronous Languages, Applications, and Programming
  Contact: Florence Maraninchi, [log in to unmask]
           http://www.inrialpes.fr/bip/people/girault/Slap02

SPIN: 9th International SPIN Workshop on Model Checking of Software
  Contact: Stefan Leue, [log in to unmask]
           http://tele.informatik.uni-freiburg.de/spin2002

TPTS: Theory and Practice of Timed Systems
  Contact: Oded Maler, [log in to unmask]
           http://www-verimag.imag.fr/~maler/TPTS.html

VISS: Validation and Implementation of Scenario-based Specifications
  Contact: Anca Muscholl, [log in to unmask]
           http://www.liafa.jussieu.fr/~anca/VISS02.html

-----------------------------------------------------------------------
Tutorials
-----------------------------------------------------------------------

   See the Tutorials  page at http://www-etaps.imag.fr/
   for  the complete list of tutorials

-----------------------------------------------------------------------
Tool Demonstrations
-----------------------------------------------------------------------

Demonstrations of tools presenting advances on the state of the art
have been selected and are integrated in the programmes of the main
conferences. Have a look at the Programme page at
                         http://www-etaps.imag.fr/

-----------------------------------------------------------------------

 -----------
you received this e-mail via the individual or collective address
               [log in to unmask]
to unsubscribe from ETAPS list: contact [log in to unmask]
 -----------