Conference announcements

Latest News -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

From: "Hubert B. Keller" <keller@iai.fzk.de>
Newsgroups: de.sci.informatik.misc,ger.ct,fj-lang.ada,de.sci.ing.misc,
  comp.lang.ada,fr.comp.lang.ada,comp.object,comp.os.vxworks,
  comp.programming,comp.realtime,comp.software-eng,sci.engr.safety,
  alt.aviation.safety,comp.software,comp.sw,comp.sw.components,
  di.general,ch.general,ch.si.general,epfl.general,news.announce
Subject: Latest news on Ada Europe 2000 - 5th International Conference
  on Reliable Software Technologies
Date: Thu, 08 Jun 2000 09:07:27 +0200
Organization: Forschungszentrum Karlsruhe GmbH

Please excuse multiple copies.

**********************************************************************************
5th International Conference on Reliable Software Technologies
                Ada-Europe 2000
June 26-30, 2000, Potsdam (Berlin), Germany

**********************************************************************************
This e-mail is to give latest information about
- tutorials
- conference venue (Potsdam, Berlin, World Exhibition EXPO 2000 Hannover)

For up-to-date information on the programme, the tutorials, invited speakers, and
daily schedules, please visit http://www.ada-europe.org/conference2000.html
In case of accessing problems or to get a written copy of the Advance Programme,
please send e-mail to: keller@iai.fzk.de

**************************************************************************************
For details about Invited Speakers and Technical Papers see:
http://www.ada-deutschland.de/AE2000/prog/index4.html

**************************************************************************************

Tutorials * Tutorials * Tutorials * Tutorials * Tutorials * Tutorials * Tutorials *

Tutorial 1:
Brosgol, Ben, Java for Ada Programmers

Tutorial 2:
Gonzalez Harbour, Michael, Real-Time POSIX

Tutorial 3 (modified!):
Cook, David and Dupaix, Les, Ada95 Features (also valuable for Beginners)

Tutorial 4: Hausen, Hans-Ludwig, Software Metrology Basics - Measurement, Assessment
and Certification of Procedures, Objects and Agents

Tutorial 5: Rosen, Jean-Pierre, The HOOD 4 design method

Tutorial 6: Tian, Jeff, Tree-Based Reliability Models (TBRMs) for Early Reliability
Measurement and Improvement

Tutorial 7: Heaney, Matthew, Implementing Design Patterns in Ada95

Tutorial 8: Harbaugh John, High Integrity Ada Tasking

Tutorial 12: Gasperoni, Franco, Developing Ada Applications for the Java Platform
with JGNAT

For details see:
http://www.ada-deutschland.de/AE2000/tutorials/index4.html

**************************************************************************************
--> Conference Venue

Potsdam is the capital of the state Brandenburg and situated a few miles west of Berlin,
the capital of Germany. Both cities offer many historic and modern attractions and an
exciting environment to visitors.
The venue of the conference is the hotel "Seminaris" specializing in conferences and
meetings. It is situated at the waterfront of a picturesque lake and near the world-famous
palace "Sanssouci".
Social events on Tuesday and Wednesday, including a musical appearance of "Lady Ada",
round out a week well spent to catch up on the latest developments in reliable software
technologies.

--> EXPO 2000

The world exhibition EXPO 2000 takes place in Hannover during the Ada Europe 2000 conference.
Hannover is to reach within a few hours by train. So take the chance and visit the EXPO 2000.

Travel information may be found at:
http://www.ada-deutschland.de/AE2000/conf_site/index4.html

***************************************************************************************
--> Sponsors

The conference is supported and sponsored by
Ada Europe, Ada Deutschland e.V., ACM SIGAda, Gesellschaft für Informatik e.V.,
DFG (German Research Foundation), Forschungszentrum Karlsruhe, Hotel Seminaris
ACT Europe, Aonix, CAS GmbH, CSC PLOENZKE, DDC-I, Green Hills, Information Processing Ltd.,
PeerLogic, PolySpace, Praxis Critical Systems and Rational.
***************************************************************************************

Call for Participation -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

Date:         Wed, 31 May 2000 10:23:39 +0200
From: "Hubert B. Keller" <keller@iai.fzk.de>
Subject:      Ada Europe 2000 - 5th International Conference on Reliable
              Software Technologies
X-To:         SIGAda-Announce@ACM.ORG, ada-list@ACM.ORG
To: TEAM-ADA@acm.org

Please excuse multiple copies.

**********************************************************************************
5th International Conference on Reliable Software Technologies
                Ada-Europe 2000
June 26-30, 2000, Potsdam (Berlin), Germany

