ETAPS 2002, CALL FOR SUBMISSIONS - TOOL DEMOS, ...

[etaps02.VERIMAG@imag.fr]

We apologize if you receive multiple copies of this message.

      **********************************************************
      ***                    ETAPS 2002                      ***
      ***                 APRIL, 6-14, 2002                  ***
      ***                 GRENOBLE,  FRANCE                  ***
      ***                                                    ***
      ***          CALL FOR TOOL DEMOS, TUTORIALS            ***
      ***                                                    ***
      ***        and submission for satellite events         ***
      ***                                                    ***
      **********************************************************

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
-----------------------------------------------------------------------

The deadline for submissions to the main conferences 
 CC, ESOP, FASE, FOSSACS and TACAS is closed

But you can still send submissions for 
  tutorials, 
  tool demos
  satellite events, 
as indicated below. In all cases the indicated URL should be 
considered as the most reliable source for the precise deadline.

-----------------------------------------------------------------------
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
Deadline: November 18, 2001 (strict)

   See the Tutorials  page at http://www-etaps.imag.fr/
   for details of the required format of tutorial proposals.
.
-----------------------------------------------------------------------
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
Deadline: November 18, 2001 (strict)

   See the Tool Demonstrations page at http://www-etaps.imag.fr/
   for details of the required format of tool demonstration
   submissions, and for the URL of the electronic submission page. 
   
-----------------------------------------------------------------------
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/
Deadline: November 26, 2001 for title and abstract

AGT: APPLIGRAPH Workshop on Applied Graph Transformation
  Contact: Hans-Joerg Kreowski, kreo@informatik.uni-bremen.de
           http://www.informatik.uni-bremen.de/theorie/AGT2002
Deadline: November 15, 2001  (extended abstract)

CMCS: Coalgebraic Methods in Computer Science
  Contact: Larry Moss, University of Indiana, lsm@cs.indiana.edu
           http://www.cs.indiana.edu/cmcs
Deadline: January 8, 2002

COCV: Compiler Optimization Meets Compiler Verification
  Contact: Jens Knoop, knoop@ls5.cs.uni-dortmund.de
           http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html
Deadline: December 3, 2001

DCC: Designing Correct Circuits
  Contact: Mary Sheeran, ms@cs.chalmers.se
           http://www.cs.chalmers.se/~ms/DCC02/
Deadline: November 15, 2001  (1 page abstract)

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/
Deadline: November 18, 2001

LDTA: Second Workshop on Language Descriptions, Tools and Applications
  Contact: Marjan Mernik, marjan.mernik@uni-mb.si
           http://www.cwi.nl/conferences/LDTA2002/
Deadline: December 15, 2001

SC: Software Composition 
  Contact: Elke Pulvermueller, pulvermueller@acm.org
           http://i44www.info.uni-karlsruhe.de/~pulvermu/workshops/SC2002
Deadline: October 12, 2001

SFEDL: Semantic Foundations of Engineering Design Languages
  Contact: Gerald Luttgen, g.luettgen@dcs.shef.ac.uk
           http://www.dcs.shef.ac.uk/~sfedl
Deadline: October 19, 2001  (regular papers)
          December 3, 2001  (tool demonstrations)

SLAP: Synchronous Languages, Applications, and Programming
  Contact: Florence Maraninchi, Florence.Maraninchi@imag.fr
           http://www.inrialpes.fr/bip/people/girault/Publications/Slap02
Deadline:  November 15, 2001

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
Deadline: December 12, 2001

TPTS: Theory and Practice of Timed Systems
  Contact: Oded Maler, Oded.Maler@imag.fr
           http://www-verimag.imag.fr/~maler/TPTS.html
Deadline: November 15, 2001

VISS: Validation and Implementation of Scenario-based Specifications
  Contact: Anca Muscholl, muscholl@liafa.jussieu.fr
           http://www.liafa.jussieu.fr/~anca/VISS02.html
Deadline: December 15, 2001

 ----------- 
you received this e-mail via the individual or collective address
               cofi-language@brics.dk
to unsubscribe from ETAPS list: contact etaps02@ormelune.imag.fr
 -----------