![[Ada-Europe'2012 logo]](/~dirk/.image/ada-europe2012.png)
From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2012 early registration deadline approaching
Date: Wed, 2 May 2012 21:25:29 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Early registration discount until May 7.
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Stockholm,Sweden
-----------------------------------------------------------------------
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.1)
From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: 17th Int.Conf. Reliable Software Technologies, Ada-Europe 2012
Date: Thu, 12 Apr 2012 21:40:25 +0000 (UTC)
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,Stockholm,Sweden
-----------------------------------------------------------------------
Call for Participation
*** PROGRAM SUMMARY ***
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 discount until May 7 ***
*** Preliminary Program available on conference web site ***
-----------------------------------------------------------------------
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 and Robin Messer,
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), Mike Rennie (Deimos
Space), João Brito (Critical Software)
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 in 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
(V7.1)
From: dirk@vana.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 2012
Date: Sat, 7 Jan 2012 21:47:21 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Less than one week until submission deadline!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Stockholm,Sweden
-----------------------------------------------------------------------
FINAL Call for Industrial Presentations
17th International Conference on
Reliable Software Technologies - Ada-Europe 2012
11-15 June 2012, Stockholm, Sweden
http://www.ada-europe.org/conference2012
*** DEADLINE Thursday 12 JANUARY 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 and workshops
on Monday and Friday.
In addition to the usual Call for Papers, the conference also seeks
industrial presentations which deliver value and insight, but may 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 by
January 12, 2012. Please use the EasyChair conference system at
http://www.easychair.org/conferences/?conf=adaeurope2012 .
The Industrial Committee will review the proposals and make the
selection.
The authors of selected presentations shall prepare a final short
abstract and submit it by May 11, 2012, aiming at a 20-minute talk.
The authors of accepted presentations will be invited to submit
corresponding articles for publication in the Ada User Journal, which
will host the proceedings of the Industrial Program of the Conference.
For any further information please contact the Industrial Chair
directly.
In addition to the award for best regular paper, Ada-Europe will also
offer an honorary award for the best presentation, considering both
regular and industrial presentations.
Schedule
--------
12 January 2012: Submission of industrial presentation proposals
3 February 2012: Notification of acceptance to all authors
11 May 2012: Industrial presentations required
Industrial Committee
--------------------
Ahlan Marriott, White-Elephant GmbH, Switzerland
Alok Srivastava, TASC Inc, USA
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Erik Wedin, Saab, Sweden
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ian Broster, Rapita Systems, UK
Ismael Lafoz, Airbus Military, Spain
Jamie Ayre, AdaCore, France
Jean-Loup Terraillon, European Space Agency, The Netherlands
Jean-Pierre Rosen, Adalog, France
Jørgen Bundgaard, Rovsing A/S, Denmark (Industr.Chair, jbg@rovsing.dk)
Paolo Panaroni, Intecs, Italy
Paul Parkinson, Wind River, UK
Rod Chapman, Altran Praxis Ltd, UK
Rod White, MBDA, UK
-----------------------------------------------------------------------
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
(V6.1)
From: dirk@vana.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 2012
Date: Wed, 14 Dec 2011 22:50:18 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 4 weeks until submission deadline!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Stockholm,Sweden
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.
Consider what others might learn from the experience gained in those
projects, and please try to get a presentation overview submitted by
January 12th at the latest, i.e. four weeks 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 receiving many interesting presentations.
Dirk Craeynest, Ada-Europe'2012 Publicity Chair
-----------------------------------------------------------------------
Call for Industrial Presentations
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
*** DEADLINE Thursday 12 JANUARY 2012 ***
-----------------------------------------------------------------------
General Information
-------------------
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 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 deliver value and insight, but may not
fit the selection process for regular papers.
Schedule
--------
12 January 2012: Submission of industrial presentation proposals
3 February 2012: Notification of acceptance to all authors
11 May 2012: Industrial presentations required
Submission of Presentations
---------------------------
Authors of industrial presentations are invited to submit a short
overview (at least 1 page in size) of the proposed presentation by
January 12, 2012. Please use the EasyChair conference system at
http://www.easychair.org/conferences/?conf=adaeurope2012 .
The Industrial Committee will review the proposals and make the
selection.
The authors of selected presentations shall prepare a final short
abstract and submit it by May 11, 2012, aiming at a 20-minute talk.
The authors of accepted presentations will be invited to submit
corresponding articles for publication in the Ada User Journal, which
will host the proceedings of the Industrial Program of the Conference.
For any further information please contact the Industrial Chair
directly.
Awards
------
In addition to the award for best regular paper, Ada-Europe will also
offer an honorary award for the best presentation, considering both
regular and industrial presentations.
Call for Exhibitors
-------------------
The commercial exhibition will span the three days of the main
conference. Vendors and providers of software products and services
should contact the Conference 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 representing
industry, academia and government organizations active in the promotion
and development of reliable software technologies.
To mark the completion of the technical work for the Ada 2012 standard
revision process, contributions that discuss the potential of the
revised language are sought after. In parallel, facing the challenges
presented to the development of reliable concurrent software, multicore
programming models is added to the conference topics of interest.
Topics of interest to this edition of the conference include but are
not limited to:
- Multicore Programming Models: Reliable Parallel Software, Parallel
Execution of Ada Programs, Compositional Parallelism Models,
Performance Modelling, Deterministic Debugging.
- Real-Time and Embedded Systems: Real-Time Software, Architecture
Modeling, HW/SW Co-Design, Reliability and Performance Analysis.
- Theory and Practice of High-Integrity Systems: Distribution, Fault
Tolerance, Security, Reliability, Trust and Safety, Languages
Vulnerabilities.
- Software Architectures: Design Patterns, Frameworks, Architecture-
Centered Development, Component and Class Libraries, Component-based
Design and Development.
- 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.
- Enabling Technologies: Compilers, Support Tools (Analysis,
Code/Document Generation, Profiling), Run-time Systems, Distributed
Systems, Ada and other Languages for Reliable Systems.
- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Games and
Serious Games, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- The Future of Ada: New language features, implementation and use
issues; positioning in the market and in education; where should
Ada stand in the software engineering curriculum; lessons learned
on Ada Education and Training Activities with bearing on any of
the conference topics.
Industrial Committee
--------------------
Ahlan Marriott, White-Elephant GmbH, Switzerland
Alok Srivastava, TASC Inc, USA
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Erik Wedin, Saab, Sweden
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ian Broster, Rapita Systems, UK
Ismael Lafoz, Airbus Military, Spain
Jamie Ayre, AdaCore, France
Jean-Loup Terraillon, European Space Agency, The Netherlands
Jean-Pierre Rosen, Adalog, France
Jørgen Bundgaard, Rovsing A/S, Denmark
Paolo Panaroni, Intecs, Italy
Paul Parkinson, Wind River, UK
Rod Chapman, Altran Praxis Ltd, UK
Rod White, MBDA, UK
Conference Organization
-----------------------
Conference Chair
Ahlan Marriott, White Elephant GmbH, Switzerland
Ada@white-elephant.ch
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
Tutorial Chair
Albert Llemosí, Universitat de les Illes Balears, Spain
albert.llemosi@uib.cat
Industrial Chair
Jørgen Bundgaard, Rovsing A/S, Denmark
jbg@rovsing.dk
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Local Chair
Rei Stråhle, Ada-Sweden
rei@ada-sweden.org
-----------------------------------------------------------------------
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
(V5.1)
From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: FINAL CfP Ada-Europe 2012, Dec 5 EXTENDED submission deadline
Date: Tue, 22 Nov 2011 22:14:48 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Submission deadline extended by 1 week until 5 December 2011
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Stockholm,Sweden
The Ada-Europe 2012 Conference and Program Chairs decided that the
submission deadline for regular papers, tutorials and workshops will
be extended by 1 week until Monday, December 5, 2011. Nevertheless,
abstract registration is requested by Monday, November 28, 2011.
The intention is to provide some more time for authors to finalize
their contributions.
-----------------------------------------------------------------------
FINAL Call for Papers / Tutorials / Workshops
EXTENDED DEADLINE
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 (approval pending)
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 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 5 December 2011 ***
*** Abstract registration required by 28 November 2011 ***
Regular Papers: submit via
http://www.easychair.org/conferences/?conf=adaeurope2012
Tutorials: submit to Tutorial Chair
albert.llemosi at uib.cat
Workshops: submit to Conference Chair
ada at white-elephant.ch
For more information please see the full Call for Papers at
http://www.ada-europe.org/conference2012/cfp
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely. If you have a LinkedIn account, let your
network know you will be attending or are following this event; see
http://events.linkedin.com/17th-international-conference-on-783755
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2012 Publicity Chair
(V4.1)
From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2012 submission deadline approaching
Date: Sun, 30 Oct 2011 17:23:35 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 4 weeks until first submission deadline!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Stockholm,Sweden
-----------------------------------------------------------------------
2nd CALL FOR PAPERS
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 (approval pending)
*** DEADLINE 28 NOVEMBER ***
*** Web submission system available ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 17th 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),
Brest, France ('09), Valencia, Spain ('10), and Edinburgh, UK ('11).
General Information
-------------------
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 and workshops
on Monday and Friday.
Schedule
--------
28 November 2011: Submission of regular papers, tutorial and workshop
proposals
12 January 2012: Submission of industrial presentation proposals
3 February 2012: Notification of acceptance to all authors
2 March 2012: Camera-ready version of regular papers required
11 May 2012: Industrial presentations, tutorial and workshop
material required
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 representing
industry, academia and government organizations active in the promotion
and development of reliable software technologies.
To mark the completion of the technical work for the Ada 2012 standard
revision process, contributions that discuss the potential of the
revised language are sought after. In parallel, facing the challenges
presented to the development of reliable concurrent software, multicore
programming models is added to the conference topics of interest.
Topics of interest to this edition of the conference include but are
not limited to:
- Multicore Programming Models: Reliable Parallel Software, Parallel
Execution of Ada Programs, Compositional Parallelism Models,
Performance Modelling, Deterministic Debugging.
- Real-Time and Embedded Systems: Real-Time Software, Architecture
Modeling, HW/SW Co-Design, Reliability and Performance Analysis.
- Theory and Practice of High-Integrity Systems: Distribution, Fault
Tolerance, Security, Reliability, Trust and Safety, Languages
Vulnerabilities.
- Software Architectures: Design Patterns, Frameworks, Architecture-
Centered Development, Component and Class Libraries, Component-based
Design and Development.
- 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.
- Enabling Technologies: Compilers, Support Tools (Analysis,
Code/Document Generation, Profiling), Run-time Systems, Distributed
Systems, Ada and other Languages for Reliable Systems.
- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Games and
Serious Games, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- The Future of Ada: New language features, implementation and use
issues; positioning in the market and in education; where should
Ada stand in the software engineering curriculum; lessons learned
on Ada Education and Training Activities with bearing on any of
the conference topics.
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 EasyChair conference system
(http://www.easychair.org/conferences/?conf=adaeurope2012).
The format for submission is solely PDF. Should you have
problems to comply with format and submission requirements,
please contact the Program Chairs.
Proceedings
-----------
The conference proceedings will be published in the Lecture Notes in
Computer Science (LNCS) series by Springer, and will be available at
the start of the conference. 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 March 2, 2012.
For format and style guidelines authors should refer to the following
URL: http://www.springer.de/comp/lncs/authors.html. Failure to
comply and to register for the conference by that date will prevent
the paper from appearing in the proceedings.
The conference is ranked class A in the CORE ranking, is among the top
quarter of CiteSeerX Venue Impact Factor, and listed in DBLP, SCOPUS
and Web of Science Conference Proceedings Citation index, among others.
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 deliver value
and insight, but may 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 by
January 12, 2012. Please follow the submission instructions on the
conference website. The Industrial Committee will review the proposals
and make the selection. The authors of selected presentations shall
prepare a final short abstract and submit it by May 11, 2012, aiming
at a 20-minute talk. The authors of accepted presentations will
be invited to submit corresponding articles for publication in the
Ada User Journal, which will host the proceedings of the Industrial
Program of the Conference. For any further information please contact
the Industrial Chair directly.
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 authors of accepted 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 at either end 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 Exhibitors
-------------------
The commercial exhibition will span the three days of the main
conference. Vendors and providers of software products and services
should contact the Conference Chair for information and for allowing
suitable planning of the exhibition space and time.
Grants for Reduced Student Fees
-------------------------------
A limited number of sponsored grants for reduced fees 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
Ahlan Marriott, White Elephant GmbH, Switzerland
Ada@white-elephant.ch
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
Tutorial Chair
Albert Llemosí, Universitat de les Illes Balears, Spain
albert.llemosi@uib.cat
Industrial Chair
Jørgen Bundgaard, Rovsing A/S, Denmark
jbg@rovsing.dk
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Local Chair
Rei Stråhle, Ada-Sweden
rei@ada-sweden.org
Program Committee
-----------------
Alan Burns, University of York, UK
Albert Llemosí, Universitat de les Illes Balears, Spain
Alfons Crespo, Universidad Politécnica de Valencia, Spain
Bernd Burgstaller, Yonsei University, Korea
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Ed Schonberg, AdaCore, USA
Elena Troubitsyna, Åbo Akademi University, Finland
Erhard Plödereder, Universität Stuttgart, Germany
Franco Mazzanti, ISTI-CNR Pisa, Italy
Jan Jonsson, Chalmers University of Technology, Sweden
Jérôme Hugues, ISAE Toulouse, France
Johann Blieberger, Technische Universität Wien, Austria
John McCormick, University of Northern Iowa, USA
Jorge Real, Universidad Politécnica de Valencia, Spain
Jørgen Bundgaard, Rovsing A/S, Denmark
José Javier Gutiérrez, Universidad de Cantabria, Spain
José Ruiz, AdaCore, France
Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
Juan Zamorano, Universidad Politécnica de Madrid, Spain
Julio Medina, Universidad de Cantabria, Spain
Jürgen Mottok, Regensburg University of Applied Sciences, Germany
Kristina Lundqvist, Mälardalen University, Sweden
Laurent Pautet, Telecom Paris, France
Luís Miguel Pinho, CISTER Research Centre/ISEP, Portugal
Mats Brorsson , KTH Royal Institute of Technology, Sweden
Michael González Harbour, Universidad de Cantabria, Spain
Peter Hermann, Universität Stuttgart, Germany
Santiago Urueña, GMV, Spain
Sergio Sáez, Universidad Politécnica de Valencia, Spain
Stephen Michell, Maurya Software, Canada
Ted Baker, US National Science Foundation, USA
Theodor Tempelmeier, Univ. of Applied Sciences Rosenheim, Germany
Tullio Vardanega, Università di Padova, Italy
Industrial Committee
--------------------
Ahlan Marriott, White-Elephant GmbH, Switzerland
Alok Srivastava, TASC Inc, USA
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Erik Wedin, Saab, Sweden
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ian Broster, Rapita Systems, UK
Ismael Lafoz, Airbus Military, Spain
Jamie Ayre, AdaCore, France
Jean-Loup Terraillon, European Space Agency, The Netherlands
Jean-Pierre Rosen, Adalog, France
Jørgen Bundgaard, Rovsing A/S, Denmark
Paolo Panaroni, Intecs, Italy
Paul Parkinson, Wind River, UK
Rod Chapman, Altran Praxis Ltd, UK
Rod White, MBDA, UK
-----------------------------------------------------------------------
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
(V3.1)
From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: CfP 17th Conf. Reliable Software Technologies, Ada-Europe 2012
Date: Sun, 11 Sep 2011 18:32:13 +0000 (UTC)
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,Stockholm,Sweden
-----------------------------------------------------------------------
CALL FOR PAPERS
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 (approval pending)
*** CfP in HTML/PDF on web site ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 17th 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),
Brest, France ('09), Valencia, Spain ('10), and Edinburgh, UK ('11).
General Information
-------------------
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 and workshops
on Monday and Friday.
Schedule
--------
28 November 2011: Submission of regular papers, tutorial and workshop
proposals
12 January 2012: Submission of industrial presentation proposals
3 February 2012: Notification of acceptance to all authors
2 March 2012: Camera-ready version of regular papers required
11 May 2012: Industrial presentations, tutorial and workshop
material required
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 representing
industry, academia and government organizations active in the promotion
and development of reliable software technologies.
To mark the completion of the technical work for the Ada 2012 standard
revision process, contributions that discuss the potential of the
revised language are sought after. In parallel, facing the challenges
presented to the development of reliable concurrent software, multicore
programming models is added to the conference topics of interest.
Topics of interest to this edition of the conference include but are
not limited to:
- Multicore Programming Models: Reliable Parallel Software, Parallel
Execution of Ada Programs, Compositional Parallelism Models,
Performance Modelling, Deterministic Debugging.
- Real-Time and Embedded Systems: Real-Time Software, Architecture
Modeling, HW/SW Co-Design, Reliability and Performance Analysis.
- Theory and Practice of High-Integrity Systems: Distribution, Fault
Tolerance, Security, Reliability, Trust and Safety, Languages
Vulnerabilities.
- Software Architectures: Design Patterns, Frameworks, Architecture-
Centered Development, Component and Class Libraries, Component-based
Design and Development.
- 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.
- Enabling Technologies: Compilers, Support Tools (Analysis,
Code/Document Generation, Profiling), Run-time Systems, Distributed
Systems, Ada and other Languages for Reliable Systems.
- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Games and
Serious Games, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- The Future of Ada: New language features, implementation and use
issues; positioning in the market and in education; where should
Ada stand in the software engineering curriculum; lessons learned
on Ada Education and Training Activities with bearing on any of
the conference topics.
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 EasyChair conference system
(http://www.easychair.org/conferences/?conf=adaeurope2012).
The format for submission is solely PDF. Should you have
problems to comply with format and submission requirements,
please contact the Program Chairs.
Proceedings
-----------
The conference proceedings will be published in the Lecture Notes in
Computer Science (LNCS) series by Springer, and will be available at
the start of the conference. 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 March 2, 2012.
For format and style guidelines authors should refer to the following
URL: http://www.springer.de/comp/lncs/authors.html. Failure to
comply and to register for the conference by that date will prevent
the paper from appearing in the proceedings.
The conference is ranked class A in the CORE ranking, is among the top
quarter of CiteSeerX Venue Impact Factor, and listed in DBLP, SCOPUS
and Web of Science Conference Proceedings Citation index, among others.
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 deliver value
and insight, but may 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 by
January 12, 2012. Please follow the submission instructions on the
conference website. The Industrial Committee will review the proposals
and make the selection. The authors of selected presentations shall
prepare a final short abstract and submit it by May 11, 2012, aiming
at a 20-minute talk. The authors of accepted presentations will
be invited to submit corresponding articles for publication in the
Ada User Journal, which will host the proceedings of the Industrial
Program of the Conference. For any further information please contact
the Industrial Chair directly.
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 authors of accepted 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 at either end 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 Exhibitors
-------------------
The commercial exhibition will span the three days of the main
conference. Vendors and providers of software products and services
should contact the Conference Chair for information and for allowing
suitable planning of the exhibition space and time.
Grants for Reduced Student Fees
-------------------------------
A limited number of sponsored grants for reduced fees 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
Ahlan Marriott, White Elephant GmbH, Switzerland
Ada@white-elephant.ch
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
Tutorial Chair
Albert Llemosí, Universitat de les Illes Balears, Spain
albert.llemosi@uib.cat
Industrial Chair
Jørgen Bundgaard, Rovsing A/S, Denmark
jbg@rovsing.dk
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Local Chair
Rei Stråhle, Ada-Sweden
rei@ada-sweden.org
Program Committee
-----------------
Alan Burns, University of York, UK
Albert Llemosí, Universitat de les Illes Balears, Spain
Alfons Crespo, Universidad Politécnica de Valencia, Spain
Bernd Burgstaller, Yonsei University, Korea
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Ed Schonberg, AdaCore, USA
Elena Troubitsyna, Åbo Akademi University, Finland
Erhard Plödereder, Universität Stuttgart, Germany
Franco Mazzanti, ISTI-CNR Pisa, Italy
Jan Jonsson, Chalmers University of Technology, Sweden
Jérôme Hugues, ISAE Toulouse, France
Johann Blieberger, Technische Universität Wien, Austria
John McCormick, University of Northern Iowa, USA
Jorge Real, Universidad Politécnica de Valencia, Spain
Jørgen Bundgaard, Rovsing A/S, Denmark
José Javier Gutiérrez, Universidad de Cantabria, Spain
José Ruiz, AdaCore, France
Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
Juan Zamorano, Universidad Politécnica de Madrid, Spain
Julio Medina, Universidad de Cantabria, Spain
Jürgen Mottok, Regensburg University of Applied Sciences, Germany
Kristina Lundqvist, Mälardalen University, Sweden
Laurent Pautet, Telecom Paris, France
Luís Miguel Pinho, CISTER Research Centre/ISEP, Portugal
Mats Brorsson , KTH Royal Institute of Technology, Sweden
Michael González Harbour, Universidad de Cantabria, Spain
Peter Hermann, Universität Stuttgart, Germany
Santiago Urueña, GMV, Spain
Sergio Sáez, Universidad Politécnica de Valencia, Spain
Stephen Michell, Maurya Software, Canada
Ted Baker, US National Science Foundation, USA
Theodor Tempelmeier, Univ. of Applied Sciences Rosenheim, Germany
Tullio Vardanega, Università di Padova, Italy
Industrial Committee
--------------------
Ahlan Marriott, White-Elephant GmbH, Switzerland
Alok Srivastava, TASC Inc, USA
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Erik Wedin, Saab, Sweden
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ian Broster, Rapita Systems, UK
Ismael Lafoz, Airbus Military, Spain
Jamie Ayre, AdaCore, France
Jean-Loup Terraillon, European Space Agency, The Netherlands
Jean-Pierre Rosen, Adalog, France
Jørgen Bundgaard, Rovsing A/S, Denmark
Paolo Panaroni, Intecs, Italy
Paul Parkinson, Wind River, UK
Rod Chapman, Altran Praxis Ltd, UK
Rod White, MBDA, UK
-----------------------------------------------------------------------
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
(V2.1)
Date: Fri, 2 Sep 2011 06:33:38 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for September 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Magnolia Hotel
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o IRTAW-15 (15th International Real-Time Ada Workshop)
Liébana (Cantabria), Spain
September 14-16, 2011
http://www.artist-embedded.org/artist/-IRTAW-15-.html
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2011):
Engineering Safe, Secure, and Reliable Software
Magnolia Hotel
Denver, Colorado, USA
6-10 November 2011
http://www.sigada.org/conf/sigada2011/
o ACM Technical Symposium on Computer Science Education (SIGCSE 2012)
Raleigh, North Carolina, USA
February 29 - March 3, 2012
http://www.sigcse.org/sigcse2012/
o Ada-Europe 2012
17th International Conference on Reliable Software Technologies
Stockholm, Sweden
11-15 June 2012
[ http://www.ada-europe.org/conference2012 -- dc ]
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Date: Tue, 2 Aug 2011 07:13:58 -0400 From: "Roby, Clyde G" <roby@IDA.ORG> Subject: Monthly Reminder for SIGAda To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG [ 46 lines deleted; see updated version above -- dc ]
From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: CfP 17th Conf. Reliable Software Technologies, Ada-Europe 2012
Date: Wed, 6 Jul 2011 20:50:33 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Start now to prepare your submissions!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Stockholm,Sweden
-----------------------------------------------------------------------
PRELIMINARY CALL FOR PAPERS
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 (approval pending)
*** CfP in HTML/PDF on web site ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 17th 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),
Brest, France ('09), Valencia, Spain ('10), and Edinburgh, UK ('11).
General Information
-------------------
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 and workshops
on Monday and Friday.
Schedule
--------
28 November 2011: Submission of regular papers, tutorial and workshop
proposals
12 January 2012: Submission of industrial presentation proposals
3 February 2012: Notification of acceptance to all authors
2 March 2012: Camera-ready version of regular papers required
11 May 2012: Industrial presentations, tutorial and workshop
material required
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 representing
industry, academia and government organizations active in the promotion
and development of reliable software technologies.
To mark the completion of the technical work for the Ada 2012 standard
revision process, contributions that discuss the potential of the
revised language are sought after. In parallel, facing the challenges
presented to the development of reliable concurrent software, multicore
programming models is added to the conference topics of interest.
Topics of interest to this edition of the conference include but are
not limited to:
- Multicore Programming Models: Reliable Parallel Software, Parallel
Execution of Ada Programs, Compositional Parallelism Models,
Performance Modelling, Deterministic Debugging.
- Real-Time and Embedded Systems: Real-Time Software, Architecture
Modeling, HW/SW Co-Design, Reliability and Performance Analysis.
- Theory and Practice of High-Integrity Systems: Distribution, Fault
Tolerance, Security, Reliability, Trust and Safety, Languages
Vulnerabilities.
- Software Architectures: Design Patterns, Frameworks, Architecture-
Centered Development, Component and Class Libraries, Component-based
Design and Development.
- 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.
- Enabling Technologies: Compilers, Support Tools (Analysis,
Code/Document Generation, Profiling), Run-time Systems, Distributed
Systems, Ada and other Languages for Reliable Systems.
- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Games and
Serious Games, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- The Future of Ada: New language features, implementation and use
issues; positioning in the market and in education; where should
Ada stand in the software engineering curriculum; lessons learned
on Ada Education and Training Activities with bearing on any of
the conference topics.
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 EasyChair conference system
(http://www.easychair.org/conferences/?conf=adaeurope2012).
The format for submission is solely PDF. Should you have
problems to comply with format and submission requirements,
please contact the Program Chairs.
Proceedings
-----------
The conference proceedings will be published in the Lecture Notes in
Computer Science (LNCS) series by Springer, and will be available at
the start of the conference. 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 March 2, 2012.
For format and style guidelines authors should refer to the following
URL: http://www.springer.de/comp/lncs/authors.html. Failure to
comply and to register for the conference by that date will prevent
the paper from appearing in the proceedings.
The conference is ranked class A in the CORE ranking, is among the top
quarter of CiteSeerX Venue Impact Factor, and listed in DBLP, SCOPUS
and Web of Science Conference Proceedings Citation index, among others.
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 deliver value
and insight, but may 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 by
January 12, 2012. Please follow the submission instructions on the
conference website. The Industrial Committee will review the proposals
and make the selection. The authors of selected presentations shall
prepare a final short abstract and submit it by May 11, 2012, aiming
at a 20-minute talk. The authors of accepted presentations will
be invited to submit corresponding articles for publication in the
Ada User Journal, which will host the proceedings of the Industrial
Program of the Conference. For any further information please contact
the Industrial Chair directly.
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 authors of accepted 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 at either end 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 Exhibitors
-------------------
The commercial exhibition will span the three days of the main
conference. Vendors and providers of software products and services
should contact the Conference Chair for information and for allowing
suitable planning of the exhibition space and time.
Grants for Reduced Student Fees
-------------------------------
A limited number of sponsored grants for reduced fees 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
Ahlan Marriott, White Elephant GmbH, Switzerland
Ada@white-elephant.ch
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
Tutorial Chair
Albert Llemosí, Universitat de les Illes Balears, Spain
albert.llemosi@uib.cat
Industrial Chair
Jørgen Bundgaard, Rovsing A/S, Denmark
jorgen.bundgaard@tdcadsl.dk
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Local Chair
Rei Stråhle, Ada-Sweden
rei@ada-sweden.org
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2012 Publicity Chair
(V1.1)
The Ada-Europe Board announced today at its General Assembly that the Ada-Europe'2012 Conference will be held in Stockholm, Sweden, in the week of June 11-15, 2012.
The conference website, including the Call for Papers, is already online at URL http://www.ada-europe.org/conference2012.
Ada-Europe Board
Edinburgh, UK, June 21, 2011
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2012/05/02.
Dirk Craeynest