Memfault State of IoT Report

Ada-Europe 2007 submission deadline approaching

Started by Dirk Craeynest November 9, 2006

                          3rd CALL FOR PAPERS

                    12th International Conference on
            Reliable Software Technologies - Ada-Europe 2007

                 25 - 29 June 2007, Geneva, Switzerland


                  Organised, on behalf of Ada-Europe,
                    by Ecole d'Ing�nieurs de Gen�ve
           in cooperation with ACM SIGAda (approval pending)

                      *** DEADLINE 26 NOVEMBER ***
             *** Web Submission Form Available Shortly ***


Ada-Europe organizes annual international conferences since the early
80's.  This is the 12th 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).

General Information
The 12th International Conference on Reliable Software Technologies
(Ada-Europe 2007) will take place in Geneva, Switzerland.  Following
the usual style, the conference will span a full week, including a
three-day technical program and vendor exhibitions from Tuesday to
Thursday, along with parallel workshops and tutorials on Monday and

 26 November 2006: Submission of papers, workshop/tutorial proposals
 26  January 2007: Notification to authors
 26 February 2007: Camera-ready papers required
 25-29  June 2007: Conference

In the last decade the conference has established itself as an
international forum for providers and practitioners of, 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 from
industry, academia and government organizations interested in
furthering the development of reliable software technologies.
To mark the completion of the technical work for the Ada language
standard revision process, contributions that present and discuss
the potential of the revised language are particularly sought after.

For papers, tutorials, and workshop proposals, the topics of interest
include, but are not limited to:

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

- Software Architectures: Patterns for Software Design and Composition,
  Frameworks, Architecture-Centered Development, Component and Class
  Libraries, Component-Based Design

- Enabling Technology: CASE Tools, Software Development Environments
  and Project Browsers, Compilers, Debuggers and Run-time Systems

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

- Critical Systems: Real-Time, Distribution, Fault Tolerance,
  Information Technology, Safety, Security

- Distributed Systems: Reliability, Security, Trust and Safety in
  Large Scale Distributed Platforms

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

- Ada Language and Technology: Programming Techniques, Object-Oriented,
  Concurrent, Distributed Programming, Bindings and Libraries,
  Evaluation & Comparative Assessments, Critical Review of Language
  Enhancements, Novel Support Technology, HW/SW platforms

- Experience Reports: Experience Reports, Case Studies and Comparative
  Assessments, Management Approaches, Qualitative and Quantitative
  Metrics, Experience Reports on Education and Training Activities with
  bearing on any of the conference topics

Authors are invited to submit original contributions. Paper
submissions shall be in English, should be complete and should not
exceed 20 double-spaced pages in length.  Authors should submit their
work via the Web submission system accessible from the conference Home
page.  The preferred format for submission is PDF.  Postscript can
also be accepted, as long as it was generated selecting the "optimize
for portability" option in the used printer driver.  Submissions by
other means and formats will *not* be accepted.  If you do not have
easy access to the Internet, or you do not have an appropriate Web
browser, please contact the Program Co-Chair Nabil Abdennadher, whose
address details are on this call as well as on the conference Home page.

The conference proceedings including all accepted papers will be
published in the Lecture Notes in Computer Science (LNCS) series by
Springer Verlag, which will be available at the start of the conference.
The authors of accepted papers shall prepare their camera-ready
submissions in full conformance with the LNCS style, not exceeding 12
pages and strictly by *February 26, 2007*.  Authors should refer to:
http://www.springer.de/comp/lncs/authors.html for format and style
guidelines.  Failure to comply will prevent the paper from appearing in
the conference proceedings.

Ada-Europe will offer honorary awards for the best paper and the best
presentation, which will be presented during the banquet and at the
close of the conference respectively.

Call for Tutorials
Tutorials should address subjects that fall within the thrust of the
conference and may be proposed as either half- or a 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 Dominik Madon. The providers of full-day
tutorials will receive a complimentary conference registration as well
as a fee for every paying participant in excess of 5; for half-day
tutorials, these benefits will accordingly be halved. The Ada User
Journal will offer space for the publication of summaries of the
accepted tutorial in issues preceding and/or following the conference.

