[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