**********************************************************************************
This e-mail is to give information about
- invited speakers
- technical papers
- tutorials
- associated meetings
- conference venue (Potsdam, Berlin, World Exhibition EXPO 2000 Hannover)
- exhibition and sponsors

For up-to-date information on the programme, the tutorials, invited speakers, and
daily schedules, please visit http://www.ada-europe.org/conference2000.html
In case of accessing problems or to get a written copy of the Advance Programme,
please send e-mail to: keller@iai.fzk.de


**************************************************************************************
--> Invited Speakers

Tuesday
Support of technology development in the Information Society
Rainer Zimmermann
Head of Unit E2, European Commission,
DG Information Society, Brussels

Wednesday
Kingcat MCAS - Monitoring, Control and Alarm System for a luxury motor yacht
implemented in Ada and Java
Reto Weiss
Kingcat MCAS Project Manager/Software Engineer,
Paranor AG, Switzerland

Thursday
Ada after 10 years of usage - is there a commercial future?
Bryan Pflug
Chief Engineer, Simulation & Software Engineering,
Boeing Commercial Airplanes, Seattle, USA

**************************************************************************************
--> Technical Papers

The technical programme includes beside the keynote addresses, 13 session papers by the
international community with refereed contributions from Argentina, Australia, Austria,
Canada, China, France, Germany, Italy, Japan, Norway, Spain, Sweden, Switzerland,
United Kingdom and the USA, additional two sessions with short presentations on various
interesting topics, and two sessions, in which vendors present their commercial products.
The proceedings of the conference will be published in the LNCS Series by Springer.
For details see:
http://www.ada-deutschland.de/AE2000/prog/index4.html

**************************************************************************************
--> Tutorials

Tutorial 1:
Brosgol, Ben, Java for Ada Programmers

Tutorial 2:
Gonzalez Harbour, Michael, Real-Time POSIX

Tutorial 3A:
Cook, David and Dupaix, Les, Ada95 for Beginners
Tutorial 3B: Cook, David and Dupaix, Les, Ada95 for Ada83 Programmers

Tutorial 4: Hausen, Hans-Ludwig, Software Metrology Basics - Measurement, Assessment
and Certification of Procedures, Objects and Agents

Tutorial 5: Rosen, Jean-Pierre, The HOOD 4 design method

Tutorial 6: Tian, Jeff, Tree-Based Reliability Models (TBRMs) for Early Reliability
Measurement and Improvement

Tutorial 7: Heaney, Matthew, Implementing Design Patterns in Ada95

Tutorial 8: Harbaugh John, High Integrity Ada Tasking

Tutorial 9: Briot, Emmanuel, GtkAda, an Ada95 object-oriented graphic toolkit

Tutorial 10: Rybin, Sergey and Fofanov, Vasily, Building Ada development tools
with ASIS for-GNAT

Tutorial 11: Leringe, Örjan, Windows development with Ada

Tutorial 12: Gasperoni, Franco, Developing Ada Applications for the Java Platform
with JGNAT

For details see:
http://www.ada-deutschland.de/AE2000/tutorials/index4.html

**************************************************************************************
--> Associated Meetings

Ada-Europe
Ada Europe Board (closed), Monday, 26th
Ada Europe General Assembly, Tuesday, 27th
Ada Europe Board (closed), Thursday, 29th

Ada Deutschland
Gi FG 2.1.5 Ada, Monday 26th
Förderverein Ada Deutschland e.V., Monday 26th

HOOD User Forum
Hood User Forum, Friday, 30th (see special link)

ISO WG9 (ISO/IEC JTC1/SC22/WG9)
The 38th meeting of the ISO Working Group 9 (closed),
Friday, 30th (see home page)

Ada Rapporteur Group (ISO/IEC JTC1/SC22/WG9/ARG)
The 11th meeting of the ARG (closed), Friday, 30th until Sunday,
2nd (see information page)

Details may be found at:
http://www.ada-deutschland.de/AE2000/prog/index4.html

**************************************************************************************
--> Conference Venue

Potsdam is the capital of the state Brandenburg and situated a few miles west of Berlin,
the capital of Germany. Both cities offer many historic and modern attractions and an
exciting environment to visitors.
The venue of the conference is the hotel "Seminaris" specializing in conferences and
meetings. It is situated at the waterfront of a picturesque lake and near the world-famous
palace "Sanssouci".
Social events on Tuesday and Wednesday, including a musical appearance of "Lady Ada",
round out a week well spent to catch up on the latest developments in reliable software
technologies.

--> EXPO 2000

The world exhibition EXPO 2000 takes place in Hannover during the Ada Europe 2000 conference.
Hannover is to reach within a few hours by train. So take the chance and visit the EXPO 2000.

