-------- Forwarded Message -------- Subject: [computational.science] Ada-Europe 2021 Conference - EXTENDED 14 January deadline Date: Thu, 31 Dec 2020 16:56:19 +0100 (CET) From: Dirk Craeynest Dirk.Craeynest@cs.kuleuven.be To: computational.science@lists.iccsa.org
The Ada-Europe 2021 Conference organizers decided to provide more time for authors to prepare their contributions. The deadline for most submissions is extended to Thursday 14 January 2020. 2 weeks remain!
-----------------------------------------------------------------------
UPDATED Call for Contributions - EXTENDED DEADLINE
25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021)
7-11 June 2021, Santander, Spain
www.ada-europe.org/conference2021
Organized by University of Cantabria and Ada-Europe in cooperation with ACM SIGAda, SIGPLAN, SIGBED and the Ada Resource Association (ARA)
*** Extended DEADLINE 14 JANUARY 2020 AoE ***
#AEiC2021 #AdaEurope #AdaProgramming
-----------------------------------------------------------------------
*** General Information
The 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021 aka Ada-Europe 2021) will take place in Santander, Spain, in the week of 7-11 June. The conference schedule includes a technical program, vendor exhibition, and parallel tutorials and workshops.
Despite the COVID-19 situation which led to the cancellation of the previous edition of the conference, there is a firm commitment to celebrate the 2021 edition in any case. The initial goal is to have a mixed model with both in-person and remote participation. If the situation so requires it, the conference would be held as a full virtual event.
The 2021 edition of the conference continues the major revamp of the in-person registration fees introduced in 2019, redesigned to extend participation from industry and academia, and to reward contributors, especially but not solely, students and post-doc researchers.
*** Schedule
14 January 2021: Submission of journal-track papers, industrial presentation outlines, and tutorial and workshop proposals
19 March 2021: Notification of acceptance for journal-track papers, industrial presentations, tutorials and workshops
31 March 2021: Submission of Work-in-Progress (WiP) papers and Invited Presentation proposals
30 April 2021: Notification of acceptance for WiP papers and Invited Presentations
*** 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. Should the situation allow it, the presenters will be given the choice of in-person or virtual participation.
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 Journal-Track Papers
The journal-track papers submitted to the conference are full-length papers that must describe mature research work on the conference topics. They must be original and shall undergo anonymous peer review.
Accepted journal-track papers will get a presentation slot within a technical session of the conference and they will be published in an open-access special issue of the Journal of Systems Architecture (Q2 in the JCR and SJR ranks) with no additional costs to authors.
The corresponding authors shall submit their work by 14 January 2021 via the Special Issue web page: https://www.journals.elsevier.com/journal-of-systems-architecture/ call-for-papers/special-issue-on-reliable-software-technologies-aeic2021
Submitted papers must follow the guidelines provided in the "Guide-for-Authors" of the JSA (https://www.elsevier.com/journals/ journal-of-systems-architecture/1383-7621/guide-for-authors). In particular, JSA does not impose any restriction on the format or extension of the submissions.
*** Call for WiP-Track Papers
The Work-in-Progress papers (WiP-track) are short (4-page) papers describing evolving and early-stage ideas or new research directions. They must be original and shall undergo anonymous peer review. The corresponding authors shall submit their work by 31 March 2021, via https://easychair.org/conferences/?conf=aeic2021, strictly in PDF and following the Ada User Journal style (http://www.ada-europe.org/auj/).
Authors of accepted WiP-track papers will get a presentation slot within a regular technical session of the conference and will also be requested to present a poster. The papers will be published in the Ada User Journal as part of the proceedings of the Conference.
The conference is listed in the principal citation databases, including DBLP, Scopus, Web of Science, and Google Scholar. The Ada User Journal is indexed by Scopus and by EBSCOhost in the Academic Search Ultimate database.
*** 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, in the form of a short (one or two pages) abstract, by 14 January 2021, via https://easychair.org/conferences/?conf=aeic2021, strictly in PDF and following the Ada User Journal style (http://www.ada-europe.org/auj/).
The Industrial Committee will review the submissions anonymously and make recommendations for acceptance. The abstract of the accepted contributions will be included in the conference booklet, and authors will get a presentation slot within a regular technical session of the conference.
These authors will also be invited to expand their contributions into articles for publication in the Ada User Journal, as part of the proceedings of the Industrial Program of the Conference.
*** Awards
Ada-Europe will offer an honorary award for the best presentation. All journal-track and industrial presentations are eligible.
*** Call for Invited Presentations
The invited presentations are intended to allow researchers to present paramount research results that are relevant to the conference attendees. There will be no publication associated to these presentations, which may include previously published works, relevant new tools, methods or techniques.
The invited presentations will be allocated a presentation slot. Presentations can be delivered remotely to facilitate the participation.
The Program Committee will select invited presentation proposals that may be submitted by e-mail to one of the Program Chairs as a one-page summary of the proposed presentation, along with the information and/or links required to show the relevance of the covered topic.
*** Call for Educational Tutorials
The conference is seeking tutorials in the form of educational seminars including hands-on or practical demonstrations. Proposed tutorials can be from any part of the reliable software domain, they may be purely academic or from an industrial base making use of tools used in current software development environments. We are also interested in contemporary software topics, such as IoT and artificial intelligence and their application to reliability and safety.
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). All proposals should be submitted by e-mail 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 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 days. Workshop proposals should be submitted by e-mail 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. As an alternative to the traditional physical exhibition, virtual exhibition activities will be possible. Vendors and providers of software products and services should contact the Exhibition Chair for information and for allowing suitable planning of the exhibition space and time.
*** Special Registration Fees
Authors of accepted contributions and all students will enjoy reduced registration fees. In addition, there will be low registration fees for virtual participants.
*** Venue
Santander is a nice tourist city in the north of Spain, with a well-connected airport and at a 100 km drive from Bilbao airport. The conference venue and hotel is the Bahia Hotel in the city center and beside Santander bay.
*** Organizing Committee
* Conference Chair Michael González Harbour, Universidad de Cantabria, Spain mgh at unican.es
* Program Chairs Mario Aldea Rivas, Universidad de Cantabria, Spain aldeam at unican.es J. Javier Gutiérrez, Universidad de Cantabria, Spain gutierjj at unican.es
* Work-in-Progress Chair Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway kristoffer.gregertsen at sintef.no
* Tutorial & Workshop Chair Jorge Garrido Balaguer, Universidad Politécnica de Madrid, Spain jorge.garrido at upm.es
* Industrial Chair Patricia Balbastre Betoret, Universitat Politècnica de València, Spain patricia at ai2.upv.es
* 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
*** Previous Editions
Ada-Europe organizes annual international conferences since the early 80's. This is the 25th 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), Lisbon, Portugal ('18), and Warsaw, Poland ('19).
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, AEiC 2021 Publicity Chair (aka Ada-Europe 2021) Dirk.Craeynest@cs.kuleuven.be
*** 25th Ada-Europe Int'l. Conf. on Reliable Software Technologies *** June 7-11, 2021 * Santander, Spain * www.ada-europe.org/conference2021