Fundamental Approaches to
2-10 April 2005
Proceedings published as LNCS 3442List 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.
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:
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.
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 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. E-mail addresses and fax numbers of the authors should be included on the title page.
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.
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.
The invited speaker for FASE is Tom Henzinger, Berkeley, USA, and Ecole Polytechnique Fédérale de Lausanne, Switzerland.
For any matter concerning FASE (except for submitting papers and abstracts) please contact the PC chair at firstname.lastname@example.org.