TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show HTML Part by Default
Condense Mail Headers

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

Print Reply
Content-Type:
text/plain; charset=ISO-8859-1
Sender:
"Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
Subject:
From:
Dirk Craeynest <[log in to unmask]>
Date:
Sun, 19 Apr 2009 23:18:31 +0200
Content-Transfer-Encoding:
8bit
MIME-Version:
1.0
Reply-To:
"Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
Parts/Attachments:
text/plain (129 lines)
-----------------------------------------------------------------------

                         Call for Participation

                        *** PROGRAM SUMMARY ***

                    14th International Conference on
            Reliable Software Technologies - Ada-Europe 2009

                    8 - 12 June 2009, Brest, France

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

                        Organized by Ada-Europe,
                     in cooperation with ACM SIGAda

            *** Early registration discount until May 15 ***

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

Ada-Europe organizes annual international conferences since the early
80's.  This is the 14th 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),
Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08).

The Advance Program brochure with full information will shortly be
available on the conference web site.  It will contain the list of
accepted papers, industrial and educational presentations, as well
as detailed descriptions of tutorials and keynote presentations.
Also check the conference web site for registration, accommodation
and travel information.

Quick overview
- Mon 8 & Fri 12: tutorials, workshops
- Tue 9 - Thu 11: paper, industrial & vendor presentations, exhibition

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

Invited speakers
- John Benito,
  Blue Pilot Consulting, USA,
  "ISO JTC1/SC22/WG23 Work on Programming Language Vulnerabilities"
- Pierre Sens,
  LIP6, Université Pierre et Marie Curie, Paris, France,
  "Fault Tolerance in Large Scale Distributed Systems"
- Peter H. Feiler,
  Software Engineering Institute, Carnegie Mellon University, USA,
  "Validation of Safety-Critical Systems with AADL"

Tutorials (full day)
- "Building Cross Language Applications Using Ada",
  Quentin Ochem, AdaCore, France
- "SPARK - the Libre Language and Toolset for High-Assurance Software",
  Roderick Chapman, Praxis High Integrity Systems, UK

Tutorials (half day)
- "An Introduction to Parallel and Real-Time Programming with Ada",
  John McCormick, University of Northern Iowa, USA
- "Software Fault Tolerance",
  Pat Rogers, AdaCore, USA
- "Software Measures for Building Dependable Software Systems",
  William Bail, MITRE, USA
- "Modeling for Schedulability Analysis with the UML Profile for
  MARTE", Julio Medina, Universidad de Cantabria, Spain, and
  Huascar Espinoza, CEA-List, France
- "Hard Real-Time and Embedded Systems Programming",
  Pat Rogers, AdaCore, USA
- "Designing Real-Time, Concurrent, and Embedded Software Systems using
  UML and Ada", Rob Pettit, The Aerospace Corporation, USA
- "Object-Oriented Programming in Ada 2005",
  Matthew Heaney, On2 Technologies, USA
- "Execution Time: Analysis, Verification, and Optimization in Reliable
  Systems", Ian Broster, Rapita Systems, UK

Workshops (full day)
- "Software Vulnerabilities"
- "AADL"
  
Papers and Presentations
- 19 refereed technical papers in sessions on High-Integrity, Testing,
  Education, Real-Time, Model-Driven Engineering, MDE and AADL,
  Ensuring Software Integrity
- 6 industrial presentations on current practice and challenges
- submissions by authors from 19 countries, and accepted contributions
  from Argentina, Australia, China, France, Italy, Spain, Switzerland,
  UK, and USA

Exhibition
- 5 exhibitors already committed: AdaCore, Aonix, Ellidiss Software,
  IBM, and Rapita Systems; others expressed interest
- vendor presentation track for exhibitors

Social evening events
- Tuesday: welcome reception at Oceanopolis, Brittany's sea park by the
  Marina in Brest, including a guided tour, concert and buffet
- Wednesday: conference banquet by the sea side in the charming village
  of Porspoder, located 25 km northwest of Brest

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

We recommend all participants to book hotel accommodation as soon as
possible, as numerous events are organized in June in Brest.

For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2009.html> or contact the local
chair at <[log in to unmask]>.

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

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

[log in to unmask], Ada-Europe'2009 Publicity Chair

*** 14th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2009
*** June 8-12, 2009 ** Brest, France ** http://www.ada-europe.org ***

ATOM RSS1 RSS2