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, matt.kaufmann@amd.com http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/ AGT: APPLIGRAPH Workshop on Applied Graph Transformation Contact: Hans-Joerg Kreowski, kreo@informatik.uni-bremen.de http://www.informatik.uni-bremen.de/theorie/AGT2002 CMCS: Coalgebraic Methods in Computer Science Contact: Larry Moss, University of Indiana, lsm@cs.indiana.edu http://www.cs.indiana.edu/cmcs COCV: Compiler Optimization Meets Compiler Verification Contact: Jens Knoop, knoop@ls5.cs.uni-dortmund.de http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html DCC: Designing Correct Circuits Contact: Mary Sheeran, ms@cs.chalmers.se http://www.cs.chalmers.se/~ms/DCC02/ INT: Second Workshop on Integration of Specification Techniques for Applications in Engineering Contact: Martin Grosse-Rhode, mgr@cs.tu-berlin.de http://tfs.cs.tu-berlin.de/~mgr/int02/ LDTA: Second Workshop on Language Descriptions, Tools and Applications Contact: Marjan Mernik, marjan.mernik@uni-mb.si http://www.cwi.nl/conferences/LDTA2002/ SC: Software Composition Contact: Elke Pulvermueller, pulvermueller@acm.org http://i44www.info.uni-karlsruhe.de/~pulvermu/workshops/SC2002 SFEDL: Semantic Foundations of Engineering Design Languages Contact: Gerald Luttgen, g.luettgen@dcs.shef.ac.uk http://www.dcs.shef.ac.uk/~sfedl SLAP: Synchronous Languages, Applications, and Programming Contact: Florence Maraninchi, Florence.Maraninchi@imag.fr http://www.inrialpes.fr/bip/people/girault/Slap02 SPIN: 9th International SPIN Workshop on Model Checking of Software Contact: Stefan Leue, spin2002@informatik.uni-freiburg.de http://tele.informatik.uni-freiburg.de/spin2002 TPTS: Theory and Practice of Timed Systems Contact: Oded Maler, Oded.Maler@imag.fr http://www-verimag.imag.fr/~maler/TPTS.html VISS: Validation and Implementation of Scenario-based Specifications Contact: Anca Muscholl, muscholl@liafa.jussieu.fr 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 categories@mta.ca to unsubscribe from ETAPS list: contact etaps02@ormelune.imag.fr -----------