Travel information may be found at:
http://www.ada-deutschland.de/AE2000/conf_site/index4.html

***************************************************************************************
--> Exhibition

An exhibition concurrent to the conference provides an opportunity to explore the latest
developments by the commercial marketplace. The conference will be accompanied by a three-day
commercial exhibition on June 27, 28 and 29 with Vendors of software products and services.
On Tuesday and Wednesday afternoon a vendor session will take place.
Exhibitors:
ACT Europe, Aonix, CAS GmbH, DDC-I, Green Hills, Information Processing Ltd., Irvine,
PeerLogic, PolySpace, Praxis Critical Systems and Rational

***************************************************************************************
--> Sponsors

The conference is supported and sponsored by
Ada Europe, Ada Deutschland e.V., ACM SIGAda, Gesellschaft für Informatik e.V.,
DFG (German Research Foundation), Forschungszentrum Karlsruhe, Hotel Seminaris
ACT Europe, Aonix, CAS GmbH, CSC PLOENZKE, DDC-I, Green Hills, Information Processing Ltd.,
PeerLogic, PolySpace, Praxis Critical Systems and Rational.
***************************************************************************************

Early Registration Deadline -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

Newsgroups: de.sci.informatik.misc,ger.ct,fj-lang.ada,de.sci.ing.misc,
  fr.comp.lang.ada,comp.os.vxworks,sci.engr.safety,alt.aviation.safety,
  di.general,news.announce
Subject: Early booking - Call for Participation - Ada Europe 2000
Date: Thu, 18 May 2000 17:19:56 +0200
Organization: Forschungszentrum Karlsruhe GmbH

Call for Participation - Conference and Tutorials

5th International Conference on Reliable Software Technologies
                Ada-Europe 2000
June 26-30, 2000Potsdam (Berlin), Germany

Dead-line for early registration extended until 24th of May!

Please send registration via fax to the Conference secretariat until 24th of May
to get reduced early booking fees:
Christine Harms, c/o GMD, Schloss Birlinghoven, D-53754 Sankt Augustin, Germany
Tel.: ++49-2241/14-2473 Fax: ++49-2241/14-2472 email: christine.harms@gmd.de

For up-to-date information on the programme, the tutorials, invited speakers, and
daily schedules, please visit http://www.ada-europe.org/conference2000.html
To get a written copy of the Advance Programme, please send e-mail to: keller@iai.fzk.de

[ 87 lines deleted; see updated version above -- dc ]

Tutorial Information -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

From: "Hubert B. Keller" <keller@iai.fzk.de>
Newsgroups: de.sci.informatik.misc,ger.ct,fj-lang.ada,de.sci.ing.misc,
  comp.lang.ada,fr.comp.lang.ada,comp.object,comp.os.vxworks,
  comp.programming,comp.realtime,comp.software-eng,sci.engr.safety,
  alt.aviation.safety,comp.software,comp.sw,comp.sw.components,
  di.general,ch.general,ch.si.general,epfl.general,news.announce
Subject: Ada Europe 2000 - Tutorial information - 5th International
  Conference on Reliable Software Technologies
Date: Sun, 07 May 2000 13:22:37 +0200
Organization: Forschungszentrum Karlsruhe GmbH

Please excuse multiple copies.
**********************************************************************************
5th International Conference on Reliable Software Technologies
                Ada-Europe 2000
June 26-30, 2000Potsdam (Berlin), Germany

The 5th International Conference on Reliable Software Technologies (Ada-Europe 2000)
will take place in Potsdam (near Berlin), Germany, from June 26 to 30, 2000.
The conference offers a technical programme and exhibition from Tuesday to Thursday,
and a series of tutorials on Monday and Friday.

**********************************************************************************
For up-to-date information on the programme, the tutorials, invited speakers, and
daily schedules, please visit http://www.ada-europe.org/conference2000.html
In case of accessing problems or to get a written copy of the Advance Programme,
please send e-mail to: keller@iai.fzk.de
**********************************************************************************
T U T O R I A L S - L e a r n i n g  f o r   t h e  f u t u r e !
The tutorials on Monday and Friday offer an excellent opportunity for obtaining
in-depth knowledge in important technologies of the field.

Tutorial 1:
Brosgol, Ben, Java for Ada Programmers
(full day, intermediate)
This tutorial examines the Java language and assesses how it meets the goals of
portability, adaptability and safety, using comparisons with Ada in presenting
the semantics. The main focus of the tutorial will be on Java's Object-Oriented
Programming features, since these are the underpinnings of almost the entire
language as well as the API.

