CFP: Reliable Software Technologies - Ada-Europe'2001 - comp.lang.ada

CFP: Reliable Software Technologies - Ada-Europe'2001 - comp.lang.ada

[Andrew Hately]

------------------------------------------------------------------------

                             CALL FOR PAPERS

                     6th International Conference on

            Reliable Software Technologies - Ada-Europe'2001

                    14 - 18 May 2001, Leuven, Belgium

              http://www.ada-europe.org/conference2001.html

------------------------------------------------------------------------

Sponsored by Ada-Europe, organized by Ada-Belgium and K.U.Leuven,
in cooperation with ACM SIGAda (approval pending).

General Information
-------------------
The 6th International Conference on Reliable Software Technologies
(Ada-Europe'2001) will take place in the year 2001 in the historic
university town of Leuven, near Brussels, Belgium.  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.

For more information, visit the conference Web site at
http://www.ada-europe.org/conference2001.html

Schedule
--------
- 16 October 2000: Submission of papers, extended abstracts and
  tutorial/workshop/poster proposals
- 11 December 2000: Notification to authors
- 11 January 2001: Full papers required for accepted extended abstracts
- 12 February 2001: Final papers (camera-ready) required
- 14-18 May 2001: Conference

Topics
------
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 e-business and Internet-based
applications, including the use of Ada in this realm.

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

+ E-business and Internet-based applications (special session).

+ Management of Software Development and Maintenance: Methods,
  Techniques and Tools.

+ Software Quality: Quality Management and Assurance, Risk Analysis,
  Program Analysis, Verification, Validation and 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 or 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 and 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.

Submissions
-----------
Authors are invited to submit original contributions.  Submissions
should be in English.  An extended abstract (4-6 pages) or, preferably,
the full paper (up to 12 pages) should be sent using the Web submission
form.  For more information please see the conference Web page:
http://www.ada-europe.org/conference2001.html

Submissions should be in PDF, Postscript or ASCII format, 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 extended abstract or paper
by e-mail to the Program Co-Chair Dirk Craeynest,
mailto:Dirk.Craeynest@cs.kuleuven.ac.be .  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 as a paper, extended abstract or poster,
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 of
extended abstracts must be prepared to submit a full version of their
paper before January 11, 2001.

Proceedings
-----------
The proceedings will be published in the Lecture Notes in Computer
Science (LNCS) series by Springer, and will be available at the start
of the conference.  See the LNCS Authors Instructions page
( http://www.springer.de/comp/lncs/authors.html ).

Awards
------
There will be honorary awards for the best paper and the best
presentation.  See the Ada-Europe Prizes page for previous winners:
http://www.ada-europe.org/prizes.html

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 experience and background.
Proposals should be submitted by e-mail to the Tutorial Chair Luc
Bernard, mailto:lbn@offis.be .
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 Alfred Strohmeier,
mailto:Alfred.Strohmeier@epfl.ch .

Call for Posters
----------------
Poster presentations are invited exclusively from academia on on-going
research projects, new concepts, and system implementations.  An
exhibition area will be provided and presentations will be accommodated.
Proposals should be sent via the Web submission form, mentioning
"Poster" in the title.

Exhibition
----------
The conference will be accompanied by a three-day commercial exhibition
on May 15, 16 and 17.  Vendors of software products and services should
contact at their earliest convenience the Exhibition Chair Yvan Barbaix,
mailto:Yvan.Barbaix@cs.kuleuven.ac.be , for further information and to
ensure their inclusion.

------------------------------------------------------------------------

Organization
============

Conference Chair
----------------
Karel De Vlaminck
K.U.Leuven
Department of Computer Science
Celestijnenlaan 200 A
B-3001 Leuven (Heverlee), Belgium
Karel.DeVlaminck@cs.kuleuven.ac.be

Program Co-Chairs
-----------------
Dirk Craeynest
OFFIS nv/sa & K.U.Leuven
Weiveldlaan 41/32
B-1930 Zaventem, Belgium
Dirk.Craeynest@cs.kuleuven.ac.be

Alfred Strohmeier
Swiss Federal Institute of Technology in Lausanne (EPFL)
Department of Computer Science, Software Engineering Lab
CH-1015 Lausanne EPFL, Switzerland
Alfred.Strohmeier@epfl.ch

Tutorial Chair
--------------
Luc Bernard
OFFIS nv/sa
Weiveldlaan 41/32
B-1930 Zaventem, Belgium
lbn@offis.be

Exhibition Chair
----------------
Yvan Barbaix
K.U.Leuven
Department of Computer Science
Celestijnenlaan 200 A
B-3001 Leuven (Heverlee), Belgium
Phone +32-16-32.75.75, Fax +32-16-32.79.96
Yvan.Barbaix@cs.kuleuven.ac.be

Publicity Chair
---------------
Andrew Hately
Eurocontrol - CFMU
Raketstraat 96

B-1130 Brussel (Haren), Belgium
Andrew.Hately@eurocontrol.be

Finance Co-Chairs
-----------------
Karel De Vlaminck, K.U.Leuven
Karel.DeVlaminck@cs.kuleuven.ac.be

Marc Gobin
Royal Military Academy
Renaissancelaan 30
B-1000 Brussel, Belgium
Marc.Gobin@info.rma.ac.be

Local Organization Chair
------------------------
Yolande Berbers
K.U.Leuven
Department of Computer Science
Celestijnenlaan 200 A
B-3001 Leuven (Heverlee), Belgium
Yolande.Berbers@cs.kuleuven.ac.be

Organizing Committee
--------------------
Karel De Vlaminck, Dirk Craeynest, Yolande Berbers

Program Committee
-----------------
�ngel �lvarez, Technical University of Madrid, Spain
Lars Asplund, Uppsala University, Sweden
Ted Baker, Florida State University, USA
Yvan Barbaix, K.U.Leuven, Belgium
St�phane Barbey, Paranor AG, Switzerland
John Barnes, UK
Yolande Berbers, K.U.Leuven, Belgium
Luc Bernard, OFFIS nv/sa, Belgium
Guillem Bernat, University of York, UK
Johann Blieberger, Technical University Vienna, Austria
Jim Briggs, University of Portsmouth, UK
Bernd Burgstaller, Technical University Vienna, Austria
Alan Burns, University of York, UK
Agusti Canals, CS-SI, France
Ulf Cederling, Vaxjo University, Sweden
Dirk Craeynest, OFFIS nv/sa & K.U.Leuven, Belgium
Alfons Crespo, Universidad Polit�cnica de Valencia, Spain
Juan A. de la Puente, Universidad Polit�cnica de Madrid, Spain
Peter Dencker, Aonix GmbH, Germany
Raymond Devillers, Universit� Libre de Bruxelles, Belgium
Michael Feldman, George Washington University, USA
Jes�s M. Gonz�lez-Barahona, Universidad Rey Juan Carlos, Spain
Michael Gonz�lez Harbour, Universidad de Cantabria, Spain
Gerhard Goos, University of Karlsruhe, Germany
Thomas Gruber, Austrian Research Centers, Austria
Helge Hagenauer, University of Salzburg, Austria
G�nter Hommel, Technische Universit�t Berlin, Germany
Yvon Kermarrec, ENST Bretagne, France
J�rg Kienzle, Swiss Fed. Inst.of Technology Lausanne, Switzerland
Fabrice Kordon, Universit� P.& M. Curie, France
Bj�rn K�llberg, SaabTech, Sweden
Albert Llamos�, Universitat de les Illes Balears, Spain
Kristina Lundqvist, Uppsala University, Sweden
Franco Mazzanti, Ist. di Elaborazione della Informazione, Italy
John W. McCormick, University of Northern Iowa, USA
Hugo Moen, Navia Aviation AS, Norway
Pierre Morere, Aonix, France
Paolo Panaroni, Intecs Sistemi, Italy
Laurent Pautet, ENST Paris University, France
Erhard Pl�dereder, University of Stuttgart, Germany
Ceri Reid, Coda Technologies, UK
Jean-Marie Rigaud, Universit� Paul Sabatier, France
Sergey Rybin, Moscow State University, Russia & ACT Europe, France
Edmond Schonberg, New York University & ACT, USA
Alfred Strohmeier, Swiss Fed. Inst. of Technology Lausanne, Switzerland
Matthias Suilmann, CCI, Germany
Jan van Katwijk, Delft University of Technology, the Netherlands
Stef Van Vlierberghe, OFFIS nv/sa, Belgium
Tullio Vardanega, European Space Agency, the Netherlands
Ian Wild, Eurocontrol, Belgium
J�rgen Winkler, Friedrich-Schiller-Universit�t, Germany
Thomas Wolf, Paranor AG, Switzerland

Advisory Board
--------------
Brad Balfour, Objective Interface, USA
Ben Brosgol, Ada Core Technologies, USA
Roderick Chapman, Praxis Critical Systems, UK
Robert Dewar, Ada Core Technologies, USA
Franco Gasperoni, ACT Europe, France
Ian Gilchrist, IPL Information Processing, UK
Mike Kamrad, Top Layer Networks, USA
Hubert B. Keller, Forschungszentrum Karlsruhe, Germany
Rudolf Landwehr, CCI, Germany
John Robinson, John Robinson & Associates, UK
Jean-Pierre Rosen, Adalog, France
Bill Taylor, Rational Software, UK
Theodor Tempelmeier, Rosenheim University of Applied Sciences, Germany
Joyce Tokar, DDC-I, USA
Andy Wellings, University of York, UK

------------------------------------------------------------------------

05 July 2000, DC/AS/JK, based on 8/A4 + modifications in pdf version