We apologize if you receive multiple copies of this message. ********************************************************** *** ETAPS 2002 *** *** APRIL, 6-14, 2002 *** *** GRENOBLE, FRANCE *** *** *** *** CALL FOR PAPERS, TOOL DEMOS and TUTORIALS *** *** *** !!!!!!!!!! DEADLINE : OCTOBER 19 !!!!!!!! *** *** ********************************************************** 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 - Tutorials - Tool Demonstrations ----------------------------------------------------------------------- ----------------------------------------------------------------------- IMPORTANT DATES ----------------------------------------------------------------------- October 19, 2001: Submissions Deadline for the Main Conferences, Demos and Tutorials December 14, 2001: Notification of Acceptance/Rejection January 18 2002: Camera-ready Version Due April 8-12, 2002: ETAPS main Conferences in GRENOBLE April 6-14, 2001: Satellite Events (different submission deadlines) ----------------------------------------------------------------------- ----------------------------------------------------------------------- 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/ ----------------------------------------------------------------------- Tutorials ----------------------------------------------------------------------- Proposals for half-day or full-day tutorials related to ETAPS 2001 are invited. Tutorial proposals will be evaluated on the basis of their assessed benefit for prospective participants to ETAPS 2001. Contact: Saddek Bensalem, Verimag, Saddek.Bensalem@imag.fr ----------------------------------------------------------------------- Tool Demonstrations ----------------------------------------------------------------------- Demonstrations of tools presenting advances on the state of the art are invited. Submissions in this category should present tools having a clear connection to one of the main ETAPS conferences, possibly complementing a paper submitted separately. Contact: Peter D. Mosses, etaps2002-demo@brics.dk ----------------------------------------------------------------------- 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/Publications/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 ----------------------------------------------------------------------- INVITED SPEAKERS ----------------------------------------------------------------------- Bruno Courcelle, LaBRI, Bordeaux, France Patrick Cousot, ENS Paris, France John Daniels, Syntropy Limited, London, UK Daniel Jackson, Massachusetts Institute of Technology, USA Michael Lowry, NASA Ames Research Center, USA Greg Morrisett, Cornell University, USA Mary Shaw, Carnegy Mellon University, USA Manfred Broy (TU Munich, VISS workshop) Giorgio Buttazzo (University of Pavia, TPTS workshop) Ed Clarke (CMU, SPIN workshop) Charles Concel (Labri, Bordeaux, LDTA workshop) Avi Efrati (Intel Haifa, TPTS workshop) John Hooker (John Hooker, CMU, TPTS workshop) Doron Peled (Bell Labs, VISS workshop) ----------- you received this e-mail via the individual or collective address categories@mta.ca to unsubscribe from ETAPS list: contact etaps02@ormelune.imag.fr -----------