Tutorial 2:
Gonzalez Harbour, Michael, Real-Time POSIX,
(full day, introductory)
This tutorial discusses the main real-time operating system services defined in
the POSIX standards. These services allow application developers to write portable
applications that meet their real-time requirements. The tutorial reviews the
different services from the perspective of an Ada application, and discusses
which of the different options and services are more suitable for developing
real-time applications in Ada.

Tutorial 3A:
Cook, David and Dupaix, Les, Ada95 for Beginners,
(half day, introductory)
Tutorial 3B: Cook, David and Dupaix, Les, Ada95 for Ada83 Programmers,
(half day, introductory)
(Depending on actual requests for tutorial 3A, tutorial 3B may be moved to the
morning session)
These two half-day tutorials will introduce attendees to the capabilities of the
Ada 95 programming language. It will cover the basic syntax of the core (Ada 83)
language in the morning, and then go on to show the improvements and enhancements
of Ada 95. If you already know Ada 83 and just wish to learn about the Ada95
enhancements, then you do not need to attend the morning portion of the tutorial.

Tutorial 4: Hausen, Hans-Ludwig, Software Metrology Basics - Measurement, Assessment
and Certification of Procedures, Objects and Agents,
(half day, intermediate)
The overall aim of the tutorial is to make the attendees familiar with the methods
and principles of software metrics for procedural, object-oriented and agent-based
systems. Attendee will exercise proven techniques for goal directed measurement,
scaling and assessment as part of an industry proven, standardized procedure for
concurrent software quality assurance and final evaluation for certification.

Tutorial 5: Rosen, Jean-Pierre, The HOOD 4 design method
(half day, intermediate)
HOOD (Hierarchical Object Oriented Design) is a software design method, which is used
after the requirement analysis activities and covers architectural design, detailed
design and coding. The method unifies and integrates object orientation with advanced
software engineering concepts and notations.

Tutorial 6: Tian, Jeff, Tree-Based Reliability Models (TBRMs) for Early Reliability
Measurement and Improvement,
(half day, intermediate)
This tutorial surveys recent developments in software reliability engineering, particularly
recent work in using tree-based reliability models (TBRMs) in analysing product
reliability and identifying high risk areas for focused reliability improvement for
large software systems.

Tutorial 7: Heaney, Matthew, Implementing Design Patterns in Ada95,
(full day, intermediate)
Design pattern technology is a rapidly growing movement within the software community.
This tutorial discusses several design patterns, with a focus on the Ada95 implementation
issues. It will also present myriad idioms for object-oriented programming and task
synchronization.

Tutorial 8: Harbaugh John, High Integrity Ada Tasking,
(full day, intermediate)
In this tutorial, you will learn how to write concurrent (multithreaded) applications
that are consistent with the Ravenscar profile and use the Ada95 programming language.
You will also learn how to assure that real-time programs will meet their deadlines
using Rate Monotonic Analysis.

Tutorial 9: Briot, Emmanuel, GtkAda, an Ada95 object-oriented graphic toolkit,
(half day, introductory to intermediate)
After an overview of the GtkAda library and its widget set, this tutorial will
demonstrate how to use the GtkGlade GUI builder to create your own graphical
applications. It will also cover the issues of the design of the library, first
as a thin binding to the underlying C toolkit, then as a fully object-oriented
Ada set of packages and generic packages.

Tutorial 10: Rybin, Sergey and Fofanov, Vasily, Building Ada development tools
with ASIS for-GNAT,
(half day, introductory)
The tutorial will explain how you can build your own development and program
analysis tools when working with GNAT. The existing GNAT toolset and different
approaches to tool development will be presented. The tutorial will explain how
you can build your own development and program analysis tools when working with
GNAT. The existing GNAT toolset and different approaches to tool development will
be presented.

Tutorial 11: Leringe, Örjan, Windows development with Ada,
(half day, intermediate)
This tutorial presents how Windows applications can be developed using Ada 95 and
the principals behind MFC and an Ada binding which gives access to all the features
of MFC. The tutorial will also provide an overview of other existing tools and
bindings making Windows development with Ada easier.

