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. *************************************************************************= **************