Conference announcements

Final Program Available -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


The Final Program for the Ada-Europe'2009 conference is available here in a format suitable for printing:

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


2nd Call for Participation -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: dirk@aqua.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2009 early registration deadline approaching
Date: Wed, 13 May 2009 19:35:05 +0200 (CEST)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Early registration discount until May 22.
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Brest,France

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

                       2nd Call for Participation

                    *** UPDATED 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 22 ***
        *** Advance Program available on conference web site ***

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

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 20-page Advance Program (AP) brochure with full information is
available on the conference web site.  It contains the list of accepted
papers and industrial presentations, as well as detailed descriptions
of all tutorials, workshops, and keynote presentations.  To download
the AP use the "get the pdf" link on the conference home page [ or get
the Ada-Europe 2009 Advance Program in PDF format (8.592KB) from this
site -- dc] .  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 22, 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 ***
(V11.1)

Publicity Material Available -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


Some material to help announce the Ada-Europe'2009 conference is available here in a format suitable for printing:

Feel free to print and distribute wherever appropriate. Thanks!

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


Call for Participation -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: dirk@aqua.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: 14th Int.Conf.on Reliable Software Technologies, Ada-Europe 2009
Date: Sun, 19 Apr 2009 23:16:19 +0200 (CEST)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Program information is online. Registration has started.
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Brest,France

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

                         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 ***
(V10.1)

Reminder -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


Date: Fri, 3 Apr 2009 06:51:34 -0400
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for April 2009:

Don't forget about our annual SIGAda conference:

SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software

Tampa Bay, Florida,  USA
1-5 November 2009

http://www.acm.org/sigada/conf/sigada2009/

[...]

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

Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:

o  21st Annual Systems & Software Technology Conference (SSTC 2009)
   Salt Lake City, Utah, USA
   20-23 April 2009
      http://www.sstc-online.org/

o  DASIA (DAta Systems In Aerospace) 2009
   Istanbul, Turkey
   26-29 May 2009
      http://www.eurospace.org/

o  Ada-Europe 2009
   14th International Conference on Reliable Software Technologies
   Brest, France
   8-12 June 2009
      http://www.ada-europe.org/conference2009.html

o  ITiCSE (Innovation and Technology in Computer Science Education) 2009
   Université Pierre et Marie Curie
   Paris, France
   3-8 July 2009
      http://iticse09.lrde.org/

o  Principles of Distributed Computing (PODC 2009)
   Calgary, Alberta, Canada
   10-12 August 2009
      http://www.podc.org/podc2009/

o  IRTAW-14 (14th International Real-Time Ada Workshop)
   Portovenere, Italy
   7-9 October 2009
      http://events.math.unipd.it/irtaw14/

o  ACM Technical Symposium on Computer Science Education (SIGCSE 2010)
   Milwaukee, Wisconsin, USA
   10-13 March 2010
      http://www.sigcse.org/sigcse2010/

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

[...]

Clyde Roby, SIGAda Secretary

Hotel accommodation in Brest -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: Dirk Craeynest <Dirk.Craeynest@cs.kuleuven.be>
Subject: Ada-Europe 2009 - hotel accommodation in Brest
To: Ada-Europe-attendees@cs.kuleuven.be
Date: Thu, 19 Mar 2009 12:24:14 +0100 (MET)

Dear participant at a previous Ada-Europe conference,

The local organizers of the 14th International Conference on Reliable
Software Technologies - Ada-Europe 2009 - requested to distribute the
following message.

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

---

Dear all,

You receive this email because you would attend to the next Ada Europe
conference at Brest (june 2009).

At Brest, numerous events are organized in June.
Then, we have blocked a set of rooms for conference/workshop/tutorial
attendees and speakers.
This list of hotels can be reached  at :
http://www.ada-europe.org/conference2009.html
Select "Venue" and then "Accommodation" in the menu.

Some of these rooms are blocked until middle of april.
So, it is strongly adviced to book rooms as soon as possible, and if
possible, before April.
See the conference website  for booking instructions.


Thanks very much

The Ada-europe conference organizers

FINAL Call for Industrial Presentations -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: dirk@heli.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: FINAL CfIP, Conf. Reliable Software Technologies, Ada-Europe 2009
Date: Sat, 10 Jan 2009 19:36:21 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 2 days until submission deadline!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Brest,France

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

                FINAL Call for Industrial Presentations

                    14th International Conference on
            Reliable Software Technologies - Ada-Europe 2009

                     8-12 June 2009, Brest, France

                *** DEADLINE Monday 12 JANUARY 2009 ***

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

The 14th International Conference on Reliable Software Technologies
(Ada-Europe 2009) will take place in Brest, France.  Following its
traditional style, the conference will span a full week, including
a three-day technical program and vendor exhibitions from Tuesday to
Thursday, along with parallel tutorials and workshops on Monday and
Friday.

In addition to the usual Call for Papers, the conference also seeks
industrial presentations which may deliver value and insight, but do
not fit the selection process for regular papers.

Authors of industrial presentations are invited to submit a short
overview (at least 1 page in size) of the proposed presentation to the
Conference Chair (Frank.Singhoff@univ-brest.fr) by 12 January 2009.
The Industrial Program Committee will review the proposals and make
the selection.

