Ada-Europe 2005 early registration deadline approaching

Ada-Europe 2005 early registration deadline approaching

[Dirk Craeynest]

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

                       2nd Call for Participation

                    *** UPDATED Program Summary ***

                    10th International Conference on
            Reliable Software Technologies - Ada-Europe 2005

                      20 - 24 June 2005, York, UK

             http://www.ada-europe.org/conference2005.html

                  Organized, on behalf of Ada-Europe,
                       by the University of York,
                     in cooperation with ACM SIGAda

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

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

Ada-Europe organizes annual international conferences since the early
80's.  This is the 10th 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), Palma de Mallorca, Spain ('04).

The 16-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 and keynote
presentations.  Use the "Advance Programme" link at the top of the
conference home page to either view or download the PDF version, or
contact the local organization chair to request a printed copy of the
brochure.

Direct URLs
- Advance Program (large file, 1.7 MB, incl. registration form):
  http://www.cs.york.ac.uk/rts/adaeurope/advprogram.pdf
- online conference registration:
  https://pisa.cs.york.ac.uk/rts/cgi-bin/adaeurope/register
- conference registration form (small file):
  http://www.cs.york.ac.uk/rts/adaeurope/registration-form.pdf
- accommodation and travel information
  http://www.cs.york.ac.uk/rts/adaeurope/york.html#accommodation

Quick overview
- Mon 20 & Fri 24: tutorials
- Tue 21 - Thu 23: paper, industrial & vendor presentations, exhibition

Program co-chairs
- Tullio Vardanega, University of Padua, Italy,
  tullio.vardanega@math.unipd.it
- Andy Wellings, University of York, UK, andy@cs.york.ac.uk

Invited speakers
- John McDermid, University of York, UK, "Model-based Development
  of Safety-Critical Software: Opportunities and Challenges"
- Martyn Thomas, Thomas Associates, UK, "Extreme Hubris"
  (on Extreme Programming and Reliable Software)
- Bev Littlewood, City University, London, UK, "Assessing the
  Dependability of Software-Based Systems: a Question of Confidence"

Special tutorial (half day)
- "Ada 2005", John Barnes, Alan Burns, Pascal Leroy, S. Tucker Taft

Tutorials (full day)
- "Real-Time Java for Ada Programmers", Ben Brosgol
- "Software Safety Cases", John McDermid, Rob Weaver

Tutorials (half day)
- "Developing Web-aware Applications in Ada with AWS",
   Jean-Pierre Rosen
- "Correctness by Construction. A Manifesto for High Integrity
   Engineering", Peter Amey & Neil White
- "SAE Architecture Analysis and Design Language",
   Joyce L. Tokar & Bruce Lewis
- "High-Integrity Ravenscar Using SPARK", Brian Dobbing
- "Requirements Engineering for Dependable Systems", William Bail
- "Programming with the Ada 2005 Standard Container Library",
   Matthew Heaney
- "Software Fault Tolerance", Patrick Rogers

Papers and Presentations
- 21 refereed technical papers on Applications, Design and Scheduling,
  Formal Methods, Ada and Education, Certification and Verification,
  Distributed Systems, Language Aspects, and Ravenscar Technology
- 10 industrial presentations, on current practice and challenges
- authors from 10 countries: Austria, France, Germany, Italy, Portugal,
  Spain, Sweden, Switzerland, United Kingdom, and USA

Exhibition
- 11 exhibitors already committed: AdaCore, Aonix, ARTiSAN Software,
  Esterel Technologies, Green Hills Software, I-Logix, LDRA Software
  Technology, PolySpace Technologies, Praxis High Integrity Systems,
  Silver Software, and TNI-Europe
- vendor presentation tracks for exhibitors

Social evening events
- Wednesday: visit of, and banquet at the National Railway Museum
- others: to be announced

Registration
- early registration discount up to Mon May 23, 2005: **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/conference2005.html
or contact sue@cs.york.ac.uk.

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

Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2005 Publicity Co-chair

*** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005
*** June 20-24, 2005 ***  York, UK  ***  http://www.ada-europe.org ***
(V9.1)