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

                       2nd Call for Participation

                    *** UPDATED Program Summary ***

                    12th International Conference on
            Reliable Software Technologies - Ada-Europe 2007

                 25 - 29 June 2007, Geneva, Switzerland

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

                  Organized, on behalf of Ada-Europe,
                    by Ecole d'Ingénieurs de Genève
                     in cooperation with ACM SIGAda

            *** Early registration discount until May 31 ***
        *** Advance Program available on conference web site ***

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

Ada-Europe organises annual international conferences since the early
80's.  This is the 12th 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), York, UK ('05),
and Porto, Portugal ('06).

The 16-page Advance Program brochure with full information is available
on the conference web site; both the AP and the web site contain the
list of accepted papers and industrial presentations, as well as
detailed descriptions of tutorials and keynote presentations.  To
download the AP, use the "Program" button on the conference home page
and then the "Pdf Program" link.

Direct URLs
- Advance Program (large file, 535 Kb):
  <http://adae2007.eig.ch/docs/avp.pdf>
- conference registration form (small file, updated version):
  <http://adae2007.eig.ch/docs/register.pdf>
  <http://adae2007.eig.ch/docs/register.doc>
- accommodation and travel information:
  <http://adae2007.eig.ch/local.html>
- one page mini-poster (456 Kb):
  <http://www.cs.kuleuven.be/~dirk/ada-belgium/events/07/070625-aec-poster.pdf>
- two page mini-CfPart (120 Kb):
  <http://www.cs.kuleuven.be/~dirk/ada-belgium/events/07/070625-aec-cfpart.pdf>
- info on proceedings:
  <http://www.springeronline.com/978-3-540-73229-7>

Quick overview
- Mon 25 & Fri 29: tutorials
- Tue 26 - Thu 28: paper, industrial & vendor presentations, exhibition

Proceedings
- published by Springer-Verlag
- volume 4498 in Lecture Notes in Computer Science series (LNCS)
- will be available at conference

Program co-chairs
- Nabil Abdennadher, University of Applied Sciences Geneva, Switzerland
  [log in to unmask]
- Fabrice Kordon, University Pierre & Marie Curie, France
  [log in to unmask]

Invited speakers
- Klaus D. Mueller-Glaser, University of Karlsruhe, Germany, 
  "Challenges for Reliable Software Design in Automotive
  Electronic Control Units"
- Gerard Berry, Esterel Technologies, France,
  "Synchronous Techniques for Embedded Systems"
- Ali Mili, New Jersey Institute of Technology, USA,
  "Perspectives on Next Generation Software Engineering"
- Liviu Iftode, Rutgers University, USA,
  "Observation Rooms for Program Execution Monitoring"

Tutorials (full day)
- "Security by Construction",
  Rod Chapman, Praxis HIS, UK
- "Situational Method Engineering:
  Towards a Specific Method for each System Development Project",
  Jolita Ralyté, University of Geneva, Switzerland

Tutorials (half day)
- "An Overview of Model Driven Engineering",
  William Bail, The MITRE Corporation, USA
- "Correctness by Construction:
  a UML2 Profile Enforcing the Ravenscar Computational Model",
  Tullio Vardanega, University of Padua, Italy
- "Object-Oriented Programming in Ada 2005",
  Matthew Heaney, On2 Technologies, USA
- "Verification and Validation for Reliable Software Systems",
  William Bail, The MITRE Corporation, USA
- "Synchronous Design of Embedded Systems: the Esterel/Scade approach",
  Gerard Berry, Esterel Technologies, France
- "Building Interoperable Distributed Applications with PolyORB",
  Thomas Quinot and Jérôme Hugues, AdaCore and ENST, France

Papers and Presentations
- 18 refereed technical papers on Ada 2005 and real-time systems,
  verification and validation, testing, MDA and applications, MDA and
  real-time, Ada 2005 general purpose programming, distributed systems
- 9 industrial presentations, on current practice and challenges
- authors from 11 countries: Australia, Austria, China, France,
  Germany, Italy, Republic of Korea, Spain, Tunisia, UK, and USA

Exhibition
- 8 exhibitors already committed: AdaCore, Aonix, Ellidiss Software
  (TNI-Europe), Green Hills Software, Hibachi project, Programming
  Research BV, Rapita Systems Ltd, and Telelogic; others expressed
  interest
- vendor presentation track for exhibitors

Social evening events
- Tuesday: visit of, and reception at, the building of the World
  Meteorological Organization (WMO, agency of the United Nations)
- Wednesday: aperitif in the History of Sciences Museum; banquet
  at the restaurant La Perle du Lac close to the Leman Lake

Registration
- early registration discount up to Thu May 31, 2007
- additional discount for academia, Ada-Europe and ACM members
- registration includes copy of printed proceedings at event
- includes coffee breaks, lunches, social events
- three day conference registration includes conference banquet
- payment possible by bank transfer, check, or credit card

Please note that we strongly advice all participants to book early,
as June is a very busy period for hotels in Geneva.

For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2007.html>.

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

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

[log in to unmask], Ada-Europe'2007 Publicity Co-chair

*** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007
*** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org