ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. All 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.
Papers should be submitted electronically in PDF (preferably) or PS (using Type 1 fonts). The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be in the format specified by Springer-Verlag at the URL:
It is recommended that submissions adhere to the specified format and length. Submissions that are clearly too long may be rejected immediately. For submission details please visit the web pages of individual conferences.
If you are in doubt if the contribution of your paper fits to the scope of a particular main conference of ETAPS 2006, or to one of its satellite workshops, please contact directly the program chair of the relevant conference or workshop.
Final papers will be not more than 15 pages long, and should present original research. Additional material intended for the referee but not for publication in the final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit.
Submissions should consist of two parts.
The first part, at most four pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information which illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.)
The second part, at most six pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated.)
|7 Oct 2005||Submission deadline for abstract|
|14 Oct 2005||Submission deadline for full papers (strict)|
|9 Dec 2005||Notification of acceptance/rejection|
|6 Jan 2006||Camera-ready versions due|
Proposals for half-day or full-day tutorials related to ETAPS 2006 are invited. Tutorial proposals will be evaluated on the basis of their assessed benefit for prospective participants to ETAPS 2006. 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 2006; 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). Please mail tutorial proposals to email@example.com until November 30, 2005.
CC is concerned with processing of programs in the most general sense: analyzing or transforming input which represents some form of description of how a system operates, and including traditional compiler construction as a special case.
Topics of interest include, but are not limited to:
Koen de Bosschere (B), Radhia Cousot (F), Arie van Deursen (NL), Michael Ernst (USA), Sergei Gorlatch (D), Chris Hankin (UK), Jens Knoop (A), Shriram Krishnamurthi (USA), K. Rustan M. Leino (USA), Oege de Moor (UK), Greg Morrisett (USA), Alan Mycroft (UK), co-chair, Morten Rhiger (DK), Barbara Ryder (USA), Frank Tip (USA), Des Watson (UK), Kwangkeun Yi (ROK), Andreas Zeller (D), co-chair.
George Necula, University of California, Berkeley, USA
ESOP is an annual conference devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems. This includes:
Contributions bridging the gap between theory and practice are particularly welcome. Topics traditionally covered by ESOP include programming paradigms and their integration, semantics, calculi of computation, security and privacy, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.
Anindya Banerjee (USA), Anton Ertl (A), David Warren (USA), Didier Rémy (F), Erik Meijer (USA), Eugenio Moggi (I), German Vidal (E), Giuseppe Castagna (F), Joe Wells (UK), Konstantin Sagonas (S), Michele Bugliesi (I), Mooly Sagiv (IL), Nick Benton (UK), Peter O'Hearn (UK), Peter Sestoft (DK), chair, Peter Stuckey (AUS), Peter Thiemann (D), Pieter Hartel (NL), Reinhard Wilhelm (D), Stephanie Weirich (USA), Susan Eisenbach (UK), Todd Veldhuizen (S), Ulrik Pagh Schultz (DK).
Sophia Drossopoulou, Imperial College London, UK
The information society is increasingly reliant on software at all levels. Hence, the ability to produce software of high quality at low cost is crucial to technological and social progresses. An intrinsic characteristic of software addressing real-world applications is the need to evolve in order to adjust to new or changing requirements. Maintaining quality while embracing change is one of the main challenges of software engineering.
Software engineers have at their disposal theories, languages, methods, and tools that derive from both systematic research of the academic community and the experience of practitioners. It is one of the roles of software engineering as a scientific discipline to create a feedback cycle between academia and industry by proposing new solutions and identifying those that work in practical contexts.
Submissions may address both academic research and industrial experiences, but they must clearly identify the problem and the envisaged solution. Particularly, contributions are encouraged that aim at a combination of conceptual and methodological aspects with their formal foundation and tool support.
A non-exclusive list of topics of interest is given below.
Jan Řyvind Aagedal (N), Luciano Baresi (I), co-chair, Jean Bezivin (F), Victor Braberman (RA), Maura Cerioli (I), Matt Dwyer (USA), Anthony Finkelstein (UK), Harald Gall (CH), Alan Hartman (IL), Reiko Heckel (UK), co-chair, Mehdi Jazayeri (A), Antonia Lopes (P), Sandro Morasca (I), András Pataricza (H), Mauro Pezzč (I), Arend Rensink (NL), Leila Ribeiro (BR), Andy Schürr (D), Gabi Täntzer (D), Tetsuo Tamai (J), Sebastian Uchitel (UK), Heike Wehrheim (D), Michel Wermelinger (UK), Alex Wolf (USA), Michal Young (USA).
Francisco Curbera, IBM, USA
FOSSACS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Topics covered include, but are not limited to:
Luca Aceto (IS and DK), co-chair, Roberto Amadio (F), Bruno Blanchet (F), Gerard Boudol (F), Nadia Busi (I), Luca Cardelli (UK), Flavio Corradini (I), Luca de Alfaro (USA), Zoltán Ésik (H), Tom Henzinger (CH), Anna Ingólfsdóttir (IS and DK), co-chair, Bengt Jonsson (S), Dexter Kozen (USA), Antonin Kucera (CZ), Orna Kupferman (IL), Marta Kwiatkowska (UK), Catuscia Palamidessi (F), Erik Poll (NL), Alban Ponse (NL), Edmund Robinson (UK), Vladimiro Sassone (UK), Steve Schneider (UK), Igor Walukiewicz (F), Thomas Wilke (D).
Wan Fokkink, Vrije Universiteit Amsterdam, NL
TACAS is a forum for researchers, developers and users interested in rigorously based tools for the construction and analysis of systems. The conference serves to bridge the gaps between different communities --- including but not limited to those devoted to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, and communications protocols --- that share common interests in, and techniques for, tool development. In particular, by providing a venue for the discussion of common problems, heuristics, algorithms, data structures and methodologies, TACAS aims to support researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools for building systems.
Tool descriptions and case studies with a conceptual message and theoretical papers with a clear link to tool construction are all encouraged. The specific topics covered by the conference include, but are not limited to, the following:
As TACAS addresses a heterogeneous audience, potential authors are strongly encouraged to write about their ideas in general and jargon-independent, rather than application- and domain-specific, terms. Authors reporting on tools or case studies are strongly encouraged to indicate how their experimental results can be reproduced and confirmed independently.
Armin Biere (A), Ed Brinksma (NL), Gianfranco Ciardo (USA), Alessandro Cimatti (I), Rance Cleaveland (USA), Hubert Garavel (F), Andy Gordon (UK), Orna Grumberg (IL), Klaus Havelund (USA), Holger Hermanns (D), co-chair, Thierry Jeron (F), tool chair, Kim Larsen (DK), Ken McMillan (USA), Peter Niebert (F), Jens Palsberg (USA), co-chair, Anna Phillipou (CY), Jaco van de Pol (NL), John Rushby (USA), David Sands (S), Helmut Seidl (D), Bernhard Steffen (D), Martin Steffen (D), Zhendong Su (USA), Wang Yi (S), Lenore Zuck (USA).
Somesh Jha, University of Wisconsin, Madison, USA