Conference Chair

Alan Burns

University of York, UK

burns@cs.york.ac.uk

Program Co-Chairs

Tullio Vardanega

University of Padua, Italy

tullio.vardanega@math.unipd.it

Andy Wellings

University of York, UK

andy@cs.york.ac.uk

Tutorial Chair

Iain Bate

University of York, UK

ijb@cs.york.ac.uk

Exhibition Chair

Rod Chapman
Praxis Critical Systems
rod.chapman@praxis-cs.co.uk

Publicity Chair

Ian Broster

University of York, UK

ianb@cs.york.ac.uk

Dirk Craeynest

Aubay Belgium & K. U. Leuven, Belgium

Dirk.Craeynest@cs.kuleuven.ac.be

Local Administrator

Sue Helliwell

University of York, UK

sue@cs.york.ac.uk

Ada-Europe
Conference Liaison

Laurent Pautet

ENST Paris, France

pautet@enst.fr

In cooperation with

SIGAda
(approval pending)

General Information

The 10^th International Conference on Reliable Software Technologies (Ada-Europe 2005) will take place in York, UK. Following the usual style, the conference will span a full week, including a three-day technical program and vendor exhibitions from Tuesday to Thursday, along with parallel workshops and tutorials on Monday and Friday.

Schedule

Topics

In the last decade the conference has established itself as an international forum for providers and practitioners of, and researchers into, reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a variety of application domains. The program will allow ample time for keynotes, Q&A sessions, panel discussions and social events. Participants will include practitioners and researchers from industry, academia and government organisations interested in furthering the development of reliable software technologies. To mark the completion of the technical work for the Ada language standard revision process, a special session will be devoted to the presentation and discussion of the prospects of the revised language in the landscape of mainstream language technologies.

For papers, tutorials, and workshop proposals, the topics of interest include, but are not limited to:

• Methods and Techniques for Software Development and Maintenance: Requirements Engineering, Object-Oriented Technologies, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues

• Software Architectures: Patterns for Software Design and Composition, Frameworks, Architecture-Centered Development, Component and Class Libraries, Component-Based Design

• Enabling Technology: CASE Tools, Software Development Environments and Project Browsers, Compilers, Debuggers and Runtime Libraries

• Software Quality: Quality Management and Assurance, Risk Analysis, Program Analysis, Verification, Validation, Testing of Software Systems

• Critical Systems: Real-Time, Distribution, Fault Tolerance, Information Technology, Safety, Security

• Mainstream and Emerging Applications: Multimedia and Communications, Manufacturing, Robotics, Avionics, Space, Health Care, Transportation

• Ada Language and Technology: Programming Techniques, Object-Oriented Programming, Concurrent Programming, Bindings and Libraries, Evaluation & Comparative Assessments, Critical Review of Language Enhancements, Novel Support Technology

Call for Industrial Presentations

A separate call is made for presentations of Experience Reports from Industrial Projects and/or Experiments, Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics, Education and Training Activities with bearing on any of the conference topics. Full papers and/or Extended Abstracts on these topics are also welcome.

Program Committee

Asplund Lars, Mälardalens Högskola, Sweden

Alonso Alejandro, Universidad Politecnica de Madrid, Spain

Barnes Janet, Praxis Critical Systems, UK

Bernat Guillem, University of York, UK

Blieberger Johann, Technische Universität Wien, Austria

Burgstaller Bernd, Technische Universität Wien, Austria

Burns Alan, University of York, UK

Cederling Ulf, Vaxjo University, Sweden

Craeynest Dirk, Aubay Belgium &
K.U. Leuven, Belgium

Crespo Alfons, Universidad Politecnica de Valencia, Spain

Dencker Peter, Aonix GmbH, Germany

Devillers Raymond, Université Libre de Bruxelles, Belgium

González-Harbour Michael, Universidad de Cantabria, Spain

Hately Andrew, Eurocontrol - CEATS Research Development Simulation Centre, Hungary

Hommel Günter, Technischen Univesität Berlin, Germany

Kauer Stefan, EADS Dornier, Germany

Keller Hubert, Institut für Angewandte Informatik

