-------- Original-Nachricht -------- Betreff: [computational.science] 14th Int.Conf.on Reliable Software Technologies, Ada-Europe 2009 Datum: Sun, 19 Apr 2009 23:18:03 +0200 (MEST) Von: Dirk Craeynest Dirk.Craeynest@cs.kuleuven.be Organisation: "OptimaNumerics" An: Computational Science Mailing List computational.science@lists.OptimaNumerics.com
-----------------------------------------------------------------------
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 ae2009-reg@mlistes.telecom-bretagne.eu.
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement. Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, 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 ***
Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
--------------------------------------------------------------------- To unsubscribe, e-mail: computational.science-unsubscribe@lists.optimanumerics.com For additional commands, e-mail: computational.science-help@lists.optimanumerics.com
Computational Science mailing list hosting is provided by OptimaNumerics (http://www.OptimaNumerics.com) ---------------------------------------------------------------------