Call for Workshops
Workshops on themes within the conference scope may be arranged to
discuss matters of immediate technical interest as well as to foster
action on longer-term technical objectives.  Proposals may be submitted
for half- or full-day workshops, to be scheduled on either ends of the
main conference. Workshop proposals should be submitted by e-mail to
the Conference Chair Nabil Abdennadher. The workshop organiser shall
also commit to preparing proceedings for timely publication in the Ada
User Journal.

Commercial exhibitions will span the three days of the main conference.
Vendors and providers of software products and services should contact
the Exhibition Chair Neville Rowden as soon as possible for further
information and for allowing suitable planning of the exhibition space
and time.

Reduced Fees for Students
A small number of grants are available for students who will
(co-)author and present papers at the conference.  A reduction of 25%
will be made to the conference fee.  Contact the Conference Chair
Nabil ABdennadher for details.

Organizing Committee
Conference Chair
  Nabil Abdennadher
  University of Applied Sciences, Geneva, Switzerland

Program Co-Chairs
  Nabil Abdennadher
  University of Applied Sciences, Geneva, Switzerland

  Fabrice Kordon
  University Pierre & Marie Curie, France

Tutorial Chair
  Dominik Madon
  University of Applied Sciences, Geneva, Western Switzerland

Exhibition Chair
  Neville Rowden, Siemens Switzerland

Publicity Chair
  Ahlan Marriott, White-elephant, Switzerland

  Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium

Local Chair
  R�gis Boesch, University of Applied Sciences, Geneva, Switzerland

Program Committee
Abdennadher Nabil, University of Applied Sciences, West. Switzerland
Alonso Alejandro, Universidad Polit�cnica de Madrid, Spain
Asplund Lars, M�lardalens H�gskola, Sweden
Barnes Janet, Praxis High Integrity Systems, UK
Blieberger Johann, Technische Universit�t Wien, Austria
Boasson Maartin, University of Amsterdam, the Netherlands
Burgstaller Bernd, University of Sydney, Australia
Craeynest Dirk, Aubay Belgium & K.U.Leuven, Belgium
Crespo Alfons, Universidad Polit�cnica de Valencia, Spain
Devillers Raymond, Universit� Libre de Bruxelles, Belgium
Gonz�lez Harbour Michael, Universidad de Cantabria, Spain
Guti�rrez Jos� Javier, Universidad de Cantabria, Spain
Hadded Serge, Universit� Paris-Dauphine, France
Hately Andrew, Eurocontrol CRDS, Hungary
Hommel G�nter, Technischen Univesit�t Berlin, Germany
Keller Hubert, Institut f�r Angewandte Informatik, Germany
Kermarrec Yvon, ENST Bretagne, France
Kienzle J�rg, McGill University, Canada
Kordon Fabrice, Universit� Pierre & Marie Curie, France
Llamosi Albert, Universitat de les Illes Balears, Spain
Lundqvist Kristina, MIT, USA
Mazzanti Franco, ISTI-CNR Pisa, Italy
McCormick John, University of Northern Iowa, USA
Michell Stephen, Maurya Software, Canada
Miranda Javier, Universidad Las Palmas de Gran Canaria, Spain
Moldt Daniel, University of Hamburg, Germany
Pautet Laurent, Telecom Paris, France
Petrucci Laure, LIPN, Universit� Paris 13, France
Pinho Lu�s Miguel, Polytechnic Institute of Porto, Portugal
Pl�dereder Erhard, Universit�t Stuttgart, Germany
de la Puente Juan A., Universidad Polit�cnica de Madrid, Spain
Real Jorge, Universidad Polit�cnica de Valencia, Spain
Romanovsky Alexander, University of Newcastle upon Tyne, UK
Rosen Jean-Pierre, Adalog, France
Ruiz Jos�, AdaCore, France
Schonberg Edmond, New York University & AdaCore, USA
Seinturier Lionel, INRIA Lille, France
Shing Man-Tak, Naval Postgraduate School, USA
Tokar Joyce, Pyrrhus Software, USA
Vardanega Tullio, Universit� di Padova, Italy
Wellings Andy, University of York, UK
Winkler J�rgen, Friedrich-Schiller-Universit�t, Germany
Zaffalon Luigi, University of Applied Sciences, West. Switzerland


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

Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2007 Publicity Co-chair

*** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007
*** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org

Memfault State of IoT Report