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:
Team Ada: Ada Programming Language Advocacy
Date:
Wed, 13 May 2009 19:37:01 +0200
Content-Type:
text/plain
Parts/Attachments:
text/plain (131 lines)
-----------------------------------------------------------------------

                       2nd Call for Participation

                    *** UPDATED 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 22 ***
        *** Advance Program available on conference web site ***

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

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 20-page Advance Program (AP) brochure with full information is
available on the conference web site.  It contains the list of accepted
papers and industrial presentations, as well as detailed descriptions
of all tutorials, workshops, and keynote presentations.  To download
the AP use the "get the pdf" link on the conference home page.  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 22, 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