Below is an updated program summary of the 6th International Conference on Reliable Software Technologies - Ada-Europe'2001 - to be held next week, May 14-18, 2001, in Leuven, Belgium. This conference is the ideal opportunity - to check out the many activities going on in the international Ada and reliable software community, - to stay up to date by attending presentations by our 5 invited speakers and 29 paper presenters, - to get up to speed in a short time by participating in some of the 8 tutorials given by experts in their domain, - to visit the exhibition and vendor presentations by most of the important players in the field, and - to socialize with many experts from the Ada community. If you haven't registered yet, now is the time to do it! Dirk Craeynest, Ada-Europe'2001 Program Co-Chair --- Apologies if you receive multiple copies of this announcement. ------------------------------------------------------------------------ 3rd Call for Participation 6th International Conference on Reliable Software Technologies - Ada-Europe'2001 May 14-18, 2001, Leuven, Belgium http://www.ada-europe.org/conference2001.html Organized by Ada-Belgium and K.U.Leuven Sponsored by Ada-Europe In cooperation with ACM SIGAda *** 2nd UPDATED PROGRAM SUMMARY *** ------------------------------------------------------------------------ A 16-page color brochure is available on the conference website, and will be updated with the latest information shortly. Select "Program" to download a PDF version or to request the printed program. Quick overview - Mon 14 & Fri 18: 8 full- or half-day tutorials - Tue 15 - Thu 17: paper & vendor presentation sessions, exhibition Program co-chairs - Dirk Craeynest, Offis nv/sa & K.U.Leuven, Belgium, Dirk.Craeynest@cs.kuleuven.ac.be - Alfred Strohmeier, Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland, Alfred.Strohmeier@epfl.ch Invited speakers - Building formal requirement models for reliable software Axel van Lamsweerde, Universit� Catholique de Louvain, Belgium - Using Ada in interactive digital television systems Pascal H�raud, CANAL+ Technologies, France - Testing from formal specifications, a generic approach Marie-Claude Gaudel, Universit� de Paris-Sud, France (*) - A Report on the Software Engineering Body of Knowledge Project !NEW! James W. Moore, The MITRE Corporation, USA - Logic versus Magic in critical systems Peter Amey, Praxis Critical Systems, UK - Can Java meet its real-time deadlines? Brian Dobbing, Praxis Critical Systems, UK, co-author Ben Brosgol, ACT, USA (*) MC Gaudel was involved in a car accident and is still recovering. Her paper is printed in the proceedings but her keynote speech will be replaced by J.W. Moore's SWEBOK Report. Tutorials - Art Duncan: "Non-standard techniques in Ada" (full day) - Peter Amey & Rod Chapman: "Practical experiences of safety-critical Ada technologies" (full day) - Jeff Tian: "Early reliability measurement and improvement" (half day) - Gregory Neven, Maarten Coene & Roel Addriaensens: "An introduction to XML" (half day) - John Harbaugh: "From full concurrency to safe concurrency" (full day) - Samuel Tardieu, Laurent Pautet & Thomas Quinot: "Building distributed systems with Ada" (full day) - Matthew Heaney: "Implementing design patterns in Ada: sequential programming idioms" (half day) - Bruce Lewis & Ed Colbert: "Architecture centred development and evolution of reliable real-time systems" (half day) Papers - 35 papers on Formal Methods, Testing, High-Integrity Systems, Program Analysis, Distributed Systems, Real-Time Systems, Language and Patterns, Dependable Systems, APIs and Components, Real-Time Kernels, Standard Formats: UML & XML, System Evolution, and Software Process & Productivity - authors from Australia, Belgium, China, France, Germany, Israel, Portugal, Russia, Spain, Sweden, Switzerland, United Kingdom, USA Exhibition !UPDATED! - 9 exhibitors already committed: ACT Europe, Aonix, DDC-I, Green Hills, Irvine Compiler, Praxis Critical Systems, Rational Software, TNI-Europe and Top Graph'X - separate vendor presentation tracks for exhibitors - book shop will display and sell a wide variety of books relevant to the conference theme !NEW! Social evening events - Mon: welcome reception with Belgian beers - Tue: guided tour of historic town hall followed by civic reception - Wed: guided historic walk followed by conference banquet at Faculty Club in Groot Begijnhof - Thu: visit to Stella Artois brewery followed by tasting session Registration !UPDATED! - includes copy of full proceedings, published by Springer-Verlag in Lecture Notes in Computer Science series (LNCS), plus booklet with extra papers - includes coffee breaks and lunches - discounts for academia, Ada-Europe and ACM members URLs - conference registration form (small PDF file): http://www.cs.kuleuven.ac.be/conference/AE2001/registration/registration.pdf - hotel reservation form (small web page): http://www.omnia.be/Holidays/Travelagents/agri/kongressen/kongressen_e.cfm - preliminary program (large PDF file, contains all information and forms): http://www.cs.kuleuven.ac.be/conference/AE2001/program/program.pdf For more info, latest updates, or to get printed brochures, see the conference web site at http://www.ada-europe.org/conference2001.html or contact Dirk Craeynest mailto: Dirk.Craeynest@cs.kuleuven.ac.be ------------------------------------------------------------------------ Dirk Craeynest, Ada-Europe'2001 Program Co-Chair -- Dirk Craeynest | Email Dirk.Craeynest@cs.kuleuven.ac.be (AE'2001) Offis - Aubay Group | Dirk.Craeynest@offis.be (work) | Ada-Belgium Weiveldlaan 41/32 | Phone +32(2)725.40.25 | Ada-Europe B-1930 Zaventem | +32(2)729.97.36 (work) | ACM SIGAda Belgium | Fax +32(2)725.40.12 | Team Ada *** Intl. Conference on Reliable Software Technologies - Ada-Europe'2001 *** May 14-18, 2001, Leuven, Belgium **** http://www.ada-europe.org/ ***