Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.num-analysis.independent

Topic: Ada-Europe 2012 early registration deadline approaching
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Dirk Craeynest

Posts: 22
Registered: 4/17/11
Ada-Europe 2012 early registration deadline approaching
Posted: May 2, 2012 5:25 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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

2nd Call for Participation

17th International Conference on
Reliable Software Technologies - Ada-Europe 2012

11-15 June 2012, Stockholm, Sweden

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

Organized by Ada-Europe,
in cooperation with ACM SIGAda, SIGBED, SIGPLAN

*** Early registration DEADLINE Monday 7 May 2012 ***

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

The 17th International Conference on Reliable Software Technologies -
Ada-Europe 2012 will take place in Stockholm, Sweden. Following its
traditional style, the conference will span a full week, including,
from Tuesday to Thursday, three days of parallel scientific, technical
and industrial programs, along with parallel tutorials on Monday and
Friday.

The Ada-Europe series of conferences has become established as a
successful international forum for providers, practitioners and
researchers in all aspects of reliable software technologies.
These events highlight the increased relevance of Ada in safety-
and security-critical systems, and provide a unique opportunity
for interaction and collaboration between academics and industrial
practitioners.

The 12-page Preliminary Program (PP) brochure with extensive
information is available on the conference web site. The PP contains
the list of accepted papers and industrial presentations, as well as
detailed descriptions of all tutorials, keynote presentations, and
panel sessions. In the menu on the home page first select "Program
Overview", and then the PP download link. Also check the conference
web site for registration, accommodation and travel information.

Quick overview
- Mon 11 & Fri 15: tutorials
- Tue 12 - Thu 14: core program

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

Program co-chairs
- Mats Brorsson, KTH Royal Institute of Technology, Sweden
matsbror@kth.se
- Luís Miguel Pinho, CISTER Research Centre/ISEP, Portugal
lmp@isep.ipp.pt

Invited speakers
- Bertrand Meyer, ETH Zurich, Switzerland, "Life with Contracts"
- Göran Backlund, Combitech, Sweden, "What is the Mission of a
Software Developer?"
- Jean-Loup Terraillon, ESTEC/ESA, the Netherlands, "Multicore
Processors - the Next Generation Computer for ESA Space Missions"

Tutorials (half day)
- "Advanced Ada Support for Real-Time Programming", Mario Aldea Rivas,
Universidad de Cantabria, Spain
- "Developing High-Integrity Systems with GNAT GPL and the Ravenscar
Profile", Juan A. de la Puente and Juan Zamorano, Universidad
Politécnica de Madrid, Spain
- "How to Optimize Reliable Software", Ian Broster and Andrew Coombes,
Rapita Systems Ltd, UK
- "DO-178C: The Next Avionics Software Safety Standard", Ben Brosgol,
AdaCore, USA
- "Designing and Checking Coding Standards for Ada", Jean-Pierre Rosen,
Adalog, France
- "Experimenting with ParaSail - Parallel Specification and
Implementation Language", Tucker Taft, SofCheck div. of AdaCore, USA

Tutorials (two half days, can be taken independently)
- "Basics of Oracle Database Programming with Ada: Introduction to
the Konada.Db Library" & "Oracle Database GUI-programming on MS
Windows", Frank Piron, KonAd GmbH, Germany
- "The Benefits of Using SPARK for High-assurance Software" & "The Use
of Proof and Generics in SPARK", Trevor Jennings, Altran Praxis, UK

Tutorials (full day)
- "Design of Multitask Software: the Entity-Life Modeling Approach",
Bo Sandén, Colorado Technical University, USA

Panel sessions
- "What is Language Technology in Our Time?", moderator Tullio
Vardanega (Univ. of Padua), Bertrand Meyer (Eiffel Software),
Franco Gasperoni (AdaCore), Erhard Plödereder (Univ. of Stuttgart),
José María Martínez (Cassidian)
- "Reliable Software, a Perspective from Industry", moderator Jørgen
Bundgaard (Rovsing A/S), Ana Rodríguez (GMV), João Brito (Critical
Software), etc.

Ada in Motion session
- show Ada being used in moving equipment
- informal demos during some of the coffee breaks
- among others Lego Mindstorms robots and Arduino based devices

Papers and Presentations
- 15 refereed technical papers in sessions on Application Frameworks,
Use of Ada, Modelling, Testing & Validation, Real-Time Systems
- 12 industrial presentations in sessions on Use of Ada, Space
Applications, Avionics Applications
- submissions by authors from 16 countries, and accepted contributions
from Australia, Austria, Brazil, China, Denmark, Finland, France,
Germany, Italy, Norway, Portugal, Spain, Switzerland, UK, USA

Vendor exhibition
- 6 exhibitors already committed: AdaCore, Altran Praxis, Ellidiss
Software, Objektum Solutions, Rapita Systems, and Vector Software
- vendor presentation sessions in core program

Social events
- each day: coffee breaks and sit-down lunches offer ample time for
interaction and networking
- Wednesday evening: conference banquet dinner at Östermalms Saluhall,
a marketplace food hall in a magnificent building from 1888, in the
heart of Stockholm

Registration
- early registration discount up to Mon May 7, 2012
- additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and
SIGPLAN members
- a limited number of student grants is available
- registration includes copy of printed proceedings at event
- includes coffee breaks and lunches
- three day conference registration includes conference banquet
- payment possible by bank transfer or credit card

Please make sure you book accommodation as soon as possible.
Stockholm will be very busy that week.

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

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

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

If you have a LinkedIn account, let your network know that you will
be attending or are interested in this event; RSVP on
http://events.linkedin.com/17th-International-Conference-Reliable/pub/783755

Dirk Craeynest, Ada-Europe'2012 Publicity Chair
Dirk.Craeynest@cs.kuleuven.be

*** 17th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2012
*** June 11-15, 2012 ** Stockholm, Sweden ** http://www.ada-europe.org
(V8.6)



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.