The authors of selected presentations shall prepare a final short
abstract and submit it to the Conference Chair by 11 May 2009, aiming
at a 20-minute talk.  The authors of accepted presentations will be
invited to derive articles from them for publication in the Ada User
Journal, which will host the proceedings of the Industrial Program of
the Conference.

Ada-Europe will offer honorary awards for the best regular paper and
the best presentation.

Schedule
--------
12 January 2009:  Submission of industrial presentation proposals
09 February 2009: Notification to all authors
11 May 2009:      Industrial presentations required
8-12 June 2009:   Conference

Industrial Committee
--------------------
Guillem Bernat, Rapita Systems, UK
Agusti Canals, CS, France
Roderick Chapman, Praxis HIS, UK
Colin Coates, Telelogic, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk Dickmanns, EADS, Germany
Tony Elliston, Ellidiss Software, UK
Franco Gasperoni, AdaCore, France
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Bruce Lewis, US Army, USA
Ahlan Marriott, White-Elephant GmbH, Switzerland
Rei Stråhle, Saab Systems, Sweden

Full CfIP in PDF format
-----------------------
http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfip.pdf

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

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

Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2009 Publicity Chair
(V8.1)

2nd Call for Industrial Presentations -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: dirk@heli.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: 2nd CfIP, Reliable Software Technologies, Ada-Europe 2009
Date: Sun, 4 Jan 2009 18:06:00 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: One week until submission deadline!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Brest,France

This call for industrial presentations is specifically targeted
to those of you who either work on industrial projects (possibly
Ada-related) where reliable software is important, or know people
working on such projects.

Please think for a moment what others might learn from the experience
gained in those projects, and get a presentation overview submitted
at the latest on January 12th, i.e. one week from now.

Many projects could report a lot of valuable experience: sharing it
with others benefits the whole community and might provide useful
feedback to the project as well.

We're looking forward to receive many interesting presentations.

Dirk Craeynest, Ada-Europe'2009 Publicity Chair

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

                 2nd Call for Industrial Presentations

                    14th International Conference on
            Reliable Software Technologies - Ada-Europe 2009

                     8-12 June 2009, Brest, France

                        Organized by Ada-Europe,
                     in cooperation with ACM SIGAda

                *** DEADLINE Monday 12 JANUARY 2009 ***

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

General Information
-------------------
The 14th International Conference on Reliable Software Technologies
(Ada-Europe 2009) will take place in Brest, France.  Following its
traditional style, the conference will span a full week, including
a three-day technical program and vendor exhibitions from Tuesday to
Thursday, along with parallel tutorials and workshops on Monday and
Friday.

Call for Industrial Presentations
---------------------------------
In addition to the usual Call for Papers, the conference also seeks
industrial presentations which may deliver value and insight, but do
not fit the selection process for regular papers.

Schedule
--------
  12 January 2009:  Submission of industrial presentation proposals
  09 February 2009: Notification to all authors
  11 May 2009:      Industrial presentations required
  8-12 June 2009:   Conference

Submission of Presentations
---------------------------
Authors of industrial presentations are invited to submit a short
overview (at least 1 page in size) of the proposed presentation to the
Conference Chair by 12 January 2009.  The Industrial Program Committee
will review the proposals and make the selection.

The authors of selected presentations shall prepare a final short
abstract and submit it to the Conference Chair by 11 May 2009, aiming
at a 20-minute talk.  The authors of accepted presentations will be
invited to derive articles from them for publication in the Ada User
Journal, which will host the proceedings of the Industrial Program of
the Conference.

Call for Exhibitions
--------------------
Commercial exhibitions will span the three days of the main conference.
Vendors and providers of software products and services should contact
the Exhibition Chair for information and for allowing suitable planning
of the exhibition space and time.

Conference Topics
-----------------
The conference has successfully established itself as an international
forum for providers, practitioners and researchers into reliable
software technologies.  The conference presentations will illustrate
current work in the theory and practice of the design, development and
maintenance of long-lived, high-quality software systems for a variety
of application domains.  The program will allow ample time for keynotes,
Q&A sessions, panel discussions and social events.  Participants will
include practitioners and researchers in representation from industry,
academia and government organizations active in the promotion and
development of reliable software technologies.  To mark the completion
of the Ada language standard revision process, contributions that
present and discuss the potential of the revised language are
particularly sought after.

Prospective contributions should address the topics of interest to the
conference, which include but are not limited to those listed below:

- Methods and Techniques for Software Development and Maintenance:
  Requirements Engineering, Object-Oriented Technologies, Model-driven
  Architecture and Engineering, Formal Methods, Re-engineering and
  Reverse Engineering, Reuse, Software Management Issues, Model
  Engineering.

- Software Architectures: Design Patterns, Frameworks, Architecture-
  Centered Development, Component and Class Libraries, Component-based
  Design.

- Enabling Technologies: Software Development Environments and Project
  Browsers, Compilers, Debuggers, Run-time Systems, Middleware
  Components.

- Software Quality: Quality Management and Assurance, Risk Analysis,
  Program Analysis, Verification, Validation, Testing of Software
  Systems.

