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 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 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, 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.

MAIN CONFERENCES

CC 2004: 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:

   - 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

Programme Committee

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)

PC Chair
Evelyn Duesterwald, IBM T.J. Watson Research Center, USA E-mail: duester@us.ibm.com

Invited Speaker
Mary Lou Soffa, Pittsburgh, USA

URL: http://www.research.ibm.com/CC2004/home.html

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.

Programme Committee

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)

PC Chair
David Schmidt Kansas State University, USA E-mail: schmidt@cis.ksu.edu

Invited Speaker
Peter O'Hearn Queen Mary, University of London, UK

URL: http://www.cis.ksu.edu/santos/esop2004/

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:

Component-based software architectures: design methods and strategies, design patterns, quality assurance
Systematic (in particular coordinative) approaches towards change management in large scale systems, reverse engineering, and improvement of legacy systems
Rigorous approaches to the design, test, and maintenance of reactive, mobile, and distributed software systems
Integration platforms and middleware systems for large scale heterogeneous software federations
Requirements engineering: techniques for acquiring, modeling, specifying and analyzing software components
Analysis, Verification, and Testing: algorithms, techniques, and processes concerned with assuring, developing, or assessing software with respect to requirements or goals
Integration of (lightweight) formal concepts and current best practices in industrial software development
Experience reports on best practices with component models and specifications, development tools, modeling environments, and software development kits

Programme Committee

Ralph-Johan Back (Finland), Jean Bézivin (France), Maura Cerioli (Italy), Matthew Dwyer (USA), Reiko Heckel (Germany), Constance Heitmeyer (USA), Heinrich Hußmann (Germany), Dan Craigen (Canada), Serge Demeyer (Belgium), John Fitzgerald (UK), David Garlan (USA), Antónia Lopes (Portugal), Jeff Magee (UK), Tiziana Margaria (Germany), Tom Mens (Belgium), Mauro Pezzè (Italy), Gian Pietro Picco (Italy), Ernesto Pimentel (Spain), Gabriele Taentzer (Germany), Michel Wermelinger (Portugal)

PC Co-chairs
Tiziana Margaria, Dortmund, Germany
Michel Wermelinger, Univ. Nova de Lisboa, Portugal

Invited Speaker
Gruia-Catalin Roman, Univ. of Washington at St. Louis, USA

URL: http://ctp.di.fct.unl.pt/~mw/conf/fase04/

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:

     Algebraic models,
     Automata and language theory,
     Behavioural equivalences,
     Categorical models,
     Computation processes over discrete and continuous data,
     Infinite state systems,
     Computation structures,
     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.

Programme Committee

Parosh Aziz Abdulla (Sweden), Roberto Di Cosmo (France), Anuj Dawar (UK), Paul Gastin (France), Roberto Gorrieri (Italy), Andrew D. Gordon(UK), Dietrich Kuske (Germany), Ugo Montanari (Italy), Mogens Nielsen (Denmark), Vincent van Oostrom (Holand), Jens Palsberg(USA), Albert Rubio(Spain), Davide Sangiorgi (Italy), Vladimiro Sassone (UK), Philippe Schnoebelen(France), Helmut Seidl (Germany), Andrzej Tarlecki (Poland), Thomas Wilke (Germany), Igor Walukiewicz (France)

PC Chair
Igor Walukiewicz Bordeaux, France E-mail: igw@labri.fr

Invited Speaker
Hubert Comon, LSV, ENS Cachan, France

URL: http://www.labri.fr/Perso/~igw/FOSSACS/

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.

Programme Committee

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)

PC Co-chairs
Kurt Jensen, University of Aarhus, Denmark E-mail: kjensen@daimi.au.dk
Andreas Podelski, Max-Planck-Institut Saarbrücken, Germany E-mail: podelski@mpi-sb.mpg.de

Tool Chair
Bernard Steffen, Universität Dortmund, Germany E-mail: Bernhard.Steffen@cs.uni-dortmund.de

Invited Speaker
Antti Valmari, Tampere University of Technology (Finland)

URL: http://www.daimi.au.dk/~cpn/tacas04/