ETAPS 2005 FASE'05

Fundamental Approaches to
Software Engineering

2-10 April 2005 
Edinburgh, Scotland


Proceedings published as LNCS 3442

List of accepted papers

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is a confederation of five main annual conferences, accompanied by satellite workshops and other events. ETAPS 2005 is the eighth joint conference in this series. FASE is one of the main ETAPS conferences.

Call for Papers

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:

Submission Details

Only the programme committee chairs are not allowed to submit to FASE.

The papers must be submitted electronically in Postscript or PDF form via the FASE 2005 Conference Service (abstract no later than October 8 and full paper no later than October 15).

FASE accepts two types of contributions.

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.

Papers must be submitted in PostScript or PDF format. Submissions in the format of any specific text processing system such as Latex, MS-Word, Adobe-Framemaker, or any other proprietary format cannot be accepted.

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 It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. E-mail addresses and fax numbers of the authors should be included on the title page.

Tool demonstration papers

Demonstrations of novel and state-of-the-art tools are also invited. A submission should have a clear connection to FASE, 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 FASE, describing the main features of the tool.

Submissions should take the form of a self-contained tool description of no more than 4 pages in the same format as research papers. 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.

Important Dates

As a part of ETAPS, FASE adheres to ETAPS submission and notification deadlines:

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
2-10 April 2005: ETAPS 2005

The submissions are possible till midnight of the deadline day, Samoan time (which is the last timezone before the international date line, so that they are interpreted in the less restrictive way), but it is strongly suggested to be a bit early, to avoid server slow-down.

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.

Invited Speaker

The invited speaker for FASE is Tom Henzinger, Berkeley, USA, and Ecole Polytechnique Fédérale de Lausanne, Switzerland.

Programme Committee

For any matter concerning FASE (except for submitting papers and abstracts) please contact the PC chair at