Kermarrec Yvon, ENST Bretagne, France

Kienzle Jörg, McGill University, Canada

Kordon Fabrice, Université Pierre & Marie Curie, France

Leroy Pascal, IBM, France

LLamosi Albert, Universitat de les Illes Balears, Spain

Lundqvist Kristina, MIT, USA

Mazzanti Franco, Istituto di Scienza e Tecnologie dell'Informazione, Italy

McCormick John, University of Northern Iowa, USA

Miranda Javier, Universidad Las Palmas de Gran Canaria, Spain

Morere Pierre, Aonix, France

de la Puente Juan A., Universidad Politecnica de Madrid, Spain

Pautet Laurent, ENST Paris, France

Plödereder Erhard, Universität Stuttgart, Germany

Romanovsky Alexander, University of Newcastle upon Tyne, UK

Rosen Jean-Pierre, Adalog, France

Schonberg Edmond, New York University & ACT, USA

Vardanega Tullio, Università di Padova, Italy

Wellings Andy, University of York, UK

Winkler Jürgen, Friedrich-Schiller-Universität, Germany

Submissions

Authors are invited to submit original contributions. Paper submissions shall be in English, should be complete and should not exceed 20 double-spaced pages in length. Extended abstracts and outlines of presentations that provide a sufficient insight into the intended contents of the contributions will also be considered. Authors of accepted extended abstracts and/or presentations shall submit a consolidated version of their contribution to the Program Co-Chair Tullio Vardanega for final acceptance, by February 21, 2005. Authors should submit their work via the Web submission system accessible from the conference Home page. The preferred format for submission is PDF. Postscript can also be accepted, as long as it was generated selecting the “optimize for portability” option in the used printer driver. Submissions by other means and formats will not be accepted. If you do not have easy access to the Internet, or you do not have an appropriate Web browser, please contact the Program Co-Chair Tullio Vardanega, whose address details are on the flip side of this call as well as on the conference Home page.

Proceedings

The authors of accepted papers shall prepare their camera-ready submissions in full conformance with the LNCS style, not exceeding 12 pages and strictly by March 7, 2005. Authors should refer to: http://www.springer.de/comp/lncs/authors.html for format and style guidelines. Failure to comply will prevent the paper from appearing in the conference proceedings. The conference proceedings including all accepted papers will be published in the Lecture Notes in Computer Science (LNCS) series by Springer Verlag, which will be available at the start of the conference. All other accepted contributions will appear in the Ada User Journal using the relevant format and style.

Awards

Ada-Europe will offer honorary awards for the best paper and the best presentation, which will be presented during the banquet and at the close of the conference respectively.

Call for Tutorials

Tutorials should address subjects that fall within the thrust of the conference and may be proposed as either half- or a full-day events. Proposals should include a title, an abstract, a description of the topic, a detailed outline of the presentation, a description of the presenter's lecturing expertise in general and with the proposed topic in particular, the proposed duration (half day or full day), the intended level of the tutorial (introductory, intermediate, or advanced), the recommended audience experience and background, and a statement of the reasons for attending. Proposals should be submitted by e-mail to the Tutorial Chair Iain Bate. The providers of full-day tutorials will receive a complimentary conference registration as well as a fee for every paying participant in excess of 5; for half-day tutorials, these benefits will accordingly be halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorial in issues preceding and/or following the conference.

Call for Workshops

Workshops on themes within the conference scope may be arranged to discuss matters of immediate technical interest as well as to foster action on longer-term technical objectives. Proposals may be submitted for half- or full-day workshops, to be scheduled on either ends of the main conference. Workshop proposals should be submitted by e-mail to the Program Co-Chair Tullio Vardanega. The workshop organiser shall also commit to preparing proceedings for timely publication in the Ada User Journal.

Exhibition

Commercial exhibitions will span the three days of the main conference. Vendors and providers of software products and services should contact the Exhibition Chair Rod Chapman as soon as possible for further information and for allowing suitable planning of the exhibition space and time.

Reduced Fees for Students

A small number of bursars are available for students who will (co-)author and present papers at the conference. A reduction of 25% will be made to the conference fee. Contact the Conference Chair Alan Burns for details.