TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
Date:
Tue, 6 Feb 2024 11:49:48 +0100
Reply-To:
"Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
Subject:
MIME-Version:
1.0
Message-ID:
Content-Type:
text/plain; charset="ISO-8859-1"
From:
Dirk Craeynest <[log in to unmask]>
Content-Transfer-Encoding:
quoted-printable
Parts/Attachments:
text/plain (363 lines)
-----------------------------------------------------------------------

               Call for Contributions - Additional Tracks

              28th Ada-Europe International Conference on
               Reliable Software Technologies (AEiC 2024)

                   11-14 June 2024, Barcelona, Spain

                   www.ada-europe.org/conference2024

            *** 2nd submission DEADLINE 26 February 2024 ***
   *** Industrial & Work-in-Progress track, Tutorials, Workshops ***

                        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

[CLOSED]         Extended submission deadline for 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.

[Submission details removed.  Call is closed now.]

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.

*** 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 ([log in to unmask]) and Michael Pressler
([log in to unmask]).

*** 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 ([log in to unmask])
and Ruben Martins ([log in to unmask]).

*** 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
([log in to unmask]), 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 ([log in to unmask]), 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 ([log in to unmask]).

*** 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
  [log in to unmask]

- Journal Track Chairs
  Bjorn Andersson, Carnegie Mellon University, USA
  [log in to unmask]
  Luis Miguel Pinho, ISEP & INESC TEC, Portugal
  [log in to unmask]

- Industrial Track Chairs
  Luciana Provenzano, Mälardalen University, Sweden
  [log in to unmask]
  Michael Pressler, Robert Bosch GmbH, Germany
  [log in to unmask]

- Work-In-Progress Track Chairs
  Alejandro R. Mosteo, CUD Zaragoza, Spain
  [log in to unmask]
  Ruben Martins, Carnegie Mellon University, USA
  [log in to unmask]

- Tutorial Chair
  Maria A. Serrano, NearbyComputing, Spain
  [log in to unmask]

- Workshop Chair
  Sergio Saez, Universitat Politècnica de València, Spain
  [log in to unmask]

- Exhibition & Sponsorship Chair
  Ahlan Marriott, White Elephant GmbH, Switzerland
  [log in to unmask]

- Publicity Chair
  Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
  [log in to unmask]

- Webmaster
  Hai Nam Tran, University of Brest, France
  [log in to unmask]

- Local Chair
  Nuria Sirvent, Barcelona Supercomputing Center, Spain
  [log in to unmask]

*** 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
José Cecílio, University of Lisbon, Portugal
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
[log in to unmask]

* 28th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2024)
* June 11-14, 2024, Barcelona, Spain, www.ada-europe.org/conference2024


You can unsubscribe at any time through this link:

https://optout.acm.org/unsubscribe.cfm?rl=TEAM-ADA&RE=&*TO;

ATOM RSS1 RSS2