Tutorial 12: Gasperoni, Franco, Developing Ada Applications for the Java Platform
with JGNAT,
(half day, intermediate)
After an overview of the Java technology, this tutorial will focus on how to write
Ada applications and applets for the Java environment or Java processors using JGNAT,
the Ada 95 development environment for the Java platform. Seamless interoperability
between Ada and the Java programming language along with the use of the Java API
(Application Programming Interface) from Ada will be discussed in depth. The tutorial
will also cover issues involving concurrency and real-time programming.
**************************************************************************************
Conference Venue:
Potsdam is the capital of the state Brandenburg and situated a few miles west of Berlin,
the capital of Germany. Both cities offer many historic and modern attractions and an
exciting environment to visitors.
The venue of the conference is the hotel "Seminaris" specializing in conferences and
meetings. It is situated at the waterfront of a picturesque lake and near the world-famous
palace "Sanssouci".
Social events on Tuesday and Wednesday, including a musical appearance of "Lady Ada",
round out a week well spent to catch up on the latest developments in reliable software
technologies.
Travel information may be found at:
http://www.ada-deutschland.de/AE2000/conf_site/index4.html
***************************************************************************************
Sponsors:
The conference is supported and sponsored by Ada Europe, Ada Deutschland e.V., ACM SIGAda,
Gesellschaft für Informatik e.V., DFG (German Research Foundation), Forschungszentrum
Karlsruhe, ACT Europe, Aonix, CAS GmbH, Green Hills, Information Processing Ltd., Irvine,
PeerLogic, PolySpace, Praxis Critical Systems and Rational.
***************************************************************************************

Web Server -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

Newsgroups: comp.lang.ada
Subject: Server Ada Europe 2000 - 5th Conference on Reliable Software
	Technologies
Date: Tue, 02 May 2000 09:18:04 +0200
Organization: Forschungszentrum Karlsruhe GmbH

5th Conference on Reliable Software Technologies
    26-30 June 2000, Potsdam/Berlin, Germany

The server at
http://www.ada-deutschland.de/AE2000/prog/index4.html
is on-line again. Sorry for accessing problems.
Hubert Keller

2nd Call for Participation - Invited Speaker and Tutorial information -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

From: "Hubert B. Keller" <keller@iai.fzk.de>
Newsgroups: comp.lang.ada
Subject: 2nd Call for Participation - Ada Europe 2000, Invited Speaker
  and Tutorial information
Date: Sun, 23 Apr 2000 20:35:38 +0200
Organization: Forschungszentrum Karlsruhe GmbH

Please excuse multiple copies.

######################################################################################
2nd Call for Participation - Invited Speaker and Tutorial information

5th International Conference on Reliable Software Technologies
                Ada-Europe 2000
June 26-30, 2000Potsdam (Berlin), Germany

*************************************************************************************
For up-to-date information on the programme, the tutorials, invited speakers, and
daily schedules, please visit http://www.ada-europe.org/conference2000.html

To get a written copy of the Advance Programme, please send e-mail to: keller@iai.fzk.de
*************************************************************************************

The 5th International Conference on Reliable Software Technologies (Ada-Europe 2000)
will take place in Potsdam (near Berlin), Germany, from June 26 to 30, 2000.
The conference offers a technical programme and exhibition from Tuesday to Thursday,
and a series of tutorials on Monday and Friday.

The conference provides an international forum for researchers, developers and users
of reliable software technologies. Presentations and discussions cover applied and
theoretical work currently conducted to support the development and maintenance of
software systems.
The technical programme includes keynote addresses, session papers by the international
community with refereed contributions from Argentina, Australia, Austria, Canada, China,
France, Germany, Italy, Japan, Norway, Spain, Sweden, Switzerland, United Kingdom and
the USA, additional short presentations on various interesting topics, and two sessions,
in which vendors present their commercial products.
The proceedings of the conference will be published in the LNCS Series by Springer.
An exhibition concurrent to the conference provides an opportunity to explore the latest
developments by the commercial marketplace.
The tutorials on Monday and Friday offer an excellent opportunity for obtaining in-depth
knowledge in important technologies of the field.
******************************************************************************************

++++++++++++ Invited Speakers +++++++++++++++

Tuesday
Support of technology development in the Information Society
Rainer Zimmermann
Head of Unit E2, European Commission, DG Information Society, Brussels

Wednesday
Kingcat MCAS - Monitoring, Control and Alarm System for a luxury motor yacht
implemented in Ada and Java
Reto Weiss
Kingcat MCAS Project Manager/Software Engineer, Paranor AG, Switzerland

Thursday
Ada after 10 years of usage - is there a commercial future?
Bryan Pflug
Chief Engineer, Simulation & Software Engineering, Boeing Commercial Airplanes, Seattle, USA

*********************************************************************************************

[ 127 lines deleted; see updated info on tutorials,
  conference venue, and sponsors above -- dc ]

Call for Participation -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

Date:         Mon, 27 Mar 2000 16:30:18 +0200
From: "Hubert B. Keller" <keller@iai.fzk.de>
Subject:      Ada Europe 2000 - 5th Conf. on Reliable SW Technologies
To: TEAM-ADA@ACM.ORG

Please excuse multiple copies.

##############################################################

Call for Participation to the

