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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 107e1d,76a42b34d258f21,start X-Google-Attributes: gid107e1d,public X-Google-Thread: 103376,76a42b34d258f21,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-18 12:05:56 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!newsfeed.arcor-online.net!newsfeed.r-kom.de!newsfeed.stueberl.de!aotearoa.belnet.be!naxos.belnet.be!news.belnet.be!not-for-mail From: dirk@ada.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada Subject: Ada-Europe'2003 early registration deadline approaching Date: 18 May 2003 21:05:21 +0200 Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven Message-ID: NNTP-Posting-Host: seven.kulnet.kuleuven.ac.be X-Trace: naxos.belnet.be 1053284755 29019 134.58.127.12 (18 May 2003 19:05:55 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Sun, 18 May 2003 19:05:55 +0000 (UTC) Summary: Early registration discount until May 24. Keywords: Conference,tutorials,reliable software,Ada,LNCS,Toulouse Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@ada.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) Xref: archiver1.google.com comp.lang.ada:37490 fr.comp.lang.ada:2867 Date: 2003-05-18T21:05:21+02:00 List-Id: ------------------------------------------------------------------------ 2nd Call for Participation *** UPDATED Program Summary *** 8th International Conference on Reliable Software Technologies - Ada-Europe 2003 16-20 June 2003, Toulouse, France http://www.ada-europe.org/conference2003.html Organized by CS, UPS and ONERA, sponsored by Ada-Europe In cooperation with ACM SIGAda, Ada-France, IRIT, Springer and IUP ISI *** Early registration discount until May 24. *** *** Printed Advance Program available on conference web site. *** ------------------------------------------------------------------------ 4th invited speaker announced: Patrick Farail speaks on software development process for Airbus A380. Opening event on Monday evening being prepared. ------------------------------------------------------------------------ Ada-Europe organizes annual international conferences since the early 80's. This is the 8th event in the Reliable Software Technologies series, previous ones being held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02). The 12-page program brochure with full informationis available on the conference web site. Use the links at the top to either view or download the PDF version or contact ae2003-info@irit.fr to request a printed copy of the brochure. Quick overview - Mon 16 & Fri 20: tutorials and workshop - Tue 17 - Thu 19: paper and vendor presentation sessions, exhibition Program co-chairs - Jean-Pierre Rosen, Adalog, Arcueil, France, Rosen@adalog.fr - Alfred Strohmeier, Swiss Fed. Inst. of Technology Lausanne (EPFL), Software Engineering Lab, Switzerland, Alfred.Strohmeier@epfl.ch Invited speakers - Pascal Leroy, Rational Software Corporation, France "An invitation to Ada 2005" - Mira Mezini, Darmstadt University of Technology, Germany "Aspect-Oriented Programming Beyond Hierarchical Modularity" - Joerg Kienzle, McGill University, Canada "Software Fault Tolerance: An Overview" - Patrick Farail, Airbus, France "The Software Development Process for the A380" (draft title) Tutorials (full day) - "The Personal Software Process for Ada", Daniel Roy - "Developing High Integrity Systems with GNAT/ORK", Juan Antonio de la Puente & Juan Zamorano Tutorials (half day) - "Implementing Design Patterns in Ada95", Matthew Heaney - "Principles of Physical Software Design with Ada95", Matthew Heaney - "High-integrity Ravenscar Using SPARK", Peter Amey - "Architecture Centric Development Using Ada and the Avionics Architecture Description Language", Bruce Lewis & Edward Colbert - "A Semi Formal Approach to Software System Development", William Bail - "An Overview of Statistical-Based Testing", William Bail Workshop - "Quality of Service in Component-Based Software Engineering (QoS in CBSE 2003)"; contact workshop chair to participate: Jean-Michel Bruel, bruel@univ-pau.fr Papers - 3 invited papers and 29 technical papers on Ravenscar, Static Analysis, Language Issues, Distributed Information Systems, Software Components, Formal Specification, Metrics, Real-Time Kernels, Real-Time Systems Design, and Testing - authors from 15 countries: Australia, Austria, Belgium, Canada, Finland, France, Germany, Hong-Kong, India, Israel, Italy, Portugal, Spain, United Kingdom, and USA Exhibition - 10 exhibitors already committed: ACT Europe, Adalog, Aonix, C-S, Green Hills, I-Logix, IPL, Praxis Critical Systems, Rational Software, and TNI-Europe, others expressed interest - separate vendor presentation tracks for exhibitors Social evening events - Mon: to be announced, visit conference web site for updates - Tue: a guided bus tour of the city followed by a cocktail reception offered by the Mayor of Toulouse in the "Capitol" town hall - Wed: conference banquet at a typical "ferme Lauragaise" (farm) located near a lake - Thu: to be announced Registration - early registration discount up to May 24, 2003: ***don't delay!*** - additional discount for academia, Ada-Europe and ACM members - registration includes copy of printed proceedings, published by Springer-Verlag in Lecture Notes in Computer Science series (LNCS) and distributed at event - includes coffee breaks, lunches, social events - three day conference registration fee includes conference banquet URLs - conference registration form (small file): http://www.irit.fr/AdaEurope2003/DOCS/AE2003_RegistrationForm.pdf - hotel reservation form (small file): http://www.congres31.com/fiches/ADA.pdf - Advance Program (large file, resp. 1.2, 1.9, 2.3 MB): http://www.irit.fr/AdaEurope2003/DOCS/AE2003_AdvanceProgram_BW.pdf http://www.irit.fr/AdaEurope2003/DOCS/AE2003_AdvanceProgram.zip http://www.irit.fr/AdaEurope2003/DOCS/AE2003_AdvanceProgram.pdf For more info, latest updates, or to get printed brochures, see the conference web site at http://www.ada-europe.org/conference2003.html or contact ae2003-info@irit.fr. ------------------------------------------------------------------------ Our apologies if you receive multiple copies of this announcement. Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2003 Publicity Co-Chair *** Intl. Conference on Reliable Software Technologies - Ada-Europe'2003 *** June 16-20, 2003, Toulouse, France ** http://www.ada-europe.org/ ***