Subject: ETAPS 2002, CALL FOR SUBMISSIONS To: finite-model-theory@informatik.rwth-aachen.de
Please apologize if you receive multiple copies of this message.
********************************************************** *** ETAPS 2002 *** *** APRIL, 6-14, 2002 *** *** GRENOBLE, FRANCE *** **********************************************************
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/ * ******************************
CALL FOR SUBMISSIONS ----------------------------------------------------------------------- 5 Conferences - 13 Satellite Events - Tutorials - Tool Demonstrations -----------------------------------------------------------------------
Conferences ----------------------------------------------------------------------- CC 2001: International Conference on Compiler Construction Chair: Nigel Horspool http://www.csr.UVic.CA/cc2002/
ESOP 2001, European Symposium On Programming Chair: Daniel Le Metayer
FASE 2001, Fundamental Approaches to Software Engineering Chairs: Ralf-Detlef Kutsche and Herbert Weber http://www.cis.cs.tu-berlin.de/%7Efase2002/index_general.html
FOSSACS 2001 Foundations of Software Science and Computation Structures Chair: Mogens Nielsen http://www.brics.dk/fossacs02/
TACAS 2001, 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-Jvrg 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/%7Eknoop/cocv02.html
DCC: Designing Correct Circuits Contact: Mary Sheeran, ms@cs.chalmers.se http://www.cs.chalmers.se/%7Ems/DCC02/
INT: Second Workshop on Integration of Specification Techniques for Applications in Engineering Contact: Martin Gro_e-Rhode, mgr@cs.tu-berlin.de http://tfs.cs.tu-berlin.de/%7Emgr/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 Pulverm|ller, pulvermueller@acm.org http://i44www.info.uni-karlsruhe.de/%7Epulvermu/workshops/SC2002
SFEDL: Semantic Foundations of Engineering Design Languages Contact: Gerald L|ttgen, g.luettgen@dcs.shef.ac.uk http://www.dcs.shef.ac.uk/%7Esfedl
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/%7Emaler/TPTS.html
VISS: Validation and Implementation of Scenario-based Specifications Contact: Anca Muscholl, muscholl@liafa.jussieu.fr http://www.liafa.jussieu.fr/%7Eanca/VISS02.html
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
----------------------------------------------------------------------- INVITED SPEAKERS ----------------------------------------------------------------------- Ed Clarke, Carnegy Mellon University, USA (Spin workshop) 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
----------------------------------------------------------------------- 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 -----------------------------------------------------------------------
----------- you received this e-mail via the individual or collective address finite-model-theory@informatik.rwth-aachen.de to unsubscribe from ETAPS list: contact etaps02@ormelune.imag.fr