----------------------------------------------------------------------- Call for Papers Ada-Europe 24th International Conference on Reliable Software Technologies (Ada-Europe 2019) 10-14 June 2019, Warsaw, Poland http://www.ada-europe.org/conference2019 Organized by EDC and Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ada Resource Association (ARA) ----------------------------------------------------------------------- *** General Information Ada-Europe is pleased to announce that its 24th International Conference on Reliable Software Technologies (Ada-Europe 2019) will take place in Warsaw, Poland, in the week of 10-14 June. The conference schedule at its fullest includes a three-day technical program and vendor exhibition from Tuesday to Thursday, and parallel tutorials and workshops on Monday and Friday. This edition of the conference inaugurates a major revamp in the registration fees, redesigned to extend participation from industry and academia, and to reward contributors, especially but not solely, students and post-doc researchers. *** Schedule 14 January 2019: Submission of papers, industrial presentation outlines, tutorial and workshop proposals 1 March 2019: Notification of acceptance to all authors 16 March 2019: Camera-ready version of papers required 30 April 2019: Industrial presentations, tutorial and workshop material required *** Topics The conference is 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 from industry, academia and government organizations active in the promotion and development of reliable software technologies. The topics of interest for the conference include but are not limited to: - Design and Implementation of Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance; - Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Mixed-Criticality Architectures, Design Methods, Analysis Methods; - Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities; - Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development; - Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Model-driven Architecture and Engineering, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools; - Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK; - Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc; - Achieving and Assuring Safety in Machine Learning Systems; - Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics; - Experiences with Ada: Reviews of the Ada 2012 language features, implementation and use issues, positioning in the market and 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 The regular papers submitted to the conference must be original and shall undergo anonymous peer review. The authors shall submit their work by 14 January 2019, in PDF only, and up to 16 LNCS-style pages in length, via https://easychair.org/conferences/?conf=ae2019. The conference is listed in the principal citation databases, including DBLP, Scopus, Web of Science, and Google Scholar. The authors of the papers that will appear in the conference proceedings will be invited to extend their work for submission to a Special Issue of Elsevier's Journal of Systems Architecture, centered on the conference themes. *** Proceedings The conference proceedings will appear in Springer's Lecture Notes in Computer Science (LNCS) series, and will be available at the conference, both online and in print. The authors of accepted regular papers shall prepare camera-ready submissions in full conformance with the LNCS style, strictly by 16 March 2019. For format and style guidelines, the authors should refer to http://www.springer.de/comp/lncs/authors.html. Failure to comply and to register at least one author for the conference by that date will prevent the paper from appearing in the proceedings. *** Call for Industrial Presentations The conference seeks industrial presentations that deliver insightful information value but may not sustain the strictness of the review process required for regular papers. The authors of industrial presentations shall submit their proposals, of at least 1 page in length, by 14 January 2019, strictly in PDF, via https://easychair.org/conferences/?conf=ae2019. The Industrial Committee will review the submissions anonymously and make recommendations for acceptance. The authors of accepted contributions shall be requested to submit a 2-page abstract by 16 March 2019, for inclusion in the conference booklet, and be invited to deliver a 20-minute talk at the conference. These authors will also be invited to expand their contributions into articles for publication in the Ada User Journal (http://www.ada-europe.org/auj/), as part of the proceedings of the Industrial Program of the Conference. For any further information, please contact the Industrial Chair directly. *** Awards Ada-Europe will offer honorary awards for the best regular paper and the best presentation. *** Call for Educational Tutorials The conference seeks tutorials in the form of educational seminars that may include hands-on or practical demonstrations. Proposed tutorials can address any part of the reliable software domain, and may have an academic or industrial slant from technology perspective. All software topics and their application to reliability and safety are welcome. Tutorial proposals shall include a title, an abstract, a description of the topic, an outline of the presentation, the proposed duration (half day or full day), and the intended level of the tutorial (introductory, intermediate, or advanced), and most importantly a statement expressing why it will be worthwhile to attend the tutorial. Tutorial proposals shall be submitted to the Educational Tutorial Chair. The authors of accepted full-day tutorials will receive a complimentary conference registration. For half-day tutorials, this benefit is halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials. *** Call for Workshops Workshops on themes 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 shall be submitted to the Workshop Chair. The workshop organizer shall also commit to producing the proceedings of the event, for publication in the Ada User Journal. *** Call for Exhibitors The commercial exhibition will span the core days of the main conference. Interested providers of software products and services should send inquiries to the Exhibition Chair. *** Venue The conference will take place in Warsaw, Poland, at the Engineering Design Center, a partnership of General Electric and the Institute of Aviation, one of Europe's largest engineering institutions. *** Organizing Committee Conference & Program Chair Tullio Vardanega, University of Padua, Italy tullio.vardanega at unipd.it Educational Tutorial & Workshop Chair Dene Brown, SysAda Ltd, UK dene.brown at sysada.co.uk Industrial Chair Maurizio Martignano, Spazio IT, Italy maurizio.martignano at spazioit.com Exhibition & Sponsorship Chair Ahlan Marriott, White Elephant GmbH, Switzerland software at white-elephant.ch Publicity Chair Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium dirk.craeynest at cs.kuleuven.be Local Chair Maciej Sobczak, GE Aviation - EDC Warsaw, Poland maciej.sobczak at ge.com *** Program Committee Mario Aldea, Univ. de Cantabria, ES Johann Blieberger, Vienna Univ. of Technology, AT Bernd Burgstaller, Yonsei Univ., KR Ant�nio Casimiro, Univ. Lisboa, PT Barbara Gallina, M�lardalen Univ., SE Michael Gonz�lez Harbour, Univ. de Cantabria, ES J. Javi Guti�rrez, Univ. de Cantabria, ES J�r�me Hugues, ISAE, FR Hubert Keller, Karlsruhe Institute of Technology, DE Raimund Kirner, Univ. of Hertford-shire, UK Franco Mazzanti, ISTI-CNR, IT Laurent Pautet, Telecom ParisTech, FR Lu�s Miguel Pinho, CISTER/ISEP, PT Erhard Pl�dereder, Univ. Stuttgart, DE Juan A. de la Puente, Univ. Pol. de Madrid, ES Jorge Real, Univ. Pol. de Val�ncia, ES Jos� Ruiz, AdaCore, FR Sergio S�ez, Univ. Pol. de Val�ncia, ES Elad Schiller, Chalmers Univ. of Technology, SE Frank Singhoff, Univ. de Bretagne Occidentale, FR Jorge Sousa Pinto, Univ. of Minho, PT Tucker Taft, AdaCore, USA Elena Troubitsyna, �bo Akademi Uni., FI Santiago Urue�a, GMV, ES Tullio Vardanega, Univ. of Padua, IT Marcus V�lp, Univ. of Luxembourg, LU *** Industrial Committee Ian Broster, Rapita Systems, UK Dirk Craeynest, Ada-Belgium & KU Leuven, BE Gon�alo Gouveia, Critical Techworks, PT Thomas Gruber, Austrian Institute of Technology, AT Andreas Jung, European Space Agency, NL Ismael Lafoz, Airbus Military, ES Patricia Lopez Cueva, Thales Alenia Space, FR Ahlan Marriott, White Elephant, CH Maurizio Martignano, Spazio-IT, IT Silvia Mazzini, Intecs, IT Marco Panunzio, Thales Alenia Space, FR Paul Parkinson, Wind River, UK Jean-Pierre Rosen, AdaLog, FR Jos� Emilio Salazar Mars�, GMV, ES Helder Silva, Edisoft, PT Jacob Sparre Andersen, JSA Cons., DK Pawel Zakrzewski, GE Aviation, PL *** Previous Editions Ada-Europe organizes annual international conferences since the early 80's. This is the 24th 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), Pisa, Italy ('16), Vienna, Austria ('17), and Lisbon, Portugal ('18). Information on previous editions of the conference can be found at http://www.ada-europe.org/confs/ae. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest@cs.kuleuven.be, Ada-Europe 2019 Publicity Chair *** Ada-Europe 24th Intl. Conf. on Reliable Software Technologies *** June 10-14, 2019 * Warsaw, Poland * www.ada-europe.org/conference2019 (V1.5)
CfP Ada-Europe 24th Conf. on Reliable Software Technologies
Started by ●December 2, 2018