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 using following the instructions on the website of the main conferences. 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: http://www.springer.de/comp/lncs/authors.html .

Submissions not adhering to the specified format and length may be rejected immediately, without review.

Research Papers

Papers should not exceed the page limit of the conference to which they will be submitted (including figures and references). 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. ETAPS referees are at liberty to ignore appendices, and papers must be understandable without them.

Note that from this year the different ETAPS conferences will have different page limits. Specifically, FASE, FOSSACS and TACAS will have a page limit of 15 pages, whereas CC and ESOP will have a page limit of 20 pages.

Tool Demonstration Papers

Submissions should consist of two parts.

Please note that FOSSACS does not accept tool demonstration papers.

Important Dates

CC

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

Conference Website: http://www.cs.ucr.edu/~gupta/CC%202010.htm

ESOP

European Symposium on Programming,

ESOP is an annual conference devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems. ESOP 2009 is the eighteenth edition in this series and seeks contributions on all aspects of programming language research including, but not limited to, the following areas:

Programme Committee

Conference Website: http://research.microsoft.com/en-us/um/people/adg/ESOP2010/

FASE

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

Conference Website: http://www.mathematik.uni-marburg.de/~swt/fase2010/

FOSSACS

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. The specific topics covered by the conference include, but are not limited to, the following:

Programme Committee

Conference Website: http://users.comlab.ox.ac.uk/luke.ong/FoSSaCS2010/

TACAS

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:

Programme Committee

Conference Website:http://tacas10.in.tum.de/

 

Valid HTML 4.01!