TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show HTML 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, 2 May 2012 23:26:53 +0200
Content-Type:
text/plain
Parts/Attachments:
text/plain (165 lines)
-----------------------------------------------------------------------

                       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
  [log in to unmask]
- Luís Miguel Pinho, CISTER Research Centre/ISEP, Portugal
  [log in to unmask]

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
[log in to unmask]

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


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

############################

To unsubscribe from the TEAM-ADA list:
write to: mailto:[log in to unmask]
or click the following link:
http://listserv.acm.org/SCRIPTS/WA-ACMLPX.EXE?SUBED1=TEAM-ADA&A=1

ATOM RSS1 RSS2