[TYPES] ETAPS 2005: CALL FOR SUBMISSIONS

ETAPS 2005 Organisation etaps05 at inf.ed.ac.uk
Thu Sep 16 02:45:05 EDT 2004


   *****************************************************************
   ***                                                           ***
   ***                         ETAPS 2005                        ***
   ***                   2nd - 10th April  2004                  ***
   ***                    Edinburgh, Scotland.                   ***
   ***                                                           ***
   ***              http://www.etaps05.inf.ed.ac.uk/             ***
   ***                                                           ***
   ***                    CALL FOR SUBMISSIONS                   ***
   ***                                                           *** 
   ***      Abstract submission deadline: 8th October, 2004      ***
   ***      Full submission deadline:    15th October, 2004      ***
   ***                                                           ***
   *****************************************************************

The European Joint Conferences on Theory and Practice of Software (ETAPS)
is the primary European forum for academic and industrial researchers
working on topics related to Software Science.  It is a confederation of
five main conferences, a number of satellite workshops and other events.

-------------------------------------------------------------------------
Main Conferences
-------------------------------------------------------------------------

 FOSSACS 2005: Foundations of Software Science and Computation Structures
 PC chair:     Vladimiro Sassone  (http://www.cogs.susx.ac.uk/users/vs)
 URL:          http://www.cogs.susx.ac.uk/fossacs05
 email:        fossacs05 at susx.ac.uk

 FASE 2005:    Fundamental Approaches to Software Engineering
 PC chair:     Maura Cerioli  (http://www.disi.unige.it/person/CerioliM)
 URL:          http://fase05.disi.unige.it/
 email:        fase05 at disi.unige.it

 ESOP 2005:    European Symposium on Programming
 PC chair:     Mooly Sagiv  (http://www.cs.tau.ac.il/~msagiv)
 URL:          http://www.cs.tau.ac.il/~msagiv/esop05.html

 CC 2005:      International Conference on Compiler Construction
 PC chair:     Rastislav Bodik  (http://www.cs.berkeley.edu/~bodik)
 URL:          http://cc05.cs.berkeley.edu/

 TACAS 2005:   Tools and Algorithms for the Construction and Analysis of Systems
 PC chairs:    Nicolas Halbwachs (http://www-verimag.imag.fr/~halbwach)
               Lenore Zuck (http://www.cs.nyu.edu/~zuck)
 URL:          http://www-verimag.imag.fr/TACAS2005.html


The ETAPS main conferences accept two types of contributions:

  *   Research papers
  *   Tool demonstration papers

-----------------------------------------------------------------------
Research papers:
-----------------------------------------------------------------------

Prospective authors are invited to submit full papers in English presenting
original research. Submitted papers must be unpublished and not submitted
for publication elsewhere. In particular, simultaneous submission of the
same contribution to multiple ETAPS conferences is forbidden.

The proceedings will be published in the Springer-Verlag Lecture Notes
in Computer Science series. Final papers will be no more than 15 pages
long in the format specified by Springer-Verlag at
http://www.springer.de/comp/lncs/authors.html

It is recommended that submissions adhere to that format and length.
Submissions that are clearly too long may be rejected immediately.
Instructions on how to submit are available at the URL of each
individual conference.

-----------------------------------------------------------------------
Tool demonstration papers:
-----------------------------------------------------------------------

Demonstrations of novel and state-of-the-art tools are also invited. A
submission should have a clear connection to one of the main ETAPS
conferences, possibly complementing a paper submitted separately. Tool
demonstrations are an integrated part of the ETAPS programme. Selected
demonstrations will be presented in ordinary conference sessions. The
time allowed will be approximately the same as that for the presentation
of a research paper. The demonstration will be accompanied by the
publication of a short paper (up to 4 pages) in the proceedings of the
relevant ETAPS conference, describing the main features of the tool.
There will be opportunities for follow-up demonstrations with small groups.

Submissions should follow the instructions published in the URL of the
relevant conference. They should take the form of a self-contained tool
description of no more than 4 pages in the format specified by
Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. The
tool description should be accompanied by an appendix (not intended for
publication, and not included in the page limit) indicating which
features of the tool would be demonstrated - preferably with some sample
screen snapshots.

N.B. Tool demonstrations should not be confused with research
contributions to the TACAS conference, which emphasises principles of
tool design, implementation, and use, rather than focusing on specific
domains of application.


-----------------------------------------------------------------------
Satellite Workshops
-----------------------------------------------------------------------

 AVIS:     Automated Verification of Infinite-State Systems
 Contact:  Ramesh Bharadwaj, ramesh at itd.nrl.navy.mil
 URL:      http://chacs.nrl.navy.mil/AVIS05

 CEES:     Continuous Engineering of Embedded Systems
 Contact:  Martin Grosse-Rhode, martin.grosse-rhode at isst.fraunhofer.de
 URL:      http://www.isst.fhg.de/~mgrosse/cees/index.html

 GLPL:     Games for Logic and Programming Languages
 Contact:  Dan Ghica, Dan.Ghica at comlab.ox.ac.uk
 URL:      http://users.ox.ac.uk/~coml0074/galop.html

 GCW-DSE:  Grand Challenge Workshop on Dependable Systems Evolution
 Contact:  Jim Woodcock, Jim.Woodcock at cs.york.ac.uk
 URL:      http://nick.dcs.qmul.ac.uk/~ohearn/DSE-Workshop/etaps05.html

 QAPL:     Workshop on Quantitative Aspects of Programming Languages
 Contact:  Herbert Wiklicky, herbert at doc.ic.ac.uk
 URL:      http://www.doc.ic.ac.uk/~qapl05

 CLASE:    Constructive Logic for Automated Software Engineering
 Contact:  Iman Poernomo, ihp at csse.monash.edu.au
 URL:      http://www.csse.monash.edu.au/clase

 COCV:     Compiler Optimization Meets Compiler Verification
 Contact:  Jens Knoop, knoop at complang.tuwien.ac.at
 URL:      http://www.complang.tuwien.ac.at/knoop/COCV2005/cocv2005.html

 LDTA:     Language Descriptions, Tools and Applications
 Contact:  Thomas Noll, Noll at cs.rwth-aachen.de
 URL:      http://www-i2.informatik.rwth-aachen.de/Events/LDTA2005/

 SLAP      Synchronous Languages, Applications, and Programming
 Contact:  Florence Maraninchi, Florence.Maraninchi at imag.fr
 URL:      http://www.inrialpes.fr/pop-art/people/girault/Slap05

 TGC:      Trustworthy Global Computing
 Contact:  Rocco De Nicola, denicola at dsi.unifi.it
 URL:      http://www.cs.unibo.it/~sangio/TGC05/

 BYTECODE: Bytecode Semantics, Verification, Analysis and Transformation
 Contact:  Fausto Spoto, fausto.spoto at univr.it
 URL:      http://www.sci.univr.it/~spoto/Bytecode05/

 FAC:      Formal verification of Analog Circuits
 Contact:  Oded Maler, Oded.Maler at imag.fr
 URL:      http://www-verimag.imag.fr/~maler/FAC

 FESCA:    Formal Foundations of Embedded Software and Component-Based
           Software Architectures
 Contact:  Juliana Kuester-Filipe, jkfilipe at inf.ed.ac.uk
 URL:      http://www.csse.monash.edu.au/fesca/

 FINCO:    Foundations of Interactive Computation
 Contact:  Mirko Viroli, mviroli at deis.unibo.it
 URL:      http://www.cse.uconn.edu/cse/finco05/

 SC:       Software Composition
 Contact:  Thomas Gschwind, tom at infosys.tuwien.ac.at
 URL:      http://www.infosys.tuwien.ac.at/staff/tom/SC2005

 UITP:     User Interfaces for Theorem Provers
 Contact:  David Aspinall, da at inf.ed.ac.uk
 URL:      http://uitp05.inf.ed.ac.uk

 CMSB      Computational Methods in Systems Biology
 Contact:  Gordon Plotkin, gdp at inf.ed.ac.uk
 URL:      http://homepages.inf.ed.ac.uk/v1bklin/cmsb05

        
-----------------------------------------------------------------------
Tutorials
-----------------------------------------------------------------------

Proposals for half-day or full-day tutorials related to ETAPS 2005 are
invited.  Tutorial proposals will be evaluated on the basis of their
assessed benefit for prospective participants to ETAPS 2005.
Proposals should include a description of the material that will be
covered in the tutorial; a justification of the relevance of the
tutorial for ETAPS 2005; a short history of the tutorial if it has
been given before; the duration of the tutorial; the key learning
objectives for the participants; the intended audience for the
tutorial and the required background; and the credentials of the
instructor(s).

The deadline for tutorial proposals is 15th October 2004.
They should be sent to etaps05 at inf.ed.ac.uk


-----------------------------------------------------------------------
IMPORTANT DATES
-----------------------------------------------------------------------

 8th October 2004:       Submission deadline for abstracts of
                         research and tool demonstration papers 
                         for main conferences

 15th October 2004:      Submission deadline for full versions of
                         research and tool demonstration papers
                         for main conferences, and tutorial proposals.

 10th December 2004:     Notification of acceptance

 7th January 2005:       Camera-ready versions due

 4th - 8th April 2005:   ETAPS 2004 main conferences

 2nd - 10th April 2005:  ETAPS 2004 satellite events


For submission instructions, please visit the individual conference
or workshop pages.

Please note that submission deadlines for satellite events are
independent of the main conference deadlines above, and vary from one
another.  Visit individual satellite workshop pages for full details.


---------------------------------------------------------------------------- 
You received this e-mail via the individual or collective address: types at cis.upenn.edu
Please accept our apologies if you have received duplicates.
To unsubscribe from the ETAPS list contact: etaps05 at inf.ed.ac.uk



More information about the Types-list mailing list