9th International Conference on
Reliable Software Technologies Ada-Europe 2004
Palma de Mallorca, 14-18 June 2004
Web Submission Form
The Call for Papers can be downloaded in the following formats :
Call for Papers
The 9th International Conference on Reliable Software Technologies (Ada-Europe 2004) will take place in 2004 in Palma de Mallorca, Spain. The full conference will comprise a three-day technical program and exhibition from Tuesday to Thursday, and parallel workshops and tutorials on Monday and Friday.
31 October 2003 Submission of papers, tutorials and workshops
12 January 2004 Notification to authors
1 March 2004 Final papers (camera-ready) required
14-18 June 2004 Conference
The conference will provide an international forum for researchers, developers and users of reliable software technologies. Presentations and discussions will cover applied and theoretical work currently conducted to support the development and maintenance of software systems. Participants will include practitioners and researchers from industry, academia and government. There will be a special session on avionics and space, including the use of Ada in this realm.
For papers, tutorials, and workshop proposals, the topics of interest include, but are not limited to:
- Formal Methods.
- Management of Software Development and Maintenance: Methods, Techniques and Tools.
- Software Quality: Quality Management and Assurance, Risk Analysis, Program Analysis, Verification, Validation, Testing of Software Systems.
- Software Development Methods and Techniques: Requirements Engineering, Object-Oriented Technologies, Formal Methods, Software Management Issues, Re-engineering and Reverse Engineering, Reuse.
- Software Architectures: Patterns for Software Design and Composition, Frameworks, Architecture-Centered Development, Component and Class Libraries, Component Design.
- Tools: CASE Tools, Software Development Environments, Compilers, Browsers, Debuggers.
- Kinds of Systems: Real-Time Systems, Distributed Systems, Fault-Tolerant Systems, Information Systems, Safety-Critical and Secure Systems.
- Applications in Multimedia and Communications, Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Industry.
- Ada Language and Tools: Programming Techniques, Object-Oriented Programming, New Approaches in Tool Support, Bindings and Libraries, Evaluation & Comparison of Languages, Language Extension Proposals.
- Ada Experience Reports: Experience Reports from Projects using Ada, Management Approaches, Metrics, Comparisons with past or parallel Experiences in non-Ada Projects.
- Education and Training.
- Case Studies and Experiments.
Authors are invited to submit original contributions. Submissions should be in English. The full paper (up to 12 pages) should be sent using the Web submission form. For more information please see the conference Web page. Submissions should be in PDF (preferred) or Postscript, and follow the LNCS instructions (see ’Proceedings’ below). Submissions by other electronic formats, such as a word processor source file, or by fax are not accepted. The Web submission form is the preferred procedure. However, if you don’t have access to the Internet, or you don’t have an appropriate Web browser, you may send your submission by e-mail to the Program Co-Chair Albert Llamosí. If electronic submission is not available, please send five paper copies. For e-mail or paper submissions, the body of the electronic message or the first page should identify the submission, and should include in plain text: the title; name, current affiliation, postal address, e-mail address, telephone and fax of each author; the name of the designated contact person; a short abstract; and a list of keywords ordered by relevance, including, whenever possible, topics and subtopics taken from the list of topics of the conference. If the paper is submitted in Postscript, please be sure to select the option "optimize for portability" in your printer driver. To enable publication of the accepted papers before the conference, strict adherence to the dates of the schedule is essential. Authors must be prepared to submit a camera ready version of their paper before March 1, 2004.
For experience reports from industry, the submission of an extended abstract is acceptable. The full paper is then due on February 10, 2004.
The proceedings will be published in the Lecture Notes in Computer Science (LNCS) series by Springer Verlag, and will be available at the start of the conference. See the LNCS Authors Instructions page for guidelines (http://www.springer.de/comp/lncs/authors.html).
There will be honorary awards for the best paper and the best presentation.
Call for Tutorials
A tutorial should address any of the topics of the theme of the conference. A tutorial will last a half or full day. The proposals should include a title, an abstract, a description of the topic, a detailed outline of the presentation, a description of the presenter's teaching experience in general and with the proposed topic, duration (half day or full day), level of the tutorial (introductory, intermediate, or advanced), expected audience's experience and background. Proposals should be submitted by e-mail to the Tutorial Chair.
The proposal form can be download here and be attached later by e-mail.
Full-day tutorial presenters get a free conference registration and receive a fee for every paying participant in excess of 5; for half-day tutorials, the benefits are also "half".
Call for Workshops
Half- and full-day workshops can be held to address timely issues or to initiate a longer term effort on a topic of interest. Proposals should be submitted by e-mail to the Program Co-Chair Albert Llamosí.
The conference will be accompanied by a three-day commercial exhibition on June 15, 16 and 17. Vendors of software products and services should contact the Exhibition Chair at their earliest convenience for further information and to ensure their inclusion.
The organizers thank the supporters of the conference
Springer Verlag will publish the proceedings of the conference, as vol. 3063 of Lecture Notes in Computer Science.
|Last Changed : 19/03/2004
Contents of this page : Albert Llamosí
Webmaster : Miquel Mascaró & Pere Palmer