Ada-Europe'2004 early registration deadline approaching

From: Dirk Craeynest (dirk_at_heli.cs.kuleuven.ac.be)
Date: 05/15/04

  • Next message: Hyman Rosen: "Re: "Must instantiate controlled types at library level." Why?" 
    Date: 15 May 2004 22:29:02 +0200

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

                           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, llamosi@uib.es
    - Alfred Strohmeier, Swiss Fed. Inst. of Technology in Lausanne (EPFL),
      Software Engineering Lab, Switzerland, Alfred.Strohmeier@epfl.ch

    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 llamosi@uib.es.

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

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

  • Next message: Hyman Rosen: "Re: "Must instantiate controlled types at library level." Why?"