|
||
| Abstract |
|
||
| Submission |
|
||
| Notification |
|
||
| Camera-Ready |
University of Edinburgh, King's Buildings, Edinburgh, Midlothian, United Kingdom of Great Britain and Northern Ireland
The 8. European Conferences on Theory and Practice of Software (ETAPS) 2005
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. It is an annual event held in Europe each spring since 1998.
Main Conferences
- CC 2005, International Conference on Compiler Construction
- ESOP 2005, European Symposium on Programming
- FASE 2005, Fundamental Approaches to Software Engineering
- FOSSACS 2005, Foundations of Software Science and Computation Structures
- TACAS 2005, Tools and Algorithms for the Construction and Analysis of Systems
Submissions
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. 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.
Important Dates
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
