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

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 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 emphasizes principles of tool design, implementation, and use, rather than focusing on specific domains of application.

Deadline Information

8 October 2004: Submission deadline (strict) for abstracts of research and tool demonstration papers
15 October 2004: Submission deadline (strict) for full versions of research and tool demonstration papers
10 December 2004: Notification of acceptance
7 January 2005: Camera-ready versions due

The above deadlines are STRICT. Making the deadline for submission of abstracts a week early allows the programme committees to start work before full versions are available. Obviously, there is no need to wait with submission of the full version until the final deadline.

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the final deadline will be treated as withdrawn.



Foundations of Software Science and Computation Structures

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:

Programme Committee

Luca Aceto (DK), Michele Bugliesi (I), Luis Caires (P), Giuseppe Castagna (F), Witold Charatonik (PL), Vincent Danos (F), Robert Harper (USA), Petr Jancar (CZ), Naoki Kobayashi (JP), Orna Kupferman (IL), Guy McCusker (UK), Ugo Montanari (I), Anca Muscholl (F), Tobias Nipkow (D), Andrew Pitts (UK), Amir Pnueli (IL), David Sands (S), Vladimiro Sassone (UK), Andre Scedrov (USA), Peter Selinger (CAN), Wolfgang Thomas (D), Glynn Winskel (UK), Nobuko Yoshida (UK)

PC chair: Vladimiro Sassone, University of Sussex, UK

Invited speaker: Marcelo Fiore, University of Cambridge, UK


FASE 2005

Fundamental Approaches to Software Engineering

Large scale Information and Communication Infrastructures are of growing concern to industry and public organizations. They are expected to exist indefinitely, are supposed to be readily adjustable to new requirements and are hence required to encompass evolvable software systems. Quality is increasingly important in both classic and new application domains. This poses new challenges to software engineering research and practice: new software structuring and scaling concepts are needed for heterogeneous software federations that consist of numerous autonomously developed, inter-communicating and inter-operating systems; new software development processes are needed to enable the continual improvement and extension of heterogeneous software federations. New quality assurance methods are needed to guarantee acceptable standards for increasingly complex software applications. Different component paradigms are under discussion now, a large number of specification and modeling languages are being proposed and an increasing number of software development tools and environments are appearing to cope with the problems. At the same time research on new theories, concepts and techniques is under way that targets the development of their precise and (mathematically) formal foundation.

Contributions are encouraged that target both pragmatic concepts and their formal foundations that can lead to new engineering practices and a higher level of reliability, robustness, and evolvability of heterogeneous software federations. Especially sought are submissions on:

Programme Committee

Silvia Teresita Acuña (E), Leonor Barroca (UK), Yolande Berbers (B), Jean Bézivin (F), Jean-Michel Bruel, (F), Maura Cerioli (I), Marsha Chechik (CAN), Gianpaolo Cugola (I), Colin Fidge (AUS), Anthony Finkelstein (UK), Chris George (Macao), Martin Grosse Rhode (D), Tomasz Janowski (PL), Mehdi Jazayeri (A), Cliff Jones (UK), Antónia Lopes (P), Tiziana Margaria (D), Stephan Merz (F), Carlo Montangero (I), Doron Peled (UK), Ernesto Pimentel (E), Alfred W. Strohmeier (CH), Michel Wermelinger (P), Roel Wieringa (NL), Alexander Wolf (USA)

PC chair: Maura Cerioli, Università di Genova, I

Invited speaker: Thomas Henzinger, Ecole Polytechnique Federale de Lausanne, Switzerland


ESOP 2005:

European Symposium on Programming

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, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.

Programme Committee

Martin Abadi (USA) Alex Aiken (USA) Bruno Blanchet (D) Luca Cardelli (UK) Patrick Cousot (F) Oege de Moor (UK) Manuel Fahndrich (USA) John Field (USA) Maurizio Gabbrielli (I) Chris Hankin (UK) Manuel Hermenegildo (E) Xavier Leroy (F) Anders Møller (DK) Greg Morrisett (USA) David Naumann (USA) Hanne Riis Nielsen (DK) Peter O'Hearn (UK) Catuscia Palamidessi (F) Thomas Reps (USA) Martin Rinard (USA) Andrei Sabelfeld (SE) Mooly Sagiv (IL), chair Davide Sangiorgi (I) David Schmidt (USA) Scott Stoller (USA)

PC chair: Mooly Sagiv, Tel Aviv University, IL

Invited speaker: Andrew Myers, Cornell University, USA


CC 2005

International Conference on Compiler Construction

CC provides a forum for researchers, educators, and practitioners to exchange ideas on the latest developments in compiler technology, programming language implementation and language design. The conference emphasizes practical and experimental work and invites contributions on methods and tools for all aspects of compiler technology and all language paradigms.

Topics of interest include, but are not limited to:

Programme Committee
Rastislav Bodik (USA), Charles Consel (F), Grzegorz Czajkowski (USA), Angela Demke-Brown (CAN), Amy Felty, University of Ottawa (CAN), Antonio Gonzalez (E), Thomas Gross (CH), Jan Heering (NL), Roberto Ierusalimschy (BR), Chandra Krintz (USA), Rustan Leino (USA), Eduard Mehofer (A), Michael Philippsen (D), G. Ramalingam (USA), Michael I. Schwartzbach (DK), Andreas Zeller (D)

PC chair: Rastislav Bodik, UC Berkeley, USA

Invited speaker: Andreas Zeller, Saarland University, Germany


TACAS 2005

Tools and Algorithms for the Construction and Analysis of Systems

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.

Programme Committee
Rajeev Alur (USA), Patricia Bouyer (F), Ed Brinksma (NL), Randy Bryant (USA), Muffy Calder (UK), Rance Cleaveland (USA), Radhia Cousot (F), Cindy Eisner (IL), Javier Esparza (D), Alessandro Fantechi (I), Patrice Godefroid (USA), Andrew Gordon (UK), Nicolas Halbwachs (F), John Hatcliff (USA), Michael Huth (UK), Kurt Jensen (DK), Thierry Jeron (F), Jens Knoop(A), Andreas Kuehlmann (USA), Marta Kwiatkowska (UK), Kim Larsen (DK), Radu Mateescu (F), Andreas Podelski (D), Sriram Rajamani (USA), Eli Singerman (IL) Bernhard Steffen (D), Lenore Zuck (USA)

PC co-chairs: Nicolas Halbwachs Vérimag/CNRS, Grenoble, F and Lenore Zuck New York University, USA

Invited speaker: Ken McMillan, Cadence Berkeley Labs, USA