ETAPS main conferences accept two types of contributions:
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 demonstrations are an integrated part of the ETAPS programme. Selected demonstrations will be presented in ordinary conference sessions, using state-of-the-art projection. 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 individuals and 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 - followed by a detailed specification of the hardware, software, and licensing requirements for installing and using the tool.
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.
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:
- compilation and interpretation techniques, incl. program
representation and analysis,
code generation and code optimization
- run-time techniques, incl. memory management and dynamic and just-in-time compilation
- compilation techniques for embedded, mobile or low power code
- compilers for parallel and distributed computing
- compilation techniques for security and safety
- design of novel language constructs and their implementation
- implementation of domain specific languages
- software tools, incl. debuggers, profilers, code verifiers, decompilers, and silicon compilers
Rastislav Bodik (USA), Evelyn Duesterwald (USA), Christine Eisenbeis (France), Paul Feautrier (France), Jeanne Ferrante (USA), Thomas Gross (Switzerland), Görel Hedin (Sweden), Michael Hind (USA), Nigel Horspool (Canada), Susan Horwitz (USA), Ulrich Kremer (USA), Rainer Leupers (Germany), Josep Llosa (Spain), Eduard Mehofer (Austria), Samuel Midkiff (USA), Reinhard Wilhelm (Germany), Ben Zorn (USA)
Evelyn Duesterwald, IBM T.J. Watson Research Center, USA E-mail: email@example.com
Mary Lou Soffa, Pittsburgh, USA
ESOP 2004: 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:
Design of programming languages and calculi.
Studies of their formal properties.
Techniques, methods and tools for their implementation.
Exploitation of programming styles within different programming paradigms.
Automatic and manual methods for reasoning about programs.
The design and invention of systems and tools to assist in exploitation of the languages.
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.
Torben Amtoft (USA),Henri Bal (The Netherlands), Radhia Cousot (France), Pierpaolo Degano (Italy), Mariangiola Dezani-Ciancaglini (Italy), Pascal Fradet (France), Michael Gordon (UK),Eric Goubault (France), Joshua Guttman (USA), Fritz Henglein (Denmark), Matthew Hennessy (UK), Markus Müller-Olm (Germany), Martin Odersky (Switzerland), German Puebla (Spain), David Schmidt (USA), Michael Schwartzbach (Denmark), Harald Sondergaard (Australia), Peter Thiemann (Germany), Mitchell Wand (USA), Kwangkeun Yi (Korea)
David Schmidt Kansas State University, USA E-mail: firstname.lastname@example.org
Peter O'Hearn Queen Mary, University of London, UK
FASE 2004: 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 long, are supposed to be flexibly adjustable to new requirements and are hence demanded to encompass evolvable software systems. Quality is increasingly important in classic as well as 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, communicating and inter-operating systems; new software development processes are needed to enable the continuous improvement and extension of heterogeneous software federations. New quality assurance methods are needed to guarantee acceptable standards of increasingly complex software applications. Different component paradigms are under discussion now, a large number of specification and modeling language are proposed and an increasing number of software development tools and environments are made available to cope with the problems. At the same time research on new theories, concepts and techniques is under way that aims at the development of their precise and (mathematically) formal foundation.
Contributions are encouraged that aim at both pragmatic concepts and their formal foundation 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:
FOSSACS 2004: 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:
Automata and language theory,
Computation processes over discrete and continuous data,
Infinite state systems,
Logics of programs,
Modal, spatial, and temporal logics,
Models of concurrent, reactive, distributed, and mobile systems,
Process algebras and calculi,
Semantics of programming languages,
Software specification and refinement,
Type systems and type theory.
Igor Walukiewicz Bordeaux, France E-mail: email@example.com
Hubert Comon, LSV, ENS Cachan, France
TACAS 2004: 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 have traditionally had little interaction but 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:
Specification and verification techniques,
Theorem-proving and model-checking,
System construction and transformation techniques,
Static and run-time analysis,
Compositional and refinement-based methodologies,
Testing and test-case generation,
Analytical techniques for real-time, hybrid and safety-critical systems,
Tool environments and tool architectures,
Applications and case studies.
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.
Jonathan Billington (Australia), Bernard Boigelot (Belgium), Ed Brinksma (The Netherlands), Witold Charatonik (Poland), Rance Cleaveland (USA), Giorgio Delzanno (Italy), David L. Dill(USA), Susanna Donatelli (Italy), Javier Esparza (Germany), John Hatcliff (USA), Kurt Jensen (Denmark), Orna Kupferman (Israel), Yassine Lakhnech (France), Kim Larsen (Denmark), Anca Muscholl (France), Anna Philippou (Cyprus), Andreas Podelski (Germany), Jaco van de Pol (The Netherlands), Jakob Rehof (USA), Martin C. Rinard (USA), Bill Roscoe (UK), Bernard Steffen (Germany), Ofer Strichman (USA), Antti Valmari (Finland), Andreas Zeller (Germany)
Kurt Jensen, University of Aarhus, Denmark E-mail: firstname.lastname@example.org
Andreas Podelski, Max-Planck-Institut Saarbrücken, Germany E-mail: email@example.com
Bernard Steffen, Universität Dortmund, Germany E-mail: Bernhard.Steffen@cs.uni-dortmund.de
Antti Valmari, Tampere University of Technology (Finland)