TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show HTML Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
Date: Sun, 11 Sep 2011 20:33:49 +0200
Content-Disposition: inline
Reply-To: "Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
MIME-Version: 1.0
Message-ID: <[log in to unmask]>
Content-Type: text/plain; charset="ISO-8859-1"
From: Dirk Craeynest <[log in to unmask]>
Content-Transfer-Encoding: 8bit
Parts/Attachments: text/plain (302 lines)
-----------------------------------------------------------------------

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

Program Co-Chairs
  Mats Brorsson, KTH Royal Institute of Technology, Sweden
  [log in to unmask]
  Luís Miguel Pinho, CISTER Research Centre/ISEP, Portugal
  [log in to unmask]

Tutorial Chair
  Albert Llemosí, Universitat de les Illes Balears, Spain
  [log in to unmask]

Industrial Chair
  Jørgen Bundgaard, Rovsing A/S, Denmark
  [log in to unmask]

Publicity Chair
  Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
  [log in to unmask]

Local Chair
  Rei Stråhle, Ada-Sweden
  [log in to unmask]

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


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

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

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

ATOM RSS1 RSS2