----------------------------------------------------------------------- Call for Contributions 27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023) 13-16 June 2023, Lisbon, Portugal www.ada-europe.org/conference2023 *** Journal-track DEADLINE approaching 16 January 2023 *** *** Other submissions by 27 February 2023 *** Organized by Ada-Europe in cooperation with ACM SIGAda (approval pending) and Ada Resource Association (ARA) #AEiC2023 #AdaEurope #AdaProgramming ----------------------------------------------------------------------- *** General Information The 27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023) will take place in Lisbon, Portugal. The conference schedule comprises a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops. * Journal-track submissions present research advances supported by solid theoretical foundation and thorough evaluation. * Industrial-track submissions highlight the practitioners' side of a challenging case study or industrial project. * Work-in-progress-track submissions illustrate a novel research idea that is still at an initial stage, between conception and first prototype. * Tutorial submissions guide attenders through a hands-on familiarization with innovative developments or with useful features related to reliable software. *** Schedule 16 January 2023: Submission deadline for journal-track papers. 27 February 2023: Submission deadline for industrial-track and work-in- progress-track papers, tutorial & workshop proposals. 20 March 2023: First round notification for journal-track papers, acceptance notification for other submission types. 13-16 June 2023: Conference. *** Scope and 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: - Formal and Model-Based Engineering of Critical Systems; - Real-Time Systems; - High-Integrity Systems and Reliability; - Ada Language; - Applications in a variety of domains. More specific topics are described on the conference web page. *** Call for Journal-track Submissions Following a journal-first model, this edition of the conference again includes a journal track, which seeks original and high-quality papers that describe mature research work on the conference topics. Accepted journal-track papers will be published in the "Reliable Software Technologies (AEiC2023)" Special Issue of JSA -- the Journal of Systems Architecture (Scimago Q1 ranked, impact factor 5.936). General information for submitting to the JSA can be found at the Journal of Systems Architecture website. The submission link will be available on the conference web page. Contributions must be submitted by 16 January 2023. JSA has adopted the Virtual Special Issue model to speed up the publication process, where Special Issue papers are published in regular issues, but marked as SI papers. Acceptance decisions are made on a rolling basis. Therefore, authors are encouraged to submit papers early, and need not wait until the submission deadline. Authors who have successfully passed the first round of review will be invited to present their work at the conference. Please note that the AEiC 2023 organization committee will waive the Open Access fees for the first four accepted papers, which do not already enjoy OA from personalized bilateral agreements with the Publisher. Subsequent papers will follow JSA regular publishing track. Prospective authors may direct all enquiries regarding this track to the corresponding chair, Elena Troubitsyna (elenatro at kth.se). *** Call for Industrial-track Submissions The conference seeks industrial practitioner presentations that deliver insight on the challenges of developing reliable software. Especially welcome kinds of submissions are listed on the conference web site. Given their applied nature, such contributions will be subject to a dedicated practitioner-peer review process. Interested authors shall submit a one-to-two pages abstract, by 27 February 2023, via EasyChair at https://easychair.org/my/conference?conf=aeic2023, selecting the "Industrial Track". The format for submission is strictly in PDF, following the Ada User Journal style. Templates are available at http://www.ada-europe.org/auj/guide. The abstract of the accepted contributions will be included in the conference booklet. The corresponding authors will get a presentation slot in the prime-time technical program of the conference and will also be invited to expand their contributions into full-fledged articles for publication in the Ada User Journal, which will form the proceedings of the industrial track of the Conference. Prospective authors may direct all enquiries regarding this track to its chairs Alexandre Skrzyniarz (alexandre.skrzyniarz at fr.thalesgroup.com) and Sara Royuela (sara.royuela at bsc.es). *** Call for Work-in-Progress-track Submissions The work-in-progress track seeks two kinds of submissions: (a) ongoing research and (b) early-stage ideas. Ongoing research submissions are 4-page papers describing research results that are not mature enough to be submitted to the journal track. Early-stage ideas are 1-page papers that pitch new research directions that fall within the scope of the conference. Both kinds of submissions must be original and shall undergo anonymous peer review. Submissions by recent MSc graduates and PhD students are especially sought. Authors shall submit their work by 27 February 2023, via EasyChair at https://easychair.org/my/conference?conf=aeic2023, selecting the "Work in Progress Track". The format for submission is strictly in PDF, following the Ada User Journal style. Templates are available at http://www.ada-europe.org/auj/guide. The abstract of the accepted contributions will be included in the conference booklet. The corresponding authors will get a presentation slot in the prime-time technical program of the conference and will also be offered the opportunity to expand their contributions into 4-page articles for publication in the Ada User Journal, which will form the proceedings of the WiP track of the Conference. Prospective authors may direct all enquiries regarding this track to the corresponding chairs Bjorn Andersson (baandersson at sei.cmu.ed) and José Cecílio (jmcecilio at fc.ul.pt). *** Awards Ada-Europe will offer an honorary award for the best technical presentation, to be announced in the closing session of the conference. *** Call for Tutorials The conference seeks tutorials in the form of educational seminars on themes falling within the conference scope, with an academic or practitioner slant, including hands-on or practical elements. 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), the intended level of the contents (introductory, intermediate, or advanced), and a statement motivating attendance. Tutorial proposals shall be submitted by e-mail to Tutorial and Education Chair, Luís Miguel Pinho (lmp at isep.ipp.pt), with subject line: "[AEiC 2023: tutorial proposal]". Tutorial proposals shall be submitted by 27 February 2023. The authors of accepted full-day tutorials will receive a complimentary conference registration, halved for half-day tutorials. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials. *** Call for Workshops The conference welcomes satellite workshops centred on themes that fall within the conference scope. Proposals may be submitted for half- or full-day events, to be scheduled at either end of the AEiC conference. Workshop organizers shall also commit to producing the proceedings of the event, for publication in the Ada User Journal. Workshop proposals shall be submitted by e-mail to the Workshop Chair, Frank Singhoff (singhoff at univ-brest.fr), with subject line: "[AEiC 2023: workshop proposal]". Workshop proposals shall be submitted at any time but no later than the 27 February 2023. Once submitted, each workshop proposal will be evaluated by the conference organizers as soon as possible. *** Call for Exhibitors The conference will include a vendor and technology exhibition. Interested providers should direct inquiries to the Exhibition & Sponsorship Chair, Ahlan Marriott (ahlan at Ada-Switzerland.ch). *** Venue The conference will take place at the Hotel Fénix Lisboa, near downtown Lisbon, Portugal. June is full of events in Lisbon, including the festivities in honour of St. António (June 13 is the town holiday), with music, grilled sardines, and popular parties in Alfama and Bairro Alto neighbourhoods. There's plenty to see and visit in Lisbon, so plan in advance! *** Organizing Committee - Conference Chair António Casimiro, University of Lisbon, Portugal casim at ciencias.ulisboa.pt - Journal-track Chair Elena Troubitsyna, KTH Royal Inst. of Technology, Sweden elenatro at kth.se - Industrial-track Chairs Alexandre Skrzyniarz, Thales, France alexandre.skrzyniarz at fr.thalesgroup.com Sara Royuela, Barcelona Supercomputing Center, Spain sara.royuela at bsc.es - Work-In-Progress-track Chairs Bjorn Andersson, Carnegie Mellon University, USA baandersson at sei.cmu.edu José Cecílio, University of Lisbon, Portugal jmcecilio at fc.ul.pt - Tutorial and Education Chair Luis Miguel Pinho, ISEP, Portugal lmp at isep.ipp.pt - Workshop Chair Frank Singhoff, University of Brest, France singhoff at univ-brest.fr - Exhibition & Sponsorship Chair Ahlan Marriott, White Elephant GmbH, Switzerland ahlan at Ada-Switzerland.ch - Publicity Chair Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium Dirk.Craeynest at cs.kuleuven.be - Webmaster Hai Nam Tran, University of Brest, France hai-nam.tran at univ-brest.fr *** Previous Editions Ada-Europe organizes annual international conferences since the early 80's. This is the 27th 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), Warsaw, Poland ('19), online from Santander, Spain ('21), and Ghent, Belgium ('22). 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 2023 Publicity Chair Dirk.Craeynest@cs.kuleuven.be * 27th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2023) * June 13-16, 2023, Lisbon, Portugal, www.ada-europe.org/conference2023 (V1.1)