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.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 107e1d,b3e567407703c88c,start X-Google-Attributes: gid107e1d,public X-Google-Thread: 107324,b3e567407703c88c,start X-Google-Attributes: gid107324,public X-Google-Thread: fcea4,b3e567407703c88c,start X-Google-Attributes: gidfcea4,public X-Google-Thread: 103376,b3e567407703c88c,start X-Google-Attributes: gid103376,public X-Google-Thread: f5142,b3e567407703c88c,start X-Google-Attributes: gidf5142,public X-Google-ArrivalTime: 2001-05-06 14:23:54 PST Path: newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!193.190.198.17!newsfeeds.belnet.be!naxos.belnet.be!news.belnet.be!not-for-mail From: dirk@sneeuw.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada,be.comp.programming,nl.comp.programmeren,uk.comp.misc Subject: FINAL Call - Reliable Software Technologies, Ada-Europe'2001 Date: 6 May 2001 23:23:49 +0200 Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven Message-ID: <9d4fd5$5f4$1@sneeuw.cs.kuleuven.ac.be> NNTP-Posting-Host: seven.kulnet.kuleuven.ac.be X-Trace: naxos.belnet.be 989184232 14865 134.58.127.12 (6 May 2001 21:23:52 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Sun, 6 May 2001 21:23:52 +0000 (UTC) Summary: If you have not registered yet, now is the time! Keywords: Conference, tutorials, reliable software, Ada, LNCS, Leuven Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@sneeuw.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) Xref: newsfeed.google.com comp.lang.ada:7241 fr.comp.lang.ada:745 be.comp.programming:2446 nl.comp.programmeren:13579 uk.comp.misc:4454 Date: 2001-05-06T23:23:49+02:00 List-Id: 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/ ***