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,aa50c854447c6ee1,start X-Google-Attributes: gid107e1d,public X-Google-Thread: 107324,aa50c854447c6ee1,start X-Google-Attributes: gid107324,public X-Google-Thread: fcea4,aa50c854447c6ee1,start X-Google-Attributes: gidfcea4,public X-Google-Thread: 103376,aa50c854447c6ee1,start X-Google-Attributes: gid103376,public X-Google-Thread: f5142,aa50c854447c6ee1,start X-Google-Attributes: gidf5142,public X-Google-ArrivalTime: 2001-04-10 13:10:13 PST Path: supernews.google.com!sn-xit-03!supernews.com!freenix!isdnet!newsfeed.online.be!newsfeeds.belnet.be!naxos.belnet.be!news.belnet.be!not-for-mail From: dirk@piefje.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada,be.comp.programming,nl.comp.programmeren,uk.comp.misc Subject: Ada-Europe'2001 early registration deadline approaching Date: 10 Apr 2001 22:08:19 +0200 Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven Message-ID: <9avp7j$g3q$1@piefje.cs.kuleuven.ac.be> NNTP-Posting-Host: seven.kulnet.kuleuven.ac.be X-Trace: naxos.belnet.be 986933302 26872 134.58.127.12 (10 Apr 2001 20:08:22 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Tue, 10 Apr 2001 20:08:22 +0000 (UTC) Summary: Get the early registration discount! Keywords: Conference, tutorials, reliable software, Ada, LNCS, Leuven Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@piefje.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) Xref: supernews.google.com comp.lang.ada:6725 fr.comp.lang.ada:664 be.comp.programming:2275 nl.comp.programmeren:12823 uk.comp.misc:4208 Date: 2001-04-10T22:08:19+02:00 List-Id: Apologies if you receive multiple copies of this announcement. ------------------------------------------------------------------------ 2nd Call for Participation *** EARLY REGISTRATION DEADLINE: SUNDAY, APRIL 22 *** 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 *** UPDATED PROGRAM SUMMARY *** ------------------------------------------------------------------------ A 16-page color brochure is available on the conference website. Select "Program" to either download a PDF version or to request a printed copy. 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 - 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 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 - 32 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 - authors from Australia, Belgium, China, France, Germany, Israel, Portugal, Russia, Spain, Sweden, Switzerland, United Kingdom, USA Exhibition - 8 exhibitors already committed: ACT Europe, Aonix, DDC-I, Irvine Compiler, Praxis Critical Systems, Rational Software, TNI-Europe and Top Graph'X, others expressed interest - separate vendor presentation tracks for exhibitors 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 - includes copy of full proceedings, published by Springer-Verlag in Lecture Notes in Computer Science series (LNCS) - early registration DISCOUNT up to SUNDAY, APRIL 22, 2001 - discount 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/ ***