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.
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 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.
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.
|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.
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:
PC chair: Vladimiro Sassone, University of Sussex, UK
Invited speaker: Marcelo Fiore, University of Cambridge, UK
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:
PC chair: Maura Cerioli, Università di Genova, I
Invited speaker: Thomas Henzinger, Ecole Polytechnique Federale de Lausanne, Switzerland
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.
PC chair: Mooly Sagiv, Tel Aviv University, IL
Invited speaker: Andrew Myers, Cornell University, USA
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:
PC chair: Rastislav Bodik, UC Berkeley, USA
Invited speaker: Andreas Zeller, Saarland University, Germany
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
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