Announce

_announce/2023-11-22-aeic_2024.txt

@@ -0,0 +1,379 @@
+---
+title: "CfC, 28th Ada-Europe Conf. on Reliable Software Technologies (AEiC 2024)"
+timestamp: "11/22/2023 12:25:13"
+deadline: "2/26/2024"
+---
+-----------------------------------------------------------------------
+
+ UPDATED Call for Contributions
+
+28th Ada-Europe International Conference on
+Reliable Software Technologies (AEiC 2024)
+
+11-14 June 2024, Barcelona, Spain
+
+www.ada-europe.org/conference2024
+
+*** Journal track submissions by 15 January 2024 ***
+*** Other submissions by 26 February 2024 ***
+
+Organized by Ada-Europe
+and Barcelona Supercomputing Center (BSC),
+in cooperation with ACM SIGAda, ACM SIGBED, ACM SIGPLAN,
+and Ada Resource Association (ARA)
+
+#AEiC2024 #AdaEurope #AdaProgramming
+
+-----------------------------------------------------------------------
+
+*** General Information
+
+The 28th Ada-Europe International Conference on Reliable Software
+Technologies (AEiC 2024) will take place in Barcelona, Spain.
+
+AEiC 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 also include keynotes, Q&A and discussion sessions,
+and social events.  Participants include practitioners and researchers
+from industry, academia, and government organizations active in the
+development of reliable software technologies.
+
+The topics of interest for the conference include but are not limited
+to (more specific topics are described on the conference web page):
+* Formal and Model-Based Engineering of Critical Systems;
+* High-Integrity Systems and Reliability;
+* AI for High-Integrity Systems Engineering;
+* Real-Time Systems;
+* Ada Language;
+* Applications in Relevant Domains.
+
+The conference comprises different tracks and co-located events:
+* Journal track papers present research advances supported by solid
+  theoretical foundation and thorough evaluation.
+* Industrial track contributions highlight industrial open challenges
+  and/or the practitioners' side of a relevant case study or industrial
+  project.
+* Work-in-progress track papers illustrate novel research ideas
+  that are still at an initial stage, between conception and first
+  prototype.
+* Tutorials guide attenders through a hands-on familiarization with
+  innovative developments or with useful features related to reliable
+  software.
+* Workshops provide discussion forums on themes related to the
+  conference topics.
+* Vendor presentations and exhibitions allow for companies to showcase
+  their latest products and services.
+
+*** Important Dates
+
+15 January 2024  Deadline for submission of journal track papers
+26 February 2024 Deadline for submission of industrial track papers,
+                 work-in-progress papers, tutorial and workshop
+                 proposals
+22 March 2024    First round notification for journal track papers,
+                 and notification of acceptance for all other types
+                 of submissions
+11-14 June 2024  Conference
+
+*** Call for Journal Track Submissions
+
+Following a journal-first model, this edition of the conference
+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 a Special Issue
+of Elsevier JSA - the Journal of Systems Architecture (Q1 ranked,
+CiteScore 8.5, impact factor 4.5).  Accordingly, the conference
+is listed as "Journal Published" in the latest update of the CORE
+Conference Ranking released in August 2023.  Contributions must be
+submitted by 15 January 2024.  Submissions should be made online at
+https://www.editorialmanager.com/jsa/, selecting the "Ada-Europe AEiC
+2024" option (submission page open from 15 November 2023) as article
+type of the paper.  General information for submitting to the JSA
+can be found at the Journal of Systems Architecture website.
+
+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.  The abstract of
+the accepted contributions will be included in the conference booklet.
+
+The Ada-Europe organization will waive the Open Access fees for
+the first four accepted papers (whose authors do not already enjoy
+Open Access agreements).  Subsequent papers will follow JSA regular
+publishing track.  Prospective authors may direct all enquiries
+regarding this track to the corresponding chairs, Bjorn Andersson
+([email protected]) and Luis Miguel Pinho ([email protected]).
+
+*** 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 website.
+Given their applied nature, such contributions will be subject to a
+dedicated practitioner-peer review process.  Interested authors shall
+submit a 1-to-2 pages abstract, by 26 February 2024, via EasyChair
+at https://easychair.org/my/conference?conf=aeic2024, 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
+Luciana Provenzano ([email protected]) and Michael Pressler
+([email protected]).
+
+*** 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 26 February 2024, via EasyChair
+at https://easychair.org/my/conference?conf=aeic2024, 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 Alejandro R. Mosteo ([email protected])
+and Ruben Martins ([email protected]).
+
+*** Awards
+
+The organization 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 at any time but no later
+than the 26 February 2024 to the respective chair Maria A. Serrano
+([email protected]), with subject line: "[AEiC 2024:
+tutorial proposal]".  Once submitted, each tutorial proposal will
+be evaluated by the conference organizers as soon as possible,
+with decisions from January 1st.  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 at any time but no later than the 26 February
+2024 to the respective chair Sergio Saez ([email protected]), with
+subject line: "[AEiC 2024: workshop proposal]".  Once submitted, each
+workshop proposal will be evaluated by the conference organizers as
+soon as possible, with decisions from January 1st.
+
+*** Academic Listing
+
+The Journal of Systems Architecture, publication venue of the journal
+track proceedings of the conference, is Q1 ranked, with CiteScore
+8.5 and Impact Factor 4.5.  The Ada User Journal, venue of all other
+technical proceedings of the conference, is indexed by Scopus and by
+EBSCOhost in the Academic Search Ultimate database.
+
+*** Call for Exhibitors and Sponsors
+
+The conference will include a vendor and technology exhibition with the
+option of a 20 minutes presentation as part of the conference program.
+Interested providers should direct inquiries to the Exhibition &
+Sponsorship Chair Ahlan Marriot ([email protected]).
+
+*** Venue
+
+The conference will take place in Barcelona, Spain.  Barcelona is
+a major cultural, economic, and financial centre, known for its
+architecture, culture, and Mediterranean atmosphere, a hub for
+technology and innovation.  There's plenty to see and visit in
+Barcelona, so plan in advance!
+
+*** Organizing Committee
+
+- Conference Chair
+  Sara Royuela, Barcelona Supercomputing Center, Spain
+  [email protected]
+
+- Journal Track Chairs
+  Bjorn Andersson, Carnegie Mellon University, USA
+  [email protected]
+  Luis Miguel Pinho, ISEP & INESC TEC, Portugal
+  [email protected]
+
+- Industrial Track Chairs
+  Luciana Provenzano, Mälardalen University, Sweden
+  [email protected]
+  Michael Pressler, Robert Bosch GmbH, Germany
+  [email protected]
+
+- Work-In-Progress Track Chairs
+  Alejandro R. Mosteo, CUD Zaragoza, Spain
+  [email protected]
+  Ruben Martins, Carnegie Mellon University, USA
+  [email protected]
+
+- Tutorial Chair
+  Maria A. Serrano, NearbyComputing, Spain
+  [email protected]
+
+- Workshop Chair
+  Sergio Saez, Universitat Politècnica de València, Spain
+  [email protected]
+
+- Exhibition & Sponsorship Chair
+  Ahlan Marriott, White Elephant GmbH, Switzerland
+  [email protected]
+
+- Publicity Chair
+  Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
+  [email protected]
+
+- Webmaster
+  Hai Nam Tran, University of Brest, France
+  [email protected]
+
+- Local Chair
+  Nuria Sirvent, Barcelona Supercomputing Center, Spain
+  [email protected]
+
+*** Program Committees
+
+See the conference website for the Program Committees for the Journal,
+Industrial, and Work-in-Progress tracks.
+
+*** Journal Track Committee
+
+Al Mok, University of Texas at Austin, USA
+Alejandro Mosteo, CUD Zaragoza, Spain
+Alwyn Godloe, NASA, USA
+António Casimiro, University of Lisbon, Portugal
+Barbara Gallina, Mälardalen University, Sweden
+Bernd Burgstaller, Yonsei University, South Korea
+C. Michael Holloway, NASA, USA
+Cristina Seceleanu, Mälardalen University, Sweden
+Doug Schmidt, Vanderbilt University, USA
+Frank Singhoff, University of Brest, FR
+George Lima, Universidade Federal da Bahia, Brazil
+Isaac Amundson, Rockwell Collins, USA
+Jérôme Hugues, CMU/SEI, USA
+José Cruz, Lockeed Martin, USA
+Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway
+Laurent Pautet, Telecom ParisTech, France
+Leonidas Kosmidis, Barcelona Supercomputing Center, Spain
+Mario Aldea Rivas, University of Cantabria, Spain
+Matthias Becker, KTH - Royal Institute of Technology, Sweden
+Patricia López Martínez, University of Cantabria, Spain
+Sara Royuela, Barcelona Supercomputing Center, Spain
+Sergio Sáez, Universitat Politècnica de València, Spain
+Tucker Taft, AdaCore, USA
+Tullio Vardanega, University of Padua, Italy
+Xiaotian Dai, University of York, England
+
+*** Industrial Track Committee
+
+Aida Causevic, Alstom, Sweden
+Alexander Viehl, Research Center for Information Technology, Germany
+Ana Rodríguez, Silver Atena, Spain
+Aurora Agar, NATO, Netherlands
+Behnaz Pourmohseni, Robert Bosch GmbH, Germany
+Claire Dross, AdaCore, France
+Elena Lisova, Volvo CE, Sweden
+Enricco Mezzeti, Barcelona Supercomputing Center, Spain
+Federico Aromolo, Scuola Superiore Sant'Anna, Italy
+Helder Silva, Edisoft, Portugal
+Hugo Torres Vieira, Evidence Srl, Italy
+Irune Agirre, Ikerlan, Spain
+Jordi Cardona, Rapita Systems, Spain
+José Ruiz, AdaCore, France
+Joyce Tokar, Raytheon, USA
+Luciana Alvite, Alstom, Germany
+Marco Panunzio, Thales Alenia Space, France
+Patricia Balbastre Betoret, Valencia Polytechnic University, Spain
+Philippe Waroquiers, Eurocontrol NMD, Belgium
+Raúl de la Cruz, Collins Aerospace, Ireland
+Santiago Urueña, GMV, Spain
+Stef Van Vlierberghe, Eurocontrol NMD, Belgium
+
+*** Work-in-Progress Track Committee
+
+Alan Oliveira, University of Lisbon, Portugal
+J. Javier Gutiérrez, University of Cantabria, Spain
+Jérémie Guiochet, LAAS-CNRS, France
+Kalinka Branco, University of São Paulo, Brazil
+Katherine Kosaian, University of Iowa, USA
+Kevin Cheang, AWS, USA
+Kristin Yvonne Rozier, Iowa State University, USA
+Leandro Buss Becker, University of Manchester, UK
+Li-Pin Chang, National Yang Ming Chiao Tung University, Taiwan
+Mathias Preiner, Stanford University, USA
+Raffaele Romagnoli, Carnegie Mellon University, USA
+Robert Kaiser, RheinMain University of Applied Sciences, Germany
+Sara Abbaspour, Mälardalen University, Sweden
+Sergi Alcaide, Barcelona Supercomputing Center, Spain
+Simona Bernardi, Unizar, Spain
+Stefan Mitsch, School of Computing at DePaul University, USA
+Teresa Lázaro, Aragon's Institute of Technology, Spain
+Tiago Carvalho, ISEP, Portugal
+Yannick Moy, AdaCore, France
+
+*** Previous Editions
+
+Ada-Europe organizes annual international conferences since the early
+80's.  This is the 28th 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), Ghent, Belgium ('22), and Lisbon, Portugal ('23).
+
+Information on previous editions of the conference can be found at
+www.ada-europe.org/confs/ae.
+
+-----------------------------------------------------------------------
+
+Our apologies if you receive multiple copies of this announcement.
+Please circulate widely.
+
+Dirk Craeynest, AEiC 2024 Publicity Chair
+[email protected]
+
+* 28th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2024)
+* June 11-14, 2024, Barcelona, Spain, www.ada-europe.org/conference2024
+
+