🚀 go-pugleaf

------------------------------------------------------------------------

                      Final Call for Participation

                     9th International Conference on
            Reliable Software Technologies - Ada-Europe 2004

               14 - 18 June 2004, Palma de Mallorca, Spain

             <http://www.ada-europe.org/conference2004.html>

         *** Final Program available on conference web site ***
                  *** Printed proceedings available ***
                 *** Check out the tutorial program! ***
                          *** Register now! ***

------------------------------------------------------------------------

Press release:

Conference on Reliable Software Technologies

International experts meet in Palma de Mallorca

Palma de Mallorca (3 June 2004 21:00) - The University of the Balearic
Islands, sponsored by Ada-Europe and in cooperation with ACM's Special
Interest Group in Ada and with Ada-Spain, organizes this year the "9th
International Conference on Reliable Software Technologies - Ada-Europe
2004" from 14 to 18 June in Palma de Mallorca, Spain.

The conference offers a technical program, an exhibition, and several
tutorials.  There's a special session on "Ada 2005", further main
topics are "Critical Systems Modeling", "Distributed Systems",
"Real-Time Systems", "Scheduling", "Static Analysis", "Testing", etc.

Invited lectures by internationally renowned experts on the topics
"Fixing Software Before It Breaks: Using Static Analysis to Help Solve
the Software Quality Quagmire", "Benefits and Problems of Formal
Methods", "On the Role of Conceptual Schemas in Information System
Development", and "Can Middleware Be Reliable?" complete the program.

The conference takes place at the Palas Atenea hotel close to the
historical city center of Palma.  Registration is still open.
The full "Advance Program" is available on the conference web site
<http://www.ada-europe.org/conference2004.html> and directly at
<http://dmi.uib.es/~AE2004/documents/program.pdf>.

Contact: llamosi@uib.es (Albert Llamos�, conference chair)

-------

Latest updates:

- The "Final Program" is available on the conference web site
  <http://www.ada-europe.org/conference2004.html> and directly at
  <http://dmi.uib.es/~AE2004/documents/program-web.pdf>.

- The proceedings published by Springer are ready and will be
  distributed at the conference.  More info is available at
  <http://www.springeronline.com/3-540-22011-9>.
  Abstracts can be checked out via the conference web site.

- Registration fees are very reasonable and the registration process
  is easy: fill out the 1-page form and fax it to the conference
  secretariat.  Don't delay!
  <http://dmi.uib.es/~AE2004/documents/g_registration.pdf>

- Check out the 8 tutorials in the advance program and at
  <http://dmi.uib.es/~AE2004/AE2004tutorials.html>.

- For the latest information consult the conference web site.

------------------------------------------------------------------------

Our apologies if you receive multiple copies of this announcement.

Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2004 Publicity Chair

*** Intl. Conference on Reliable Software Technologies - Ada-Europe'2004
*** June 14-18, 2004, Palma de Mallorca, Spain ** www.ada-europe.org ***