TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Dirk Craeynest <[log in to unmask]>
Reply To:
Dirk Craeynest <[log in to unmask]>
Date:
Sat, 15 May 2004 22:34:42 +0200
Content-Type:
text/plain
Parts/Attachments:
text/plain (125 lines)
------------------------------------------------------------------------

                       2nd Call for Participation

                     *** UPDATED Program Summary ***

                     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

                   Organized, on behalf of Ada-Europe,
               by the University of the Balearic Islands,
              in cooperation with ACM SIGAda and Ada-Spain

            *** Early registration discount until May 25. ***
    *** Printed Advance Program available on conference web site. ***

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

Ada-Europe organizes annual international conferences since the early
80's.  This is the 9th 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),
Toulouse, France ('03).

The 12-page Advance Program brochure with full information is available
on the conference web site; the AP contains the list of accepted papers,
as well as a detailed description of the tutorials.  Use the "Program"
link at the top to either view or download the PDF version or contact
the conference chair to request a printed copy of the brochure.

Direct URLs
- Advance Program (large file, 1.8 MB, incl. conference & hotel forms):
  http://dmi.uib.es/~AE2004/documents/program.pdf
- conference registration form (small file):
  http://dmi.uib.es/~AE2004/documents/g_registration.pdf
- hotel reservation form (small file):
  http://dmi.uib.es/~AE2004/documents/accomodation_form.pdf

Quick overview
- Mon 14 & Fri 18: tutorials
- Tue 15 - Thu 17: paper and vendor presentation sessions, exhibition

Program co-chairs
- Albert Llamosí, University of the Balearic Islands (UIB), Dept. of
  Mathematics and Computer Science, Spain, [log in to unmask]
- Alfred Strohmeier, Swiss Fed. Inst. of Technology in Lausanne (EPFL),
  Software Engineering Lab, Switzerland, [log in to unmask]

Invited speakers
- S. Tucker Taft, SofCheck Inc., USA
  "Fixing Software Before It Breaks: Using Static Analysis to Help
  Solve the Software Quality Quagmire"
- Martin Gogolla, University of Bremen, Germany
  "Benefits and Problems of Formal Methods"
- Antoni Olivé, Universitat Politècnica de Catalunya, Spain
  "On the Role of Conceptual Schemas in Information System Development"
- Steve Vinoski, IONA Technologies, USA
  "Can Middleware Be Reliable?"

Special session
- Pascal Leroy, IBM France & ISO Ada Rapporteur Group
  "An Invitation to Ada 2005"

Tutorials (full day)
- "Developing a Web Server in Ada with AWS", Jean-Pierre Rosen
- "Practical Experiences of Safety and Security-Critical Technologies",
   Peter Amey & Rod Chapman
- "Developing Fault-Tolerant, Time-Critical Systems with AADL, UML,
   and Ada", Bruce Lewis & Ed Colbert
- "Real-Time Java for Ada Programmers", Ben Brosgol

Tutorials (half day)
- "Programming with the Charles Container Library", Matthew Heaney
- "Probabilistic Worst Case Execution Time Analysis", Guillem Bernat
- "No Pointers, Great Programs.  How to Stay on the Value Semantics
   Side of the Ada Way", Mario Amado Alves
- "Requirements Analysis with Use Cases", Alfred Strohmeier

Papers
- 4 invited papers and 23 technical papers on Application Programming
  Interfaces, Critical Systems Modeling, Distributed Systems, Real-Time
  Systems, Reflection and XML, Scheduling, Static Analysis, and Testing
- authors from 10 countries: Austria, China, Czech Republic, France,
  Germany, India, Portugal, Spain, United Kingdom, and USA

Exhibition
- 8 exhibitors already committed: ACT Europe, Aonix, Green Hills,
  I-Logix, LDRA Software Technology, Praxis Critical Systems, RainCode,
  and TNI-Europe, others expressed interest
- vendor presentation tracks for exhibitors

Social evening events
- Mon: to be announced, visit conference web site for updates
- Tue: welcome cocktail at Bellver Castle offered by city council
- Wed: sightseeing bus tour of north coast tour followed by conference
  banquet at Bahía Mediterraneo restaurant
- Thu: to be announced

Registration
- early registration discount up to Tue May 25, 2004: **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 includes conference banquet

For more info, latest updates, or to get printed brochures, see the
conference web site at http://www.ada-europe.org/conference2004.html
or contact [log in to unmask]

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

Our apologies if you receive multiple copies of this announcement.

[log in to unmask], 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 ***

ATOM RSS1 RSS2