TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show Text 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, 30 Sep 2012 22:01:27 +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 (309 lines)
-----------------------------------------------------------------------

                            CALL FOR PAPERS

                    18th International Conference on
            Reliable Software Technologies - Ada-Europe 2013

                    10-14 June 2013, Berlin, Germany

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

           Organized by Ada-Germany on behalf of Ada-Europe,
   in cooperation (requests pending) with ACM SIGAda, SIGBED, SIGPLAN

                  *** CfP in HTML/PDF on web site ***

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

Ada-Europe organizes annual international conferences since the early
80's.  This is the 18th 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), Edinburgh, UK ('11), and
Stockholm, Sweden ('12).

General Information
-------------------
The 18th International Conference on Reliable Software Technologies -
Ada-Europe 2013 will take place in Berlin, Germany.  Following its
traditional style, the conference will span a full week, including,
from Tuesday to Thursday, three days of parallel scientific, technical
and industrial sessions, along with parallel tutorials and workshops
on Monday and Friday.

Schedule
--------
3 December 2012:  Submission of regular papers, tutorial and workshop
                  proposals
14 January 2013:  Submission of industrial presentation proposals
11 February 2013: Notification of acceptance to all authors
10 March 2013:    Camera-ready version of regular papers required
11 May 2013:      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 Ada 2012 standard revision process,
contributions are sought that discuss experiences with the revised
language.

Topics of interest to this edition of the conference include but are
not limited to:

- Multicore Programming: Reliable Parallel Software, Scheduling on
  Multi-Core Systems, Compositional Parallelism Models, Performance
  Modelling, Deterministic Debugging.

- Real-Time and Embedded Systems: Real-Time Software, Architecture
  Modelling, 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 in Reliable System Development: Case Studies
  and Comparative Assessments, Management Approaches, Qualitative
  and Quantitative Metrics.

- Experiences with Ada and its Future: 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=ae13).
The format for submission is solely PDF.  For any remaining
questions, please contact a Program Co-Chair.

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 10, 2013.
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 the 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 an overview (at least 1 full page in length) of the proposed
presentation by January 14, 2013, via the EasyChair conference system
(http://www.easychair.org/conferences/?conf=ae13).  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 13, 2013, 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 a Conference Co-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 a Conference Co-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 a Conference Co-Chair for details.

Organizing Committee
--------------------
Conference and Program Co-Chairs
  Hubert B. Keller, Karlsruhe Institute of Technology
  [log in to unmask] industrial
  Erhard Plödereder, University of Stuttgart
  [log in to unmask]

Tutorial Chair
  Jürgen Mottok, Regensburg University of Applied Sciences
  [log in to unmask]

Industrial Chair
  Jørgen Bundgaard, Ada in Denmark
  [log in to unmask]

Exhibition Chair
  Peter Dencker, ETAS GmbH
  [log in to unmask]

Publicity Chair
  Dirk Craeynest, Ada-Belgium & KU Leuven
  [log in to unmask]

Local Chair
  Raúl Rojas, FU Berlin
  [log in to unmask]

Local Organizer
  Christine Harms
  [log in to unmask]

Program Committee
-----------------
Ted Baker, US National Science Foundation, USA
Johann Blieberger, Technische Universität Wien, Austria
Bernd Burgstaller, Yonsei University, Korea
Alan Burns, University of York, UK
Rod Chapman, Altran Praxis Ltd, UK
Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
Franco Gasperoni, AdaCore, France
Michael González Harbour, Universidad de Cantabria, Spain
Xavier Grave, Centre National de la Recherche, France
Christoph Grein, Ada Germany, Germany
J. Javier Gutiérrez, Universidad de Cantabria, Spain
Peter Hermann, Universität Stuttgart, Germany
Jérôme Hugues, ISAE Toulouse, France
Pascal Leroy, Google, Switzerland
Albert Llemosí, Universitat de les Illes Balears, Spain
Kristina Lundqvist, Mälardalen University, Sweden
Franco Mazzanti, ISTI-CNR Pisa, Italy
John McCormick, University of Northern Iowa, USA
Stephen Michell, Maurya Software, Canada
Luís Miguel Pinho, CISTER Research Centre/ISEP, Portugal
Jürgen Mottok, Regensburg University of Applied Sciences, Germany
Manfred Nagl, RWTH Aachen University, Germany
Laurent Pautet, Telecom ParisTech, France
Jorge Real, Universitat Politécnica de València, Spain
Jean-Pierre Rosen, Adalog, France
José Ruiz, AdaCore, France
Ed Schonberg, AdaCore, USA
Tucker Taft, AdaCore, USA
Theodor Tempelmeier, Univ. of Applied Sciences Rosenheim, Germany
Elena Troubitsyna, Åbo Akademi University, Finland
Tullio Vardanega, Università di Padova, Italy
Juan Zamorano, Universidad Politécnica de Madrid, Spain

Industrial Committee
--------------------
Jørgen Bundgaard, Rambøll Danmark, Denmark
Jacob Sparre Andersen, JSA, Denmark
Jamie Ayre, AdaCore, France
Ian Broster, Rapita Systems, UK
Rod Chapman, Altran Praxis Ltd, UK
Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
Michael Friess, AdaCore, France
Ismael Lafoz, Airbus Military, Spain
Ahlan Marriott, White-Elephant GmbH, Switzerland
Steen Ulrik Palm, Terma, Denmark
Paolo Panaroni, Intecs, Italy
Paul Parkinson, Wind River, UK
Ana Isabel Rodríguez, GMV, Spain
Jean-Pierre Rosen, Adalog, France
Alok Srivastava, TASC Inc, USA
Claus Stellwag, Elektrobit AG, Germany
Jean-Loup Terraillon, European Space Agency, The Netherlands
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://linkd.in/PPZsY6

Dirk Craeynest, Ada-Europe'2013 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