5th International Conference on Reliable Software Technologies

           --  A d a  E u r o p e   2 0 0 0  --

           Germany, Potsdam, 26 - 30 June, 2000

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

 The technical programme of the Ada Europe conference is set up.
 Please find detailed information at:
        http://www.ada-deutschland.de/AE2000/index.html

 If you would like to receive a written programme,
        please send e-mail to: keller@iai.fzk.de

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

The 5th International Conference on Reliable Software Technologies will
take place in 2000 in Potsdam (near Berlin), Germany, from June 26 to
30, 2000. The conference offers a technical programme and exhibition
from Tuesday to Thursday, and a series of tutorials on Monday and
Friday.

The conference provides an international forum for researchers,
developers and users of reliable software technologies. Presentations
and discussions cover applied and theoretical work currently conducted
to support the development and maintenance of software systems.

The technical programme includes keynote addresses, session papers by
the international community with refereed contributions from Argentina,
Australia, Austria, Canada, China, France, Germany, Italy, Japan,
Norway, Spain, Sweden, Switzerland, United Kingdom and the USA.

The proceedings of the conference will be published in the LNCS Series
by Springer.

There will be additional short presentations on various interesting
topics and two sessions, in which vendors present their commercial
products.

An exhibition concurrent to the conference offers an opportunity to
explore the latest developments by the commercial marketplace.

The tutorials on Monday and Friday offer an excellent opportunity for
obtaining in-depth knowledge in important technologies of the field.

Potsdam is the capital of the state Brandenburg and situated a few
miles west of Berlin, the capital of Germany. Both cities offer many
historic and modern attractions and an exciting environment to
visitors. The venue of the conference is the hotel Seminaris
specializing in conferences and meetings.  It is situated at the
waterfront of a picturesque lake and near the world-famous palace
Sanssouci.  Social events on Tuesday and Wednesday, including a musical
appearance of Lady Ada, round out a week well spent to catch up on the
latest developments in reliable software technologies.

                            The conference is supported and sponsored by
              Ada-Europe, Ada Deutschland e.V., ACM SIGAda, Gesellschaft
    für Informatik e.V., Forschungszentrum Karlsruhe, ACT Europe, Aonix,
  CAS GmbH, Green Hills, Information Processing Ltd., Irvine, PeerLogic,
  Praxis Critical Systems and Rational.

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Dr. Hubert B. Keller          Forschungszentrum Karlsruhe
++49/7247/82-5756            - Technik und Umwelt -
Fax: -5730                        Institut für Angewandte Informatik
e-mail: keller@iai.fzk.de     Postfach 3640, 76021 Karlsruhe
Delivery Address:
Forschungszentrum Karlsruhe, Institut für Angewandte Informatik
Hermann-von-Helmholtz-Platz 1, D-76344 Eggenstein-Leopoldshafen
Germany

5th Conference on Reliable Software Technologies
    26-30 June 2000, Potsdam/Berlin, Germany

MICS Group - Machine Intelligence for Complex Systems Control
  http://www.iai.fzk.de/Institut/UI/INPRO/inpro.html
The real Real Time and OO-Language Ada95
  http://www.Ada-Deutschland.de/
The German Informatics Society
  http://www.gi-ev.de/
If mail problems, use ci-tec@ci-tec.de

2nd Call for Papers -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

From: "Hubert B. Keller" <keller@iai.fzk.de>
Newsgroups: comp.lang.ada,comp.compilers
Subject: CFP: Ada-Europe 2000 Conference
Date: 18 Oct 1999 23:43:39 -0400
Organization: Forschungszentrum Karlsruhe GmbH
Keywords: conference, Ada, CFP

2nd CALL FOR PAPERS
+++++++++++++++++++

5th International Conference on Reliable Software Technologies -
                        Ada-Europe 2000
26 - 30 June 2000, Potsdam (near Berlin), Germany

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