- Theory and Practice of High-integrity Systems: Real-Time,
  Distribution, Fault Tolerance, Security, Reliability, Trust and
  Safety.

- Embedded Systems: Architecture Modeling, Co-Design, Reliability and
  Performance Analysis.

- Mainstream and Emerging Applications: Multimedia and Communications,
  Manufacturing, Robotics, Avionics, Space, Health Care,
  Transportation.

- Ada Language and Technology: Programming Techniques, Object-
  Orientation, Concurrent and Distributed Programming, Evaluation &
  Comparative Assessments, Critical Review of Language Features and
  Enhancements, Novel Support Technology, HW/SW Platforms.

- Experience Reports: Case Studies and Comparative Assessments,
  Management Approaches, Qualitative and Quantitative Metrics.

- Ada and Education: Where does Ada stand in the software engineering
  curriculum; how learning Ada serves the curriculum; what it takes to
  form a fluent Ada user; lessons learned on Education and Training
  Activities with bearing on any of the conference topics.

Awards
------
Ada-Europe will offer honorary awards for the best regular paper and
the best presentation.

Industrial Committee
--------------------
  Guillem Bernat, Rapita Systems, UK
  Agusti Canals, CS, France
  Roderick Chapman, Praxis HIS, UK
  Colin Coates, Telelogic, UK
  Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
  Dirk Dickmanns, EADS, Germany
  Tony Elliston, Ellidiss Software, UK
  Franco Gasperoni, AdaCore, France
  Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
  Bruce Lewis, US Army, USA
  Ahlan Marriott, White-Elephant GmbH, Switzerland
  Rei Stråhle, Saab Systems, Sweden

Conference Organization
-----------------------
Conference Chair
  Frank Singhoff, UBO/LISyC, France
  Frank.Singhoff@univ-brest.fr

Program Co-Chairs
  Yvon Kermarrec, Télécom Bretagne, France
  Yvon.Kermarrec@telecom-bretagne.eu
  Fabrice Kordon, University Pierre & Marie Curie, France
  Fabrice.Kordon@lip6.fr

Tutorial Chair
  Jérôme Hugues, Télécom Paris-Tech, France
  Jerome.Hugues@telecom-paristech.fr

Exhibition Chair
  Pierre Dissaux, Ellidiss Technologies
  Pierre.Dissaux@ellidiss.com

Publicity Chair
  Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
  Dirk.Craeynest@cs.kuleuven.be

Local Chairs
  Alain Plantec and Mickael Kerboeuf, UBO/LISyC, France
  Alain.Plantec@univ-brest.fr and Mickael.Kerboeuf@univ-brest.fr

CfIP in PDF format
------------------
http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfip.pdf

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

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

Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2009 Publicity Chair
(V7.1)

Reminder -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


Date: Fri, 2 Jan 2009 07:57:48 -0500
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: <SIGADA-ANNOUNCE@LISTSERV.ACM.ORG>

Message for January 2009:

Don't forget about our annual SIGAda conference:

SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software

Tampa Bay, Florida,  USA
1-5 November 2009

http://www.acm.org/sigada/conf/sigada2009/

[...]

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

Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:

o  Free and Open Source Software Developers' European Meeting (FOSDEM'09)
   Brussels, Belgium
   7-8 February 2009
      http://www.fosdem.org/2009/

o  ACM Technical Symposium on Computer Science Education (SIGCSE 2009)
   Chattanooga, Tennessee, USA
   4-7 March 2009
      http://www.cs.arizona.edu/groups/sigcse09/

o  Ada Conference UK 2009
   Church House Conference Centre, Westminster
   London, UK
   24 March 2009
      http://www.ada-uk-conference.co.uk/

o  [ duplicates removed; see above -- dc ]

o  Ada-Europe 2009
   14th International Conference on Reliable Software Technologies
   Brest, France
   8-12 June 2009
      http://www.ada-europe.org/conference2009.html

o  [ duplicates removed; see above -- dc ]

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

[...]

Clyde Roby, SIGAda Secretary

Call for Industrial Presentations -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: dirk@heli.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2009
Date: Wed, 24 Dec 2008 00:05:34 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 20 days until submission deadline!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Brest,France

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

                   Call for Industrial Presentations

                    14th International Conference on
            Reliable Software Technologies - Ada-Europe 2009

                     8-12 June 2009, Brest, France

                        Organized by Ada-Europe,
                     in cooperation with ACM SIGAda

                *** DEADLINE Monday 12 JANUARY 2009 ***

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

[ 163 lines deleted; see updated version above -- dc ]

Extended Deadline for Papers, Tutorials, Workshops -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: dirk@heli.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2009 EXTENDED submission deadline Dec 15
Date: Fri, 5 Dec 2008 09:34:02 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Submission deadline extended by 2 weeks until December 15.
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Brest,France

