TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced 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:
Sun, 16 May 2010 22:25:57 +0200
Content-Type:
text/plain
Parts/Attachments:
text/plain (131 lines)
-----------------------------------------------------------------------

                       2nd Call for Participation

                    *** UPDATED 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)
- "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
- invited session on Software Vulnerabilities and Security
- 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