Call for Papers

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. Submitted papers must be in English presenting original research. They 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.

Research Papers

Papers will be not more than 15 pages long. 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.

Tool Demonstration Papers

Submissions should consist of two parts.

Please note that FOSSACS does not accept tool demonstration papers.


Proposals for half-day or full-day tutorials related to ETAPS 2008 are invited. Tutorial proposals will be evaluated on the basis of their assessed benefit for prospective participants of ETAPS 2008. 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 2008; 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 instructors(s).

Important Dates


International Conference on Compiler Construction

CC is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case.

Topics of interest include, but are not limited to:

Programme Committee

Invited Speaker

Michael Schwartzbach, University of Aarhus, Denmark

Conference Page


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

Programme Committee

Invited Speaker

Thierry Coquand, Göteborg University, Sweden

Conference Page


Fundamental Approaches to Software Engineering

FASE is concerned with the foundations on which Software Engineering is built. Submissions should not focus on the application or evaluation of given methods, tools or techniques for their own sake but, rather, the principles on which they are based and the way in which they contribute to making Software Engineering a more mature and soundly-based discipline. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all such fundamental approaches, including:

Programme Committee

Invited Speaker

Connie Heitmeyer, Naval Research Lab, US

Conference Page


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

Invited Speaker

Igor Walukiewicz, LaBRI Bordeaux

Conference Page


Tools and Algorithms for the Construction and Analysis of Systems

TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference serves to bridge the gaps between different communities that share common interests in, and techniques for, tool development and its algorithmic foundations. The research areas covered by such communities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, communications protocols, and biological systems. The TACAS forum provides a venue for such communities at which common problems, heuristics, algorithms, data structures and methodologies can be discussed and explored. In doing so, TACAS aims to support researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.

Tool descriptions and case studies with a conceptual message, as well as theoretical papers with clear relevance for 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 and findings in general and jargon-independent, rather than in 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

  • Patricia Bouyer, CNRS, Ecole Normale Superieure de Cachan (France)
  • Ed Brinksma, ESI and University of Twente (The Netherlands)
  • Tevfik Bultan, University of California, San Diego, California (USA)
  • Rance Cleaveland, University of Maryland & Fraunhofer USA Inc, College Park, Maryland (USA)
  • Byron Cook, Microsoft Research, Cambridge (UK)
  • Bruno Dutertre, SRI, Menlo Park, California (USA)
  • Patrice Godefroid, Microsoft Research, Redmond, Washington (USA)
  • Orna Grumberg, TECHNION, Israel Institute of Technology, Haifa (Israel)
  • Aarti Gupta, NEC Laboratories America Inc, Princeton, New Jersey (USA)
  • Fritz Henglein, University of Copenhagen (Denmark)
  • Michael Huth, Imperial College, London (UK)
  • Joxan Jaffar, National University of Singapore (Singapore)
  • Kurt Jensen, University of Aarhus (Denmark)
  • Jens Knoop, Technical University, Vienna (Austria)
  • Barbara Koenig, University of Duisburg-Essen (Germany)
  • Marta Kwiatkowska, University of Birmingham, England (UK)
  • Kim Larsen, Aalborg University, Aalborg (Denmark)
  • Nancy Lynch, Massachusetts Institute of Technology, Cambridge, Massachusetts (USA)
  • Kedar Namjoshi, Bell Labs, Murray Hill, New Jersey (USA)
  • Paul Pettersson, Uppsala University (Sweden)
  • Sriram Rajamani, Microsoft Research, Bangalore (India)
  • C.R. Ramakrishnan (chair), Stony Brook University, New York (USA)
  • Jakob Rehof (chair), University of Dortmund (Germany)
  • Bill Roscoe, Oxford University (UK)
  • Mooly Sagiv, Tel Aviv University (Israel)
  • Stefan Schwoon, University of Stuttgart (Germany)
  • Bernhard Steffen, University of Dortmund (Germany)
  • Lenore Zuck, University of Illinois, Chicago, Illinois (USA)

Invited Speaker

Sharad Malik , Princeton, USA

Conference Page

Valid HTML 4.01!