Considering the requests of several potential contributors, and to give
all authors the same opportunity of further refining their submission,
the Conference and Program Chairs decided that the submission deadline
for regular papers, tutorials and workshops will be extended by 2 weeks
until Monday, December 15, 2008.

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

                           EXTENDED DEADLINE

                    14th International Conference on
            Reliable Software Technologies - Ada-Europe 2009

                    8 - 12 June 2009, Brest, France

         The 14th International Conference on Reliable Software
        Technologies (Ada-Europe 2009) will take place in Brest,
      France. Following its traditional style, the conference will
       span a full week, including a three-day technical program
      and vendor exhibitions from Tuesday to Thursday, along with
         parallel tutorials and workshops on Monday and Friday.

           *** Extended DEADLINE Monday 15 DECEMBER 2008 ***

                       Regular Papers: submit via
     http://www.easychair.org/conferences?conf=adaeurope2008 [sic]

                 Tutorials: submit to Tutorial Chair at
                   Jerome.Hugues@telecom-paristech.fr

                Workshops: submit to Conference Chair at
                      Frank.Singhoff@univ-brest.fr

      For more information please see the full Call for Papers at
http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfp.pdf

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

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

Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2009 Publicity Chair
(V5.1)

Final Call for Papers -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: dirk@heli.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: FINAL CfP, Reliable Software Technologies, Ada-Europe 2009
Date: Fri, 28 Nov 2008 09:54:11 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Submit your contributions by next Monday at the latest!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Brest,France

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

                         FINAL Call for Papers

                    14th International Conference on
            Reliable Software Technologies - Ada-Europe 2009

                    8 - 12 June 2009, Brest, France

         The 14th International Conference on Reliable Software
        Technologies (Ada-Europe 2009) will take place in Brest,
      France. Following its traditional style, the conference will
       span a full week, including a three-day technical program
      and vendor exhibitions from Tuesday to Thursday, along with
         parallel tutorials and workshops on Monday and Friday.

                *** DEADLINE Monday 1 DECEMBER 2008 ***

                       Regular Papers: submit via
     http://www.easychair.org/conferences?conf=adaeurope2008 [sic]

                 Tutorials: submit to Tutorial Chair at
                   Jerome.Hugues@telecom-paristech.fr

                Workshops: submit to Conference Chair at
                      Frank.Singhoff@univ-brest.fr

      For more information please see the full Call for Papers at
http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfp.pdf

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

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

Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2009 Publicity Chair
(V4.1)

2nd Call for Papers -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: dirk@heli.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2009 submission deadline approaching
Date: Wed, 19 Nov 2008 21:46:37 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 12 days until submission deadline!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Brest,France

-----------------------------------------------------------------------
2nd CALL FOR PAPERS

14th International Conference on Reliable Software Technologies - Ada-Europe 2009

8 - 12 June 2009, Brest, France

Organized by Ada-Europe, in cooperation with ACM SIGAda

*** DEADLINE 1 DECEMBER ***
*** Web Submission Page Available ***

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).

General Information
The 14th International Conference on Reliable Software Technologies (Ada-Europe 2009) will take place in Brest, France. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibitions from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday.

Schedule

01 December 2008: Submission of regular papers, tutorial and workshop proposals
12 January 2009:  Submission of industrial presentation proposals
09 February 2009: Notification to all authors
09 March 2009:    Camera-ready version of regular papers required
11 May 2009:      Industrial presentations, tutorial and workshop material required
08-12 June 2009:  Conference

Topics
The conference has successfully established itself as an international forum for providers, practitioners and researchers into reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a variety of application domains. The program will allow ample time for keynotes, Q&A sessions, panel discussions and social events. Participants will include practitioners and researchers in representation from industry, academia and government organizations active in the promotion and development of reliable software technologies. To mark the completion of the Ada language standard revision process, contributions that present and discuss the potential of the revised language are particularly sought after.

Prospective contributions should address the topics of interest to the conference, which include but are not limited to those listed below:

Call for Regular Papers
Authors of regular papers which are to undergo peer review for acceptance are invited to submit original contributions. Paper submissions shall be in English, complete and not exceeding 14 LNCS-style pages in length. Authors should submit their work via the Web submission system at http://www.easychair.org/conferences?conf=adaeurope2008 [sic]. The format for submission is solely PDF. Should you have problems to comply with format and submission requirements, please contact the Program Chair.

Proceedings
The authors of accepted regular papers shall prepare camera-ready submissions in full conformance with the LNCS style, not exceeding 14 pages and strictly by 9 March 2009. For format and style guidelines authors should refer to: http://www.springer.de/comp/lncs/authors.html. Failure to comply and to register for the conference will prevent the paper from appearing in the proceedings. The conference proceedings will be published in the Lecture Notes in Computer Science (LNCS) series by Springer Verlag, and will be available at the start of the conference.

Awards
Ada-Europe will offer honorary awards for the best regular paper and the best presentation.

Call for Industrial Presentations
The conference also seeks industrial presentations which may deliver value and insight, but do not fit the selection process for regular papers. Authors of industrial presentations are invited to submit a short overview (at least 1 page in size) of the proposed presentation to the Conference Chair by 12 January 2009. The Industrial Program Committee will review the proposals and make the selection. The authors of selected presentations shall prepare a final short abstract and submit it to the Conference Chair by 11 May 2009, aiming at a 20-minute talk. The authors of accepted presentations will be invited to derive articles from them for publication in the Ada User Journal, which will host the proceedings of the Industrial Program of the Conference.

