TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Proportional Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Content-Type: text/plain; charset=ISO-8859-1
Date: Mon, 12 Apr 2010 23:16:16 +0200
Content-Disposition: inline
Reply-To: "Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
From: Dirk Craeynest <[log in to unmask]>
Message-ID: <[log in to unmask]>
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
Sender: "Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
Parts/Attachments: text/plain (132 lines)
-----------------------------------------------------------------------

                         Call for Participation

                        *** PROGRAM SUMMARY ***

                    15th International Conference on
            Reliable Software Technologies - Ada-Europe 2010

                   14 - 18 June 2010, Valencia, Spain

                http://www.ada-europe.org/conference2010

                        Organized by Ada-Europe,
                     in cooperation with ACM SIGAda

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

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

Ada-Europe organizes annual international conferences since the early
80's.  This is the 15th event in the Reliable Software Technologies
series: the previous ones were 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),
and Brest, France ('09).

The 16-page Advance Program (AP) brochure with full information is
available on the conference web site.  The AP contains the list of
accepted papers and industrial presentations, as well as detailed
descriptions of all tutorials and keynote presentations.  In the menu
on the home page first select "Conference Program" and then "Click here
to download the Advance Program in PDF".  Also check the conference web
site for registration, accommodation and travel information.

Quick overview
- Mon 14 & Fri 18: tutorials
- Tue 15 - Thu 17: paper, industrial & vendor presentations, exhibition

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

Program co-chairs
- Jorge Real, Universidad Politécnica de Valencia, Spain
  [log in to unmask]
- Tullio Vardanega, Università di Padova, Italy
  [log in to unmask]

Invited speakers
- Theodore Baker, Florida State University, USA, "What to Make
  of Multicore Processors for Reliable Real-Time Systems?"
- Pedro Albertos, Universidad Politécnica de Valencia, Spain,
 "Control Co-Design: Algorithms and their Implementation"
- James Sutton, Lockheed Martin, USA,
 "Ada: Made for the 3.0 World"

Tutorials (full day)
- "MAST: Predicting Response Times in Event-Driven Real-Time Systems",
  Michael González-Harbour, Universidad de Cantabria, Spain
- "SPARK: The Libre Language and Toolset for High-Assurance Software",
  Roderick Chapman, Altran Praxis Ltd., UK
- "C#, .NET and Ada: Keeping the Faith in a Language-Agnostic
  Environment", Benjamin Brosgol & Jérôme Lambourg, AdaCore, USA

Tutorials (half day)
- "Developing High-Integrity Systems with GNATforLEON/ORK+",
  Juan Antonio de la Puente & Juan Zamorano,
  Universidad Politécnica de Madrid, Spain
- "Software Design Concepts and Pitfalls",
  William Bail, The MITRE Corporation, USA
- "Using Object-Oriented Technologies in Secure Systems",
  Jean-Pierre Rosen, Adalog, France
- "Hypervisor Technology for Building Safety-Critical Systems:
  XtratuM", Ismael Ripoll & Alfons Crespo,
  Universidad Politécnica de Valencia, Spain
- "How to Optimize Reliable Software",
  Ian Broster, Rapita Systems, UK
- "Developing Web-Aware Applications in Ada with AWS",
  Jean-Pierre Rosen, Adalog, France

Papers and Presentations
- 17 refereed technical papers in sessions on Multicores and Ada,
  Software Dependability, Critical Systems, Real-Time Systems,
  Language Technology, Distribution and Persistency
- 11 industrial presentations on current practice and challenges
- submissions by authors from 20 countries, and accepted contributions
  from Australia, Austria, Canada, Denmark, Germany, Italy, Japan,
  Korea, Poland, Portugal, Spain, Sweden, Switzerland, UK, USA

Exhibition
- 4 exhibitors already committed: AdaCore, Altran Praxis, Atego
  (ex-Aonix), and Ellidiss Software; others expressed interest
- vendor presentation track for exhibitors

Social evening events
- Tuesday: welcome reception at the Jardí Botànic, the botanical garden
  within walking distance from the conference venue
- Wednesday: bus trip to and conference banquet in the Masía Xamandreu,
  a beautiful Valencian country house built in the 19th century

Registration
- early registration discount up to Mon May 24, 2010
- 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

Valencia is a tourist attraction at all times, and there are also other
events taking place on the same dates as the conference.  Therefore we
recommend booking your accommodation as soon as possible.

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

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

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

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

*** 15th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2010
*** June 14-18, 2010 *** Valencia, Spain *** http://www.ada-europe.org

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

ATOM RSS1 RSS2