Ada-Europe 2018

Date: Jun 18, 2018 6:00 am – Jun 22, 2018 5:00 pm
Location: Lisbon, Portugal

23rd International Conference on Reliable Software Technologies (Ada-Europe 2018)

Organized by U.Lisboa on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ada Resource Association (ARA)

The conference has over the years become a leading international forum for providers, practitioners and researchers in 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 challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers representing industry, academia and government organizations active in the promotion and development of reliable software technologies. The Ada language, a reliable software technology by design, crosses all topics of the conference, which nonetheless also welcomes any other technologies proposed or in use for reliable software.

This edition of Ada-Europe features a focused Special Session on Security in Safety-Critical Systems. Safety-critical systems, on which we daily bet our lives, have become increasingly more complex, networked and distributed. In combination with the growing professionalism of adversarial teams, this demands not only for safe systems but systems that remain safe while under attacks. This session seeks (but is not limited to) contributions aiming at bridging the safety and security gap in cyber-physical and other safety-critical systems. Topics include: Software and System Aspects of Secure and Dependable CPS, Vulnerabilities and Protective Measures for Safety-Critical System Infrastructures, and Fault and Intrusion Tolerance and Long-Term Unattended Operation for Safety-Critical Systems. For further information please contact the Special Session Chair directly.

For the general track of the conference, topics of interest include but are not limited to: Real-Time and Embedded Systems, Mixed-Criticality Systems, Theory and Practice of High-Integrity Systems, Software Architectures, Methods and Techniques for Software Development and Maintenance, Formal Methods, Ada Language and Technologies, Software Quality, Mainstream and Emerging Applications, Experience Reports in Reliable System Development, Experiences with Ada.

The conference proceedings will be published in the Lecture Notes in Computer Science (LNCS) series by Springer, and will be available at the conference.

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

Chairs and Committees

General chair

  • Nuno Neves, LASIGE/U. Lisboa, Portugal (nuno at di.fc.ul.pt)

Program chair

  • António Casimiro, LASIGE/U. Lisboa, Portugal (casim at ciencias.ulisboa.pt)

Special Session Chair

  • Marcus Volp, University of Luxembourg, Luxembourg (marcus.voelp at uni.lu)

Tutorial and Workshop chair

  • David Pereira, CISTER/ISEP, Portugal (dmrpe at isep.ipp.pt)

Industrial co-chairs

  • Marco Panunzio, Thales A.S., FR (marco.panunzio at thalesaleniaspace.com)
  • José Rufino, LASIGE/U. Lisboa, Portugal (ruf at ciencias.ulisboa.pt)

Publication chair

  • Pedro Ferreira, LASIGE/U. Lisboa, Portugal (pmf at ciencias.ulisboa.pt)

Publicity chair

  • Dirk Craeynest, Ada-Europe and KU Leuven (Dirk.Craeynest at cs.kuleuven.be)

Exhibition co-chairs

  • José Neves, GMV Skysoft, Portugal (jose.neves at gmv.com)
  • Ahlan Marriott, White Elephant, Switzerland (ahlan at Ada-Switzerland.ch)

Local secretariat

  • Madalena Almeida, Viagens Abreu, Portugal (madalena.almeida at abreu.pt)

Program Committee

  • Mario Aldea, Universidad de Cantabria, Spain
  • Ezio Bartocci, Vienna University of Technology, Austria
  • Johann Blieberger, Vienna University of Technology, Austria
  • Rakesh Bobba, Oregon State University, USA
  • Bernd Burgstaller, Yonsei University, Korea
  • António Casimiro, LASIGE/U. Lisboa, Portugal
  • Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
  • Virgil Gligor, Carnegie Mellon University, USA
  • Michael González Harbour, Universidad de Cantabria, Spain
  • J. Javier Gutiérrez, Universidad de Cantabria, Spain
  • Jérôme Hugues, ISAE, France
  • Ruediger Kapitza, Technische Universität Braunschweig, Germany
  • Hubert Keller, Karlsruhe Institute of Technology, Germany
  • Raimund Kirner, Univ. of Hertfordshire, UK
  • Adam Lackorzynski, TU Dresden and Kernkonzept GmbH, Germany
  • Kristina Lundkvist, Mälardalen University, Sweden
  • Franco Mazzanti, ISTI-CNR, Italy
  • Laurent Pautet, Telecom ParisTech, France
  • Luís Miguel Pinho, CISTER/ISEP, Portugal
  • Erhard Plödereder, Universität Stuttgart, Germany
  • Jorge Real, Universitat Politècnica de València, Spain
  • José Ruiz, AdaCore, France
  • Sergio Sáez, Universitat Politècnica de València, Spain
  • Elad Schiller, Chalmers University of Technology, Sweden
  • Frank Singhoff, Université de Bretagne Occidentale, France
  • Jorge Sousa Pinto, University of Minho, Portugal
  • Tucker Taft, AdaCore, USA
  • Elena Troubitsyna, Åbo Akademi University, Finland
  • Santiago Urueña, GMV, Spain
  • Tullio Vardanega, Università di Padova, Italy
  • Marcus Völp, University of Luxembourg, Luxembourg

Industrial Committee

  • Ian Broster, Rapita Systems, UK
  • Luís Correia, EMPORDEF-TI, Portugal
  • Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
  • Thomas Gruber, Austrian Institute Of Technology (AIT), Austria
  • Andreas Jung, European Space Agency, the Netherlands
  • Ismael Lafoz, Airbus Defence and Space, Spain
  • Ahlan Marriott, White Elephant, Switzerland
  • Maurizio Martignano, Spazio IT, Italy
  • Marco Panunzio, Thales Alenia Space, France
  • Jean-Pierre Rosen, Adalog, France
  • José Rufino, LASIGE/U. Lisboa, Portugal
  • Emilio Salazar, GMV, Spain
  • Helder Silva, EDISOFT, Portugal
  • Jacob Sparre Andersen, JSA Consulting, Denmark
  • Andreas Wortmann, OHB System, Germany
  • 2018
Submitted by Anonymous on Tue, 11/21/2017 - 11:57