From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,9e8f91d29811f3f8,start X-Google-Attributes: gid103376,public From: briggsjs@sis.port.ac.uk (Jim Briggs) Subject: Advance Programme: RELIABLE SOFTWARE TECHNOLOGIES (Ada-Europe'97) Date: 1997/03/20 Message-ID: <5grq0g$1vg2@tech.port.ac.uk>#1/1 X-Deja-AN: 227045919 Organization: University of Portsmouth Newsgroups: comp.lang.ada Date: 1997-03-20T00:00:00+00:00 List-Id: **************************************************** * * * RELIABLE SOFTWARE TECHNOLOGIES (Ada-Europe'97) * * London, June 2-6 1997 * * * **************************************************** Sponsored by Rational Software Corporation http://www.sis.port.ac.uk/adauk/Ada-Europe/Conference/1997/ The International Conference of Ada-Europe, the European Federation of national Ada societies, will be held this year from 2-6 June in the UK, at the Tower Hotel, London. This is located on the north bank of the River Thames, overlooking Tower Bridge and beside the Tower of London. The Conference comprises a three-day technical programme and demonstrations from Tuesday to Thursday, with tutorials on Monday and Friday. This is an excellent opportunity for all those developing reliable software systems, whether with Ada or any other programming language, to meet and discuss the latest technical developments and best practice. The Conference is truly international, involving participants from virtually all western European countries as well as the USA, Canada and the Far East. The Advance Programme has now been published. Early registration is encouraged - an early-bird discount applies. Keynote speakers: Tucker Taft, Intermetrics Products & Technology Group Robert Dewar, New York University and Ada Core Technologies Technical sessions: "Language issues" "Testing" "Education and training" "Design formalisms" "Tools" "Real-time" "Object-oriented" "Applications" "Distributed systems" Thursday 5 June will be a special day devoted to the topic of "Reliable software" Tutorials "Real-time object-oriented architecture", Mark Gerhardt & Doug Locke "Ada 95 as a foundation language for undergraduate programs", Mike Feldman "Writing Java-compatible applets in Ada 95", Tucker Taft "Programming distributed applications with Ada 95", Yvon Kermarrec & Laurent Pautet "Object-oriented programming with Ada 95", Alfred Strohmeier & Thomas Wolf "Elements of software architecture with Ada 95", Magnus Kempe "Object-oriented analysis & design for Ada 95 with Colbert's O-O Software Development Method", Ed Colbert "High integrity Ada with SPARK 95", John Barnes & Bernard Carre An exhibition, demonstrations of products and vendor presentations also form part of the programme. ISO WG9 and the ACM SIGAda Patterns Working Group will also be meeting during the conference. For full details and registration forms see the conference web page http://www.sis.port.ac.uk/adauk/Ada-Europe/Conference/1997/ An abbreviated ASCII version of the Advance Programme is also available by auto-response email - send any message to adaconf@sis.port.ac.uk ACM SIGAda are offering four conference-only registrations to SIGAda members with a presence on the programme (contact Hal Hart, email halhart@acm.org, for details). For further information, or to be added to the postal mailing list, email the conference organiser on admin@adauk.org.uk To be included on or removed from the electronic mailing list, email briggsjs@sis.port.ac.uk Organising Committee: Bill Taylor (Transition Technology Ltd) Conference Chair Jim Briggs (University of Portsmouth) Co-Programme Chair Keith Hardy (Ultra Electronics Ltd) Co-Programme Chair Brian Tooby (High Integrity Systems Ltd) Tutorial Chair John Barnes (JBI) President, Ada-Europe Alfred Strohmeier (Swiss Fed Inst of Technology) Ada-Europe Liaison Helen Byard (Ada UK) Administrator