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 speak=
ers, and =
daily schedules, please visit http://www.ada-europe.org/conference2000.ht=
ml
In case of accessing problems or to get a written copy of the Advance Pro=
gramme, =
please send e-mail to: [log in to unmask]
*************************************************************************=
*************
--> 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 ya=
cht =
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, Austr=
alia, Austria, =
Canada, China, France, Germany, Italy, Japan, Norway, Spain, Sweden, Swit=
zerland, =
United Kingdom and the USA, additional two sessions with short presentati=
ons on various =
interesting topics, and two sessions, in which vendors present their comm=
ercial 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 R=
eliability =
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 too=
lkit
Tutorial 10: Rybin, Sergey and Fofanov, Vasily, Building Ada development =
tools =
with ASIS for-GNAT
Tutorial 11: Leringe, =D6rjan, 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=F6rderverein 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 attrac=
tions and an =
exciting environment to visitors. =
The venue of the conference is the hotel "Seminaris" specializing in conf=
erences 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 rel=
iable software =
technologies.
--> EXPO 2000
The world exhibition EXPO 2000 takes place in Hannover during the Ada Eur=
ope 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 exp=
lore the latest =
developments by the commercial marketplace. The conference will be accomp=
anied by a three-day =
commercial exhibition on June 27, 28 and 29 with Vendors of software prod=
ucts 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 L=
td., 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=FCr Informat=
ik e.V., =
DFG (German Research Foundation), Forschungszentrum Karlsruhe, Hotel Semi=
naris =
ACT Europe, Aonix, CAS GmbH, CSC PLOENZKE, DDC-I, Green Hills, Informatio=
n Processing Ltd., =
PeerLogic, PolySpace, Praxis Critical Systems and Rational.
*************************************************************************=
**************
|