🚀 go-pugleaf

I've seen it. Very intresting...
Ar.

Dirk Craeynest wrote:

> ------------------------------------------------------------------------
> 
>                        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/ ***
>