Call for Tutorials
Tutorials should address subjects that fall within the scope of the conference and may be proposed as either half- or full-day events. Proposals should include a title, an abstract, a description of the topic, a detailed outline of the presentation, a description of the presenter's lecturing expertise in general and with the proposed topic in particular, the proposed duration (half day or full day), the intended level of the tutorial (introductory, intermediate, or advanced), the recommended audience experience and background, and a statement of the reasons for attending. Proposals should be submitted by e-mail to the Tutorial Chair. The providers of full-day tutorials will receive a complimentary conference registration as well as a fee for every paying participant in excess of 5; for half-day tutorials, these benefits will be accordingly halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials.

Call for Workshops
Workshops on themes that fall within the conference scope may be proposed. Proposals may be submitted for half- or full-day events, to be scheduled on either ends of the conference week. Workshop proposals should be submitted to the Conference Chair. The workshop organizer shall also commit to preparing proceedings for timely publication in the Ada User Journal.

Call for Exhibitions
Commercial exhibitions will span the three days of the main conference. Vendors and providers of software products and services should contact the Exhibition Chair for information and for allowing suitable planning of the exhibition space and time.

Grants for Students
A limited number of sponsored grants is expected to be available for students who would like to attend the conference or tutorials. Contact the Conference Chair for details.

Organizing Committee

Conference Chair
  Frank Singhoff, UBO/LISyC, France
  Frank.Singhoff@univ-brest.fr

Program Co-Chairs
  Yvon Kermarrec, Télécom Bretagne, France
  Yvon.Kermarrec@telecom-bretagne.eu
  Fabrice Kordon, University Pierre & Marie Curie, France
  Fabrice.Kordon@lip6.fr

Tutorial Chair
  Jérôme Hugues, Télécom Paris-Tech, France
  Jerome.Hugues@telecom-paristech.fr

Exhibition Chair
  Pierre Dissaux, Ellidiss Technologies
  Pierre.Dissaux@ellidiss.com

Publicity Chair
  Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
  Dirk.Craeynest@cs.kuleuven.be

Local Chairs
  Alain Plantec and Mickael Kerboeuf, UBO/LISyC, France
  Alain.Plantec@univ-brest.fr and Mickael.Kerboeuf@univ-brest.fr

Program Committee

Alejandro Alonso, Universidad Politécnica de Madrid, Spain
Leemon Baird, US Air Force Academy, USA
Johann Blieberger, Technische Universität Wien, Austria
Maarten Boasson, University of Amsterdam, The Netherlands
Bernd Burgstaller, Yonsei University, Korea
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Alfons Crespo, Universidad Politécnica de Valencia, Spain
Juan A. De la Puente, Universidad Politécnica de Madrid, Spain
Raymond Devillers, Université Libre de Bruxelles, Belgium
Michael González Harbour, Universidad de Cantabria, Spain
Javier Gutiérrez José, Universidad de Cantabria, Spain
Philippe Dhaussy, ENSIETA/LISyC, France
Andrew Hately, Eurocontrol CRDS, Hungary
Jérôme Hugues, Telecom Paris, France
Günter Hommel, Technischen Univesität Berlin, Germany
Hubert Keller, Institut für Angewandte Informatik, Germany
Yvon Kermarrec, Télécom Bretagne, France
Fabrice Kordon, Université Pierre & Marie Curie, France
Albert Llemosí, Universitat de les Illes Balears, Spain
Franco Mazzanti, ISTI-CNR Pisa, Italy
John McCormick, University of Northern Iowa, USA
Stephen Michell, Maurya Software, Canada
Javier Miranda, Universidad Las Palmas de Gran Canaria, Spain
Scott Moody, Boeing, USA
Daniel Moldt, University of Hamburg, Germany
Laurent Pautet, Telecom Paris, France
Laure Petrucci, LIPN, Université Paris 13, France
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
Erhard Plödereder, Universität Stuttgart, Germany
Real Jorge, Universidad Politécnica de Valencia, Spain
Alexander Romanovsky, University of Newcastle upon Tyne, UK
Jean-Pierre Rosen, Adalog, France
Lionel Seinturier, Université de Lille, France
Frank Singhoff, UBO/LISyC, France
Oleg Sokolsky, University of Pennsylvania, USA
Ricky Sward, MITRE, USA
Tullio Vardanega, Università di Padova, Italy
Francois Vernadat, LAAS-CNRS, Université de Toulouse, Insa
Andy Wellings, University of York, UK
Jürgen Winkler, Friedrich-Schiller-Universität, Germany
Luigi Zaffalon, University of Applied Sciences, W. Switzerland

Industrial Committee

Guillem Bernat, Rapita Systems, UK
Agusti Canals, CS, France
Roderick Chapman, Praxis HIS, UK
Colin Coates, Telelogic, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk Dickmanns, EADS, Germany
Tony Elliston, Ellidiss Software, UK
Franco Gasperoni, AdaCore, France
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Bruce Lewis, US Army, USA
Ahlan Marriott, White-Elephant GmbH, Switzerland
Rei Stråhle, Saab Systems, Sweden

CfP in PDF format
http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfp.pdf

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

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

Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2009 Publicity Chair
(V3.1)

Call for Papers -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: dirk@heli.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: CfP 14th Conf. Reliable Software Technologies, Ada-Europe 2009
Date: Thu, 6 Nov 2008 23:51:16 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Time to prepare your submissions!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Brest,France

