[Prev][Next][Index][Thread]

ETAPS 2002, CALL FOR SUBMISSIONS -- DEADLINE OCTOBRE, 19, 2001



      **********************************************************
      ***                       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
               types@cis.upenn.edu
to unsubscribe from ETAPS list: contact etaps02@ormelune.imag.fr
 -----------