Ada-Europe 2017
Date: Jun 12, 2017 12:00 am – Jun 16, 2017 11:00 am
Location: Vienna, Austria
2nd International Conference on Reliable Software Technologies - Ada-Europe 2017
Organized by TU Vienna on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED(*), SIGPLAN and the Ada Resource Association (ARA) (*) approval pending
Ada-Europe organizes annual international conferences since the early 80's. This is the 22nd 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), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14), Madrid, Spain ('15), and Pisa, Italy ('16).
General Information
The 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 will take place in Vienna, Austria. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibition from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday.
Topics
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.
This edition of Ada-Europe features a focused Special Session on Reliable and Safe Robotics. Following the increasing trend of robotic systems in industrial and public environments it is more and more important to address software systems to control autonomous vehicles.
This special topic discusses issues regarding challenging problems in the field of autonomous navigation and sensor fusion. Topics include (but are not limited to): frameworks for robotics, planning and system modelling, as well as multi-agent and logistics applications.
For the general track of the conference, topics of interest include but are not limited to (full list on the website): 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.
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.
Venue
The conference will take place at Palais Eschenbach, in the heart of Vienna, Austria.
Organizing Committee
Conference Chair
Wolfgang Kastner, TU Vienna, Austria
Program Co-Chairs
Johann Blieberger, TU Vienna, Austria - blieb@auto.tuwien.ac.at
Tullio Vardanega, Università di Padova, Italy - tullio.vardanega@math.unipd.it
Special Session Chair
Markus Bader, TU Vienna, Austria - markus.bader@tuwien.ac.at
Tutorial and Workshop Chair
Ben Brosgol, AdaCore, USA - brosgol@adacore.com
Industrial Chair
Jacob Sparre Andersen, JSA Research & innovation, Denmark - jacob@jacob-sparre.dk
Exhibition Chair
Ahlan Marriott, White Elephant GmbH, Switzerland - ahlan@Ada-Switzerland.ch
Publicity Chair
Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium - Dirk.Craeynest@cs.kuleuven.be
Local Chair
Markus Bader, TU Vienna, Austria - markus.bader@tuwien.ac.at
Program Committee
- Mario Aldea, Univ. de Cantabria, Spain
- Ted Baker, NSF, USA
- Ezio Bartocci, Vienna University of Technology, Austria
- Bernd Burgstaller, Yonsei Univ., Korea
- Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
- Lukas Esterle, Vienna University of Technology, Austria
- Michael González Harbour, Universidad de Cantabria, Spain
- J. Javier Gutiérrez, Universidad de Cantabria, Spain
- érôme Hugues, ISAE, France
- Raimund Kirner, Univ. of Hertfordshire, UK
- Wilfried Kubinger, FH Technikum Wien, Austria
- Albert Llemosí, Universitat de les Illes Balears, Spain
- Kristina Lundkvist, Mälardalen University, Sweden
- Franco Mazzanti, ISTI-CNR, Italy
- Laurent Pautet, Telecom ParisTech, France
- Justus Piater, Univ. Innsbruck, Austria
- Luís Miguel Pinho, CISTER/ISEP, Portugal
- Erhard Plödereder, Univ. Stuttgart, Germany
- Jorge Real, Universitat Politècnica de València, Spain
- José Ruiz, AdaCore, France
- Sergio Sáez, Universitat Politècnica de Valencia, Spain
- Tucker Taft, AdaCore, USA
- Theodor Tempelmeier, University of Applied Sciences Rosenheim, Germany
- Elena Troubitsyna, Åbo Akademi, Finland
- Santiago Urueña, GMV, Spain
- Tullio Vardanega, Univ. di Padova, Italy
- Armin Wasice, University of California at Berkeley, USA
- Michael Zillich, Vienna University of Technology, Austria
Industrial Committee
- Ian Broster, Rapita Systems Ltd, UK
- Jørgen Bundgaard, Ramboll, Denmark
- Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
- Thomas Gruber, Austrian Institute Of Technology (AIT), Austria
- Egil Harald Høvik, Kongsberg, Norway Ismael Lafoz, Airbus Defence & Space, Spain
- Björn Lundin, Consafe Logistics, Sweden Ahlan Marriott, White Elephant GmbH, Switzerland
- Paolo Panaroni, Intecs, Italy
- Paul Parkinson, Wind River, UK
- Andreas Richtsfeld, DS Automotion GmbH, Austria
- Jean-Pierre Rosen, Adalog, France
- Emilio Salazar, GMV, Spain
- Jacob Sparre Andersen, JSA Research & Innovation, DK
- Jean-Loup Terraillon, European Space Agency, The Netherlands
- Sergey Tverdyshev, SysGO, Germany
Submitted by Anonymous
on
2nd International Conference on Reliable Software Technologies - Ada-Europe 2017
Organized by TU Vienna on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED(*), SIGPLAN and the Ada Resource Association (ARA) (*) approval pending
Ada-Europe organizes annual international conferences since the early 80's. This is the 22nd 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), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14), Madrid, Spain ('15), and Pisa, Italy ('16).
General Information
The 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 will take place in Vienna, Austria. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibition from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday.
Topics
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.
This edition of Ada-Europe features a focused Special Session on Reliable and Safe Robotics. Following the increasing trend of robotic systems in industrial and public environments it is more and more important to address software systems to control autonomous vehicles.
This special topic discusses issues regarding challenging problems in the field of autonomous navigation and sensor fusion. Topics include (but are not limited to): frameworks for robotics, planning and system modelling, as well as multi-agent and logistics applications.
For the general track of the conference, topics of interest include but are not limited to (full list on the website): 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.
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.
Venue
The conference will take place at Palais Eschenbach, in the heart of Vienna, Austria.
Organizing Committee
Conference Chair
Wolfgang Kastner, TU Vienna, Austria
Program Co-Chairs
Johann Blieberger, TU Vienna, Austria - blieb@auto.tuwien.ac.at
Tullio Vardanega, Università di Padova, Italy - tullio.vardanega@math.unipd.it
Special Session Chair
Markus Bader, TU Vienna, Austria - markus.bader@tuwien.ac.at
Tutorial and Workshop Chair
Ben Brosgol, AdaCore, USA - brosgol@adacore.com
Industrial Chair
Jacob Sparre Andersen, JSA Research & innovation, Denmark - jacob@jacob-sparre.dk
Exhibition Chair
Ahlan Marriott, White Elephant GmbH, Switzerland - ahlan@Ada-Switzerland.ch
Publicity Chair
Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium - Dirk.Craeynest@cs.kuleuven.be
Local Chair
Markus Bader, TU Vienna, Austria - markus.bader@tuwien.ac.at
Program Committee
- Mario Aldea, Univ. de Cantabria, Spain
- Ted Baker, NSF, USA
- Ezio Bartocci, Vienna University of Technology, Austria
- Bernd Burgstaller, Yonsei Univ., Korea
- Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
- Lukas Esterle, Vienna University of Technology, Austria
- Michael González Harbour, Universidad de Cantabria, Spain
- J. Javier Gutiérrez, Universidad de Cantabria, Spain
- érôme Hugues, ISAE, France
- Raimund Kirner, Univ. of Hertfordshire, UK
- Wilfried Kubinger, FH Technikum Wien, Austria
- Albert Llemosí, Universitat de les Illes Balears, Spain
- Kristina Lundkvist, Mälardalen University, Sweden
- Franco Mazzanti, ISTI-CNR, Italy
- Laurent Pautet, Telecom ParisTech, France
- Justus Piater, Univ. Innsbruck, Austria
- Luís Miguel Pinho, CISTER/ISEP, Portugal
- Erhard Plödereder, Univ. Stuttgart, Germany
- Jorge Real, Universitat Politècnica de València, Spain
- José Ruiz, AdaCore, France
- Sergio Sáez, Universitat Politècnica de Valencia, Spain
- Tucker Taft, AdaCore, USA
- Theodor Tempelmeier, University of Applied Sciences Rosenheim, Germany
- Elena Troubitsyna, Åbo Akademi, Finland
- Santiago Urueña, GMV, Spain
- Tullio Vardanega, Univ. di Padova, Italy
- Armin Wasice, University of California at Berkeley, USA
- Michael Zillich, Vienna University of Technology, Austria
Industrial Committee
- Ian Broster, Rapita Systems Ltd, UK
- Jørgen Bundgaard, Ramboll, Denmark
- Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
- Thomas Gruber, Austrian Institute Of Technology (AIT), Austria
- Egil Harald Høvik, Kongsberg, Norway Ismael Lafoz, Airbus Defence & Space, Spain
- Björn Lundin, Consafe Logistics, Sweden Ahlan Marriott, White Elephant GmbH, Switzerland
- Paolo Panaroni, Intecs, Italy
- Paul Parkinson, Wind River, UK
- Andreas Richtsfeld, DS Automotion GmbH, Austria
- Jean-Pierre Rosen, Adalog, France
- Emilio Salazar, GMV, Spain
- Jacob Sparre Andersen, JSA Research & Innovation, DK
- Jean-Loup Terraillon, European Space Agency, The Netherlands
- Sergey Tverdyshev, SysGO, Germany