-----------------------------------------------------------------------
CALL FOR PAPERS

14th International Conference on Reliable Software Technologies - Ada-Europe 2009

8 - 12 June 2009, Brest, France

Organized by Ada-Europe, in cooperation with ACM SIGAda

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).

General Information
The 14th International Conference on Reliable Software Technologies (Ada-Europe 2009) will take place in Brest, France. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibitions from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday.

Schedule

01 December 2008: Submission of regular papers, tutorial and workshop proposals
12 January 2009:  Submission of industrial presentation proposals
09 February 2009: Notification to all authors
09 March 2009:    Camera-ready version of regular papers required
11 May 2009:      Industrial presentations, tutorial and workshop material required
08-12 June 2009:  Conference

Topics
The conference has successfully established itself as an international forum for providers, practitioners and researchers into reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a variety of application domains. The program will allow ample time for keynotes, Q&A sessions, panel discussions and social events. Participants will include practitioners and researchers in representation from industry, academia and government organizations active in the promotion and development of reliable software technologies. To mark the completion of the Ada language standard revision process, contributions that present and discuss the potential of the revised language are particularly sought after.

Prospective contributions should address the topics of interest to the conference, which include but are not limited to those listed below:

Call for Regular Papers
Authors of regular papers which are to undergo peer review for acceptance are invited to submit original contributions. Paper submissions shall be in English, complete and not exceeding 14 LNCS-style pages in length. Authors should submit their work via the Web submission system accessible from the Conference Home page. The format for submission is solely PDF. Should you have problems to comply with format and submission requirements, please contact the Program Chair.

Proceedings
The authors of accepted regular papers shall prepare camera-ready submissions in full conformance with the LNCS style, not exceeding 14 pages and strictly by 9 March 2009. For format and style guidelines authors should refer to: http://www.springer.de/comp/lncs/authors.html. Failure to comply and to register for the conference will prevent the paper from appearing in the proceedings. The conference proceedings will be published in the Lecture Notes in Computer Science (LNCS) series by Springer Verlag, and will be available at the start of the conference.

Awards
Ada-Europe will offer honorary awards for the best regular paper and the best presentation.

Call for Industrial Presentations
The conference also seeks industrial presentations which may deliver value and insight, but do not fit the selection process for regular papers. Authors of industrial presentations are invited to submit a short overview (at least 1 page in size) of the proposed presentation to the Conference Chair by 12 January 2009. The Industrial Program Committee will review the proposals and make the selection. The authors of selected presentations shall prepare a final short abstract and submit it to the Conference Chair by 11 May 2009, aiming at a 20-minute talk. The authors of accepted presentations will be invited to derive articles from them for publication in the Ada User Journal, which will host the proceedings of the Industrial Program of the Conference.

Call for Tutorials
Tutorials should address subjects that fall within the scope of the conference and may be proposed as either half- or full-day events. Proposals should include a title, an abstract, a description of the topic, a detailed outline of the presentation, a description of the presenter's lecturing expertise in general and with the proposed topic in particular, the proposed duration (half day or full day), the intended level of the tutorial (introductory, intermediate, or advanced), the recommended audience experience and background, and a statement of the reasons for attending. Proposals should be submitted by e-mail to the Tutorial Chair. The providers of full-day tutorials will receive a complimentary conference registration as well as a fee for every paying participant in excess of 5; for half-day tutorials, these benefits will be accordingly halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials.

Call for Workshops
Workshops on themes that fall within the conference scope may be proposed. Proposals may be submitted for half- or full-day events, to be scheduled on either ends of the conference week. Workshop proposals should be submitted to the Conference Chair. The workshop organizer shall also commit to preparing proceedings for timely publication in the Ada User Journal.

Call for Exhibitions
Commercial exhibitions will span the three days of the main conference. Vendors and providers of software products and services should contact the Exhibition Chair for information and for allowing suitable planning of the exhibition space and time.

Grants for Students
A limited number of sponsored grants is expected to be available for students who would like to attend the conference or tutorials. Contact the Conference Chair for details.

Organizing Committee

Conference Chair
  Frank Singhoff, UBO/LISyC, France
  Frank.Singhoff@univ-brest.fr

Program Co-Chairs
  Yvon Kermarrec, Télécom Bretagne, France
  Yvon.Kermarrec@telecom-bretagne.eu
  Fabrice Kordon, University Pierre & Marie Curie, France
  Fabrice.Kordon@lip6.fr

Tutorial Chair
  Jérôme Hugues, Télécom Paris-Tech, France
  Jerome.Hugues@telecom-paristech.fr

Exhibition Chair
  Pierre Dissaux, Ellidiss Technologies
  Pierre.Dissaux@ellidiss.com

Publicity Chair
  Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
  Dirk.Craeynest@cs.kuleuven.be

Local Chairs
  Alain Plantec and Mickael Kerboeuf, UBO/LISyC, France
  Alain.Plantec@univ-brest.fr and Mickael.Kerboeuf@univ-brest.fr

Program Committee