General Information
The 5th International Conference on Reliable Software Technologies
(Ada-Europe'2000) will take place in the year 2000 at the Seminaris
Hotel, Potsdam, near Berlin, Germany. The full conference will comprise
a three-day technical programme and exhibition from Tuesday to Thursday,
and parallel workshops and tutorials on Monday and Friday.

Schedule
29 November 1999:       Submission of extended abstracts and
                        tutorial/workshop/poster proposals
25 January 2000:        Notification to authors
18 March 2000:          Final papers (camera-ready) required
26-30 June 2000:        Conference

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 by e-mail to one of the Programme
Co-Chairs in PDF, Postscript or ASCII format. Submissions by other
electronic formats, such as a word processor source file, or by fax are
not accepted. For more information please see the conference web page.

If electronic submission is not available, please send five paper copies
to one of the Program Co-Chairs. The first page should identify the
submission as a paper or extended abstract and should include: 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. To enable publication of the accepted
papers before the conference, strict adherence to the dates of the
schedule is essential.

Proceedings
The proceedings will be published in the Lecture Notes in Computer
Science (LNCS) by Springer, and be available at the start of the
conference.

Awards
There will be awards, sponsored by Ada-Europe and Ada-Germany:

Best paper award: 500 Euros
Best presentation award: 500 Euros
Best poster award: 250 Euros

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.
For papers, tutorials, poster and workshop proposals, the topics of
interest include, but are not limited to:

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

Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analyses, 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 83 or
Ada 95; Management Approaches, Metrics, Comparisons with past or
parallel Experiences in non-Ada Projects.

Education and Training.

Case Studies and Experiments.
Papers are also sought for a special session on Lessons Learned from the
Y2000 experience.



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.
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 one of the Programme Co-Chairs.

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 short presentations (5 minutes)
will be accommodated. Proposals should be submitted by e-mail to the
Poster Chair Michael Tonndorf.

Exhibition
The conference will be accompanied by a three-day commercial exhibition
on June 27, 28 and 29. Vendors of software products and services should
contact the Exhibition Chair at the earliest convenience for further
information and to ensure their inclusion.

Conference Chair
Hubert B. Keller

Programme Co-Chairs
Hubert B. Keller
Forschungszentrum Karlsruhe
Inst. of Applied Computer Science
P.O Box 3640
D-76021 Karlsruhe, Germany
keller@iai.fzk.de

Erhard Ploedereder
University of Stuttgart
Institute of Informatics
Breitwiesenstr. 20-22
D-70656 Stuttgart, Germany
ploedere@informatik.uni-stuttgart.de

Tutorial Chair
Theodor Tempelmeier
FH Rosenheim
Dept. of Informatics
Marienberger Strasse 26
D-83024 Rosenheim, Germany
tt@extern.lrz-muenchen.de

Exhibition Chair
Peter Dencker
Ada Deutschland
Durlacher Allee 95
D-76137 Karlsruhe, Germany

fax:   +49 +(721) 98653-98
dencker@aonix.de

Poster Chair
Michael Tonndorf
MichaelTonndorf@csi.com

Electronic Submissions -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

Date: Mon, 04 Oct 1999 09:46:28 +0200
From: "Hubert B. Keller" <keller@iai.fzk.de>
To: seworld@cs.colorado.edu
Subject: (SEWORLD) 5th Int. Conf. on Reliable Software Technologies


2nd Call for papers (electronic submission is open)

5th Int. Conf. on Reliable Software Technologies,
June 26 - 30, 2000, Potsdam/Berlin

Please find the new UIRL at:
http://www.ada-deutschland.de/AE2000/index.html

The call for Papers is located at:
http://www.ada-deutschland.de/AE2000/cfp/index2.html

The web site will updated continuously.
Regards
Hubert B. Keller
--
________________________________________________________________

Dr. Hubert B. Keller          Forschungszentrum Karlsruhe
++49/7247/82-5756            - Technik und Umwelt -
Fax: -5730                        Institut für Angewandte Informatik
e-mail: keller@iai.fzk.de     Postfach 3640, 76021 Karlsruhe

5th Conference on Reliable Software Technologies
    26-30 June 2000, Potsdam/Berlin, Germany

MICS Group - Machine Intelligence for Complex Systems Control
  http://www.iai.fzk.de/Institut/UI/INPRO/inpro.html
The real Real Time and OO-Language Ada95
  http://www.Ada-Deutschland.de/
The German Informatics Society
  http://www.gi-ev.de/
If mail problems, use ci-tec@ci-tec.de

Call for Papers -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

From: "Hubert B. Keller" <keller@iai.fzk.de>
Newsgroups: comp.lang.ada
Subject: Call for Papers - 5th Int. Conf. on Reliable Software Technologies
Date: Wed, 04 Aug 1999 10:22:17 +0200
Organization: Forschungszentrum Karlsruhe GmbH

CALL FOR PAPERS
+++++++++++++++

5th International Conference on Reliable Software Technologies
26 - 30 June 2000
Potsdam (Berlin), Germany

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

General Information
The 5th International Conference on Reliable Software Technologies
(Ada-Europe=922000) will take place in the year 2000 at the Seminaris
Hotel, Potsdam, near Berlin, Germany. The full conference will comprise
a three-day technical programme and exhibition from Tuesday to Thursday,
and parallel workshops and tutorials on Monday and Friday.

Schedule
29 November 1999:       Submission of extended abstracts and
                        tutorial/workshop/poster proposals
25 January 2000:        Notification to authors
18 March 2000:          Final papers (camera-ready) required
26-30 June 2000:        Conference

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 by e-mail to one of the Programme
Co-Chairs in PDF, Postscript or ASCII format. Submissions by other
electronic formats, such as a word processor source file, or by fax are
not accepted. For more information please see the conference web page.
If electronic submission is not available, please send five paper copies
to one of the Program Co-Chairs. The first page should identify the
submission as a paper or extended abstract and should include: 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. To enable publication of the accepted
papers before the conference, strict adherence to the dates of the
schedule is essential.

Proceedings
The proceedings will be published in the Lecture Notes in Computer
Science (LNCS) by Springer, and be available at the start of the
conference.

Awards
There will be awards, sponsored by Ada-Europe and Ada-Germany:
Best paper award: 500 Euros
Best presentation award: 500 Euros
Best poster award: 250 Euros

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.
For papers, tutorials, poster and workshop proposals, the topics of
interest include, but are not limited to:
Management of Software Development and Maintenance: Methods, Techniques
and Tools.
Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analyses, 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 83 or
Ada 95; Management Approaches, Metrics, Comparisons with past or
parallel Experiences in non-Ada Projects.
Education and Training.
Case Studies and Experiments.
Papers are also sought for a special session on Lessons Learned from the
Y2000 experience.

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.
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 one of the Programme Co-Chairs.

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 short presentations (5 minutes)
will be accommodated. Proposals should be submitted by e-mail to the
Poster Chair Michael Tonndorf.

Exhibition
The conference will be accompanied by a three-day commercial exhibition
on June 27, 28 and 29. Vendors of software products and services should
contact the Exhibition Chair at the earliest convenience for further
information and to ensure their inclusion.

Conference Chair
Hubert B. Keller

Programme Co-Chairs
Hubert B. Keller
Forschungszentrum Karlsruhe
Inst. of Applied Computer Science
P.O Box 3640
D-76021 Karlsruhe, Germany
keller@iai.fzk.de

Erhard Ploedereder
University of Stuttgart
Institute of Informatics
Breitwiesenstr. 20-22
D-70656 Stuttgart, Germany
ploedere@informatik.uni-stuttgart.de

Tutorial Chair
Theodor Tempelmeier
FH Rosenheim
Dept. of Informatics
Marienberger Strasse 26
D-83024 Rosenheim, Germany
tt@extern.lrz-muenchen.de

Exhibition Chair
Peter Dencker
Ada Deutschland
Durlacher Allee 95
D-76137 Karlsruhe, Germany
fax:   +49 +(721) 98653-98
dencker@aonix.de

Poster Chair
Michael Tonndorf
MichaelTonndorf@csi.com
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Regards
Hubert B. Keller

Announcement -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

Date: Mon, 12 Jul 1999 16:37:03 +0200
From: "Hubert B. Keller" <keller@iai.fzk.de>
To: seworld@cs.colorado.edu
Subject: (SEWORLD) Re: 5th International Conference on Reliable SW
  Technologies


Announcement:
5th International Conference on Reliable Software Technologies
26th - 30th of June, 2000, Potsdam (Berlin) Germany
Call for Papers

Please find enclosed the Call for papers for the above mentioned
conference. We would like to have it announced at your web side.
Thanks.
Regards
Hubert B. keller

URL:
Cfp: http://www.ada-europe.org/Potsdam/cfp210699.pdf
Conf.: http://www.ada-europe.org/conference2000.html
--
________________________________________________________________

Dr. Hubert B. Keller          Forschungszentrum Karlsruhe
++49/7247/82-5756            - Technik und Umwelt -
Fax: -5730                        Institut für Angewandte Informatik
e-mail: keller@iai.fzk.de     Postfach 3640, 76021 Karlsruhe

5th Conference on Reliable Software Technologies
    26-30 June 2000, Potsdam/Berlin, Germany

MICS Group - Machine Intelligence for Complex Systems Control
  http://www.iai.fzk.de/Institut/UI/INPRO/inpro.html
The real Real Time and OO-Language Ada95
  http://www.Ada-Deutschland.de/
The German Informatics Society
  http://www.gi-ev.de/
If mail problems, use ci-tec@ci-tec.de

Date of Event -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

The date for the Ada-Europe'2000 Conference has been set at the last week of June, i.e. June 26 - 30, 2000.

Ada-Europe Board
Washington D.C., November 11, 1998

Preliminary Announcement -
5th International Conference on Reliable Software Technologies - Ada-Europe'2000

The Ada-Europe'2000 Conference will be held in Potsdam near Berlin, Germany.

Exact dates still need to be determined, but will most probably be either the last week of June (June 26 - 30, 2000) or the last week of May (May 23 - 27, 2000).

Ada-Europe Board
Uppsala, June 9, 1998

To the Ada-Belgium home page.

Last update: 2000/06/11.