We apologize if you receive multiple copies of this message.
**********************************************************
*** ***
*** ETAPS 2002 ***
*** APRIL, 6-14, 2002 ***
*** GRENOBLE, FRANCE ***
*** ***
**********************************************************
*** ***
*** !!!! REGISTER NOW !!!! ***
*** ***
*** EARLY REGISTRATION EXTENDED UNTIL MARCH 9 ***
*** ***
**********************************************************
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.
ALL RECENT INFO and ONLINE REGISTRATION can be found at:
******************************
* 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
http://www.trusted-logic.fr/esop2002/
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]
-----------
|