Alejandro Alonso, Universidad Politécnica de Madrid, Spain
Leemon Baird, US Air Force Academy, USA
Johann Blieberger, Technische Universität Wien, Austria
Maarten Boasson, University of Amsterdam, The Netherlands
Bernd Burgstaller, Yonsei University, Korea
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Alfons Crespo, Universidad Politécnica de Valencia, Spain
Juan A. De la Puente, Universidad Politécnica de Madrid, Spain
Raymond Devillers, Université Libre de Bruxelles, Belgium
Michael González Harbour, Universidad de Cantabria, Spain
Javier Gutiérrez José, Universidad de Cantabria, Spain
Philippe Dhaussy, ENSIETA/LISyC, France
Andrew Hately, Eurocontrol CRDS, Hungary
Jérôme Hugues, Telecom Paris, France
Günter Hommel, Technischen Univesität Berlin, Germany
Hubert Keller, Institut für Angewandte Informatik, Germany
Yvon Kermarrec, Télécom Bretagne, France
Fabrice Kordon, Université Pierre & Marie Curie, France
Albert Llemosí, Universitat de les Illes Balears, Spain
Franco Mazzanti, ISTI-CNR Pisa, Italy
John McCormick, University of Northern Iowa, USA
Stephen Michell, Maurya Software, Canada
Javier Miranda, Universidad Las Palmas de Gran Canaria, Spain
Scott Moody, Boeing, USA
Daniel Moldt, University of Hamburg, Germany
Laurent Pautet, Telecom Paris, France
Laure Petrucci, LIPN, Université Paris 13, France
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
Erhard Plödereder, Universität Stuttgart, Germany
Real Jorge, Universidad Politécnica de Valencia, Spain
Alexander Romanovsky, University of Newcastle upon Tyne, UK
Jean-Pierre Rosen, Adalog, France
Lionel Seinturier, Université de Lille, France
Frank Singhoff, UBO/LISyC, France
Oleg Sokolsky, University of Pennsylvania, USA
Ricky Sward, MITRE, USA
Tullio Vardanega, Università di Padova, Italy
Francois Vernadat, LAAS-CNRS, Université de Toulouse, Insa
Andy Wellings, University of York, UK
Jürgen Winkler, Friedrich-Schiller-Universität, Germany
Luigi Zaffalon, University of Applied Sciences, W. Switzerland

Industrial Committee

Guillem Bernat, Rapita Systems, UK
Agusti Canals, CS, France
Roderick Chapman, Praxis HIS, UK
Colin Coates, Telelogic, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk Dickmanns, EADS, Germany
Tony Elliston, Ellidiss Software, UK
Franco Gasperoni, AdaCore, France
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Bruce Lewis, US Army, USA
Ahlan Marriott, White-Elephant GmbH, Switzerland
Rei Stråhle, Saab Systems, Sweden

CfP in PDF format
http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfp.pdf

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

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

Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2009 Publicity Chair
(V2.1)

Reminder -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


Date: Tue, 4 Nov 2008 09:09:32 -0500
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for November 2008:

Don't forget about our annual SIGAda conference:

o  [ duplicates removed; see above -- dc ]

Don't forget about other upcoming Ada-related conferences:

o  [ duplicates removed; see above -- dc ]

o  Ada-Europe 2009
   14th International Conference on Reliable Software Technologies
   Brest, France
   8-12 June 2009

o  [ duplicates removed; see above -- dc ]

and other relatively general conferences where Ada might be:

o  International Joint Conferences on Computer, Information, and Systems
   Sciences, and Engineering (CISSE 2008)
   University of Bridgeport
   Bridgeport, CT 06604, USA
   5-13 December 2008
      http://www.cisse2008online.org/

o  [21st] International Conference on Software & Systems Engineering and
   their Applications (ICSSEA 2008)
   [ Paris, France
     9-11 December 2008
     http://www.iproms.org/icssea-2008
   -- dc ]

o  [ duplicates removed; see above -- dc ]

[...]

Clyde Roby, SIGAda Secretary

Reminder -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


Date: Tue, 2 Sep 2008 06:43:58 -0400
From: SIGAda Webmaster <roby@ida.org>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for September 2008:

Don't forget about our annual SIGAda conference:

o  SIGAda 2008
   Portland, OR,  USA
   26-30 October 2008
      http://www.acm.org/sigada/conf/sigada2008/

Don't forget about other upcoming Ada-related conferences:

o  [ duplicates removed; see above -- dc ]

o  Ada-Europe 2009
   14th International Conference on Reliable Software Technologies
   Brest, France
   8-12 June 2009

and other relatively general conferences where Ada might be:

o  [ duplicates removed; see above -- dc ]

[...]

Clyde Roby, SIGAda Secretary

Reminder -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


[ Ada-Europe 2009 will be in Brest, France, June 8-12, 2009.
  See also below for the Preliminary Call for Papers. -- dc ]

Date: Wed, 2 Jul 2008 06:12:14 -0400
From: SIGAda Webmaster <roby@ida.org>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for July 2008:

Don't forget about our annual SIGAda conference:

o  [ duplicates removed; see above -- dc ]

Don't forget about other upcoming Ada-related conferences:

o  [ duplicates removed; see above -- dc ]

o  Ada-Europe 2009
   14th International Conference on Reliable Software Technologies
   [ Brest, France
     8-12 June 2009
   -- dc ]

and other relatively general conferences where Ada might be:

[...]

o  Principles of Distributed Computing (PODC 2008)
   Toronto, Canada
   18-21 August 2008
      http://www.podc.org/

o  [ duplicates removed; see above -- dc ]

[...]

Clyde Roby, SIGAda Secretary

Preliminary Call for Papers -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


From: dirk@muspel.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: CFP 14th Conf. Reliable Software Technologies, Ada-Europe 2009
Date: Sat, 28 Jun 2008 22:05:49 +0200 (CEST)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Start now to think about your submissions!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Brest,France

-----------------------------------------------------------------------
PRELIMINARY CALL FOR PAPERS

14th International Conference on
Reliable Software Technologies - Ada-Europe 2009

8 - 12 June 2009, Brest, France

Organized by Ada-Europe,
in cooperation with ACM SIGAda (approval pending)

*** Prelim.CfP in PDF and TXT format available ***

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).

General Information
The 14th International Conference on Reliable Software Technologies (Ada-Europe 2009) will take place in Brest, France. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibitions from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday.

Schedule

01 December 2008: Submission of regular papers, tutorial and workshop proposals
12 January 2009:  Submission of industrial presentation proposals
09 February 2009: Notification to all authors
09 March 2009:    Camera-ready version of regular papers required
11 May 2009:      Industrial presentations, tutorial and workshop material required
08-12 June 2009:  Conference

Topics
The conference has successfully established itself as an international forum for providers, practitioners and researchers into reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a variety of application domains. The program will allow ample time for keynotes, Q&A sessions, panel discussions and social events. Participants will include practitioners and researchers in representation from industry, academia and government organizations active in the promotion and development of reliable software technologies. To mark the completion of the Ada language standard revision process, contributions that present and discuss the potential of the revised language are particularly sought after.

Prospective contributions should address the topics of interest to the conference, which include but are not limited to those listed below:

Call for Regular Papers
Authors of regular papers which are to undergo peer review for acceptance are invited to submit original contributions. Paper submissions shall be in English, complete and not exceeding 14 LNCS-style pages in length. Authors should submit their work via the Web submission system accessible from the Conference Home page. The format for submission is solely PDF. Should you have problems to comply with format and submission requirements, please contact the Program Chair.

Proceedings
The authors of accepted regular papers shall prepare camera-ready submissions in full conformance with the LNCS style, not exceeding 14 pages and strictly by 9 March 2009. For format and style guidelines authors should refer to: http://www.springer.de/comp/lncs/authors.html. Failure to comply and to register for the conference will prevent the paper from appearing in the proceedings. The conference proceedings will be published in the Lecture Notes in Computer Science (LNCS) series by Springer Verlag, and will be available at the start of the conference.

Awards
Ada-Europe will offer honorary awards for the best regular paper and the best presentation.

Call for Industrial Presentations
The conference also seeks industrial presentations which may deliver value and insight, but do not fit the selection process for regular papers. Authors of industrial presentations are invited to submit a short overview (at least 1 page in size) of the proposed presentation to the Conference Chair by 12 January 2009. The Industrial Program Committee will review the proposals and make the selection. The authors of selected presentations shall prepare a final short abstract and submit it to the Conference Chair by 11 May 2009, aiming at a 20-minute talk. The authors of accepted presentations will be invited to derive articles from them for publication in the Ada User Journal, which will host the proceedings of the Industrial Program of the Conference.

Call for Tutorials
Tutorials should address subjects that fall within the scope of the conference and may be proposed as either half- or full-day events. Proposals should include a title, an abstract, a description of the topic, a detailed outline of the presentation, a description of the presenter's lecturing expertise in general and with the proposed topic in particular, the proposed duration (half day or full day), the intended level of the tutorial (introductory, intermediate, or advanced), the recommended audience experience and background, and a statement of the reasons for attending. Proposals should be submitted by e-mail to the Tutorial Chair. The providers of full-day tutorials will receive a complimentary conference registration as well as a fee for every paying participant in excess of 5; for half-day tutorials, these benefits will be accordingly halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials.

Call for Workshops
Workshops on themes that fall within the conference scope may be proposed. Proposals may be submitted for half- or full-day events, to be scheduled on either ends of the conference week. Workshop proposals should be submitted to the Conference Chair. The workshop organizer shall also commit to preparing proceedings for timely publication in the Ada User Journal.

Call for Exhibitions
Commercial exhibitions will span the three days of the main conference. Vendors and providers of software products and services should contact the Exhibition Chair for information and for allowing suitable planning of the exhibition space and time.

Grants for Students
A limited number of sponsored grants is expected to be available for students who would like to attend the conference or tutorials. Contact the Conference Chair for details.

Organizing and Program Committee
Will be announced later.

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

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 ***
(V1.1)

Preliminary Announcement -
14th International Conference on Reliable Software Technologies - Ada-Europe'2009


The Ada-Europe Board announced today at its General Assembly that the Ada-Europe'2009 Conference will be held in Brest, France, in the week of June 8-12, 2009.

Ada-Europe Board
Venice, Italy, June 17, 2008


[Ada-Belgium] To the Ada-Belgium home page.

Last update: 2009/06/10.

Dirk Craeynest