![[AEiC 2023 logo]](/~dirk/.image/aeic2023.png)
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc Subject: Ada 2022 Language Reference Manual to be Published by Springer Date: Wed, 14 Jun 2023 06:49:45 -0000 (UTC) Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven Summary: New milestone in Ada programming language evolution Keywords: Ada,2022,programming,language,standard,update,evolution ----------------------------------------------------------------------- FOR IMMEDIATE RELEASE Ada 2022 Language Reference Manual to be Published by Springer ----------------------------------------------------------------------- Lisbon, Portugal, June 14, 2023 - Ada-Europe today announced, at its 27th International Conference on Reliable Software Technologies (AEiC 2023), that the Ada 2022 Language Reference Manual (LRM) will be published by Springer in its LNCS series later this year. Ada 2022 is the latest edition of the Ada programming language standard, technically denominated ISO/IEC 8652:2023, which was formally approved and officially published by ISO, the Geneva-based International Organization for Standardization, on May 2, 2023. The Ada 2022 LRM is available online: www.ada-auth.org/standards/ada22.html. An overview of Ada 2022 is at: www.ada-auth.org/standards/overview22.html. To mark this official milestone, and in continuation of its established practice, Ada-Europe undertook to support the production of the new LRM as a dedicated issue of the Springer-published LNCS series. About Ada-Europe Ada-Europe is the international non-profit organization that promotes the knowledge and use of the Ada programming language in academia, research and industry. Its flagship event is the annual International Conference on Reliable Software Technologies, a high-quality technical and scientific event that has been successfully running in the current format for the last 27 years. Ada-Europe has member organizations in Belgium, Denmark, France, Germany, Spain, and Switzerland, as well as individual members in many other countries. For information about Ada-Europe, its charter, activities and sponsors, please visit: www.ada-europe.org. Ada-Europe is headquartered in Brussels, Belgium. A PDF version of this press release is available at www.ada-europe.org. Organization Contacts Ada-Europe Tullio Vardanega, Ada-Europe President president@ada-europe.org Press Contacts Ada-Europe Dirk Craeynest, Ada-Europe Vice-president c/o KU Leuven, Department of Computer Science dirk.craeynest@cs.kuleuven.be ----------------------------------------------------------------------- (VAda2022.1)
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
Date: Fri, 9 Jun 2023 10:56:57 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Summary: Interested in Ada or reliable software? Meet us in Lisbon!
Keywords: Conference,academia,industry,reliable,secure,IT,Ada,Lisbon
-----------------------------------------------------------------------
FINAL Call for Participation
*** UPDATED Program Summary ***
27th Ada-Europe International Conference on
Reliable Software Technologies (AEiC 2023)
13-16 June 2023, Lisbon, Portugal
www.ada-europe.org/conference2023
Organized by Ada-Europe
in cooperation with ACM SIGAda, SIGBED, SIGPLAN,
the Ada Resource Association (ARA), and the University of Lisbon
#AEiC2023 #AdaEurope #AdaProgramming
*** Final Program available on the conference web site ***
*** Add tutorials and/or a workshop to your conference registration ***
www.ada-europe.org/conference2023/tutorials.html
*** Welcome Event on Tuesday evening ***
-----------------------------------------------------------------------
Press release:
27th Ada-Europe Int'l Conference on Reliable Software Technologies
International experts meet in Lisbon
Lisbon, Portugal (9 June 2023) - Ada-Europe together with the
University of Lisbon organizes from 13 to 16 June 2023 the 27th
Ada-Europe International Conference on Reliable Software Technologies
(AEiC 2023), in cooperation with the Ada Resource Association (ARA),
and with ACM's Special Interest Groups on Ada (SIGAda), on Embedded
Systems (SIGBED) and on Programming Languages (SIGPLAN).
The Ada-Europe series of conferences is an established international
forum for providers, practitioners and researchers in reliable software
technologies. These events highlight the increased relevance of Ada in
general and in safety- and security-critical systems in particular, and
provide a unique opportunity for interaction and collaboration between
academics and industrial practitioners.
This year's conference offers 4 tutorials, a keynote and a panel
discussion, a technical program of 6 sessions with peer-reviewed
papers, industrial and work-in-progress presentations, posters,
social events, and 2 workshops. Presentations are given by authors
from 15 countries.
Six tutorials are scheduled on Tuesday, targeting different audiences:
- "The HAC Ada Compiler",
- "Controlling I/O Devices with Ada and the Linux Simple I/O Library",
- "Everything you Always Wanted to Know about Characters and Strings",
- "Introduction to the Development of Safety Critical Software",
- "Rust Fundamentals",
- "Concurrency and Parallelism in Rust".
On Wednesday and Thursday, the networking area features WiP posters,
as well as an Ada-Europe booth.
Eminent speakers have been invited on each of the core conference days:
- on Wednesday, a keynote talk by Alcides Fonseca, from LASIGE,
University of Lisbon Faculty of Sciences, who will talk about
"Applications of liquid types for more reliable software";
- on Thursday, a panel on "Promises and Challenges of AI-enabled
Software Development Tools for Safety-Critical Applications" with
Douglas Schmidt (Vanderbilt University, USA), Jochen Quante (Robert
Bosch GmbH, Germany), and Jon Pérez Cerrolaza (IKERLAN, Spain).
The technical program on Wednesday and Thursday includes 6
journal-track refereed technical papers, 7 industrial, and 15
work-in-progress presentations, in sessions on: Verification and
Validation 1, Advanced Systems, Reliability and Performance,
Verification and Validation 2, Reliable Programming, Real-Time Systems.
On Friday the conference hosts for the 8th year the workshop on
"Challenges and New Approaches for Dependable and Cyber-Physical
Systems Engineering" (DeCPS 2023), as well as the workshop "AADL
by its Practitioners (ADEPT)".
Peer-reviewed papers have been submitted to a special issue of
the Journal of Systems Architecture and are heading towards final
acceptance as open-access publications. Industrial and
work-in-progress presentations, together with tutorial abstracts,
and workshop papers, will appear in issues of the Ada User Journal,
the quarterly magazine of Ada-Europe.
The social program includes on Tuesday evening a Welcome Reception in
the gardens of the National Museum of Science & Natural History, and
on Wednesday evening the Conference Banquet in the "Casa do Alentejo"
restaurant, an old palace in downtown Lisbon with several exquisite
rooms, that served as a casino in the 20th century.
The Best Presentation Award will be offered during the Closing session.
The full program is available on the conference web site.
Online registration is still possible.
-------
Latest updates:
The 16-page "Final Program" is available at
www.ada-europe.org/conference2023/media/AEiC_2023_Final_Program.pdf
Check out the tutorials in the PDF program, or in the schedule at
www.ada-europe.org/conference2023/tutorials.html.
Registration is done on-line. For all details, go to
www.ada-europe.org/conference2023/registration.html.
A printed Conference Booklet with abstracts of all technical papers
and industrial presentations will be included in every conference
handout, and will be available on the conference web site.
AEiC 2023 is sponsored by Ada-Europe (www.ada-europe.org), AdaCore
(www.adacore.com), and GMV (www.gmv.com).
Help promote the conference by advertising it.
Recommended Twitter hashtags: #AEiC2023 #AdaEurope #AdaProgramming.
-----------------------------------------------------------------------
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
(V7.1)
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe - AEiC 2023 early registration deadline approaching
Date: Sun, 21 May 2023 10:11:21 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Summary: Early registration discount until May 22!
Keywords: Conference,academia,industry,reliable,secure,IT,Ada,Lisbon
-----------------------------------------------------------------------
UPDATED Call for Participation
*** Early registration DEADLINE May 22 ***
27th Ada-Europe International Conference on
Reliable Software Technologies (AEiC 2023)
13-16 June 2023, Lisbon, Portugal
www.ada-europe.org/conference2023
Organized by Ada-Europe
in cooperation with ACM SIGAda, SIGPLAN, SIGBED,
the Ada Resource Association (ARA), and the University of Lisbon
#AEiC2023 #AdaEurope #AdaProgramming
*** Extensive info and registration online ***
*** Add tutorials and/or a workshop to your conference registration ***
www.ada-europe.org/conference2023/tutorials.html
-----------------------------------------------------------------------
*** UPDATE
Ada-Europe - AEiC 2023 early registration deadline approaching
Come to the Ada-Europe conference in Lisbon, experience a packed
program in an exciting town, benefit from tutorials on Tuesday, join
a workshop on Friday, enjoy the social events and some sightseeing!
Register now: discounted fees until May 22!
http://www.ada-europe.org/conference2023/registration.html
*** General Information
The 27th Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2023) returns to Lisbon, after the 2018 edition,
in the week of 13-16 June. The conference will be an in-presence
only event, with a solid core of activities.
The conference program includes two core days with a keynote talk,
a panel, peer-reviewed academic papers, industrial presentations,
and work-in-progress presentations and posters. The conference
program is bracketed by one day of tutorials, and one day with two
satellite events. There will be time for networking during breaks
as well as during the welcome reception and the conference banquet.
AEiC 2023 is the latest in a series of annual international conferences
started in the early 80's, under the auspices of Ada-Europe, the
international organization that promotes knowledge and use of Ada and
Reliable Software in general, into academic education and research,
and industrial practice.
The Ada-Europe series of conferences has over the years become
a leading international forum for providers, practitioners and
researchers in reliable software technologies. These events
highlight the increased relevance of Ada in general and in safety-
and security-critical systems in particular, and provide a unique
opportunity for interaction and collaboration between academics and
industrial practitioners.
The 2023 edition of the conference continues a number of important
innovations started at the 2019 conference:
- lower registration fee for conference, unified for all participants;
- further reduced fee for all authors;
- lower registration fee for all tutorials;
- journal-based open-access publication model for peer-reviewed papers;
- more compact program with two core days (Wednesday & Thursday);
- tutorials on Tuesday, followed by welcome event for all participants;
- satellite events on Friday.
*** Overview of the Week
- Tue 14: six half-day tutorials, welcome reception
- Wed 15 & Thu 16: core program, conference dinner on Wednesday
- Fri 17: two workshops
Extensive information on AEiC 2023 is on the conference web site,
such as an overview of the program, the list of accepted papers
and presentations, and descriptions of workshops, tutorials, keynote
presentation, panel, and social events. Also check the conference site
for registration, accommodation and travel information. The Advance
Program brochure will shortly be available there as well.
*** Venue
The conference will take place at Hotel Fénix Lisboa, in Lisbon,
Portugal, which is very near downtown. It is easy to reach the hotel
from the airport, by metro or taxi, and from the hotel it is possible
to walk towards downtown to appreciate the inner city offerings.
Portugal has been elected Europe's Leading Destination 2022 at the
World Travel Awards, and Lisbon the Europe's Leading City Break
Destination 2022. Portugal is also considered one of the safest
countries in the world, ranking 6th place in 2022.
*** Invited Speakers
This year the conference will feature a keynote talk on the first day,
and a panel on the second, with three invited speakers/panelists.
The keynote and the panel will address topics of relevance in
the conference scope, with ample time for questions and answers.
- On Wed June 14, a keynote talk by Alcides Fonseca, from LASIGE,
University of Lisbon Faculty of Sciences, who will talk about
"Applications of liquid types for more reliable software".
- On Thu June 15, a panel on the "Promises and Challenges of AI-enabled
Software Development Tools for Safety-Critical Applications" will
bring around the table three experts: Douglas Schmidt (Vanderbilt
University, USA), Jochen Quante (Robert Bosch GmbH, Germany),
and Jon Pérez Cerrolaza (IKERLAN, Spain).
*** Conference Core Composition
The core conference program features three distinct types of technical
presentations, with different duration, in addition to the keynote
talk and the pannel session: journal-track talks (30 minutes),
industrial-track talks (20 minutes), work-in-progress-track talks
(10 minutes).
All papers presented in the journal track, the industrial track and
the work-in-progress track have undergone peer review. Presentations
are combined into by-theme and not by-track sessions, in order that
authors and participants alike enjoy all flavors of the program in
a mixed as opposed to segregated combination.
Papers and Presentations:
- 6 sessions: Verification and Validation 1, Advanced Systems,
Reliability and Performance, Verification and Validation 2,
Reliable Programming, Real-Time Systems
- 6 journal-track talks
- 7 industrial presentations and experience reports
- 15 work-in-progress reports
- posters of work-in-progress reports
- submissions and accepted contributions from around the world
- submissions by authors from 16 countries, and accepted contributions
from Austria, Brazil, Cameroon, France, Germany, Ireland, Italy,
Luxembourg, the Netherlands, Norway, Portugal, Spain, Sweden, UK, USA
Networking Area:
- features project posters, reserved vendor tables, and general
networking options
- 1 company already committed to be there: AdaCore
*** Tutorials
Six three-hour tutorials are offered on Tuesday 13th:
- "The HAC Ada Compiler",
by Gautier de Montmollin, Ada Switzerland, Switzerland
- "Controlling I/O Devices with Ada and the Linux Simple I/O Library",
by Philip Munts, Sweden
- "Everything you Always Wanted to Know about Characters and Strings",
by Jean-Pierre Rosen, Adalog, France
- "Introduction to the Development of Safety Critical Software",
by Jean-Pierre Rosen, Adalog, France
- "Rust Fundamentals",
by Luis Miguel Pinho and Tiago Carvalho, ISEP, Portugal
- "Concurrency and Parallelism in Rust",
by Luis Miguel Pinho and Tiago Carvalho, ISEP, Portugal
*** Satellite Events
Two workshops are held on Friday 16th:
- 8th International Workshop on "Challenges and New Approaches for
Dependable and Cyber-Physical System Engineering" (DeCPS 2023)
- 2nd International Workshop "AADL by its Practitioners (ADEPT)"
*** Social Program
The conference provides several opportunities to socialize:
- Each day: coffee breaks and sit-down lunches offer ample time for
interaction and networking with participants and vendors.
- Tuesday early evening: Welcome Reception in the gardens of the
National Museum of Science & Natural History. During two hours, a
selection of drinks and appetizers will be served and participants
will have the opportunity to taste port wine while walking in the
nice botanical gardens of the museum.
- Wednesday evening: Conference Banquet in the "Casa do Alentejo"
restaurant, downtown Lisbon. When entering the building, visitors
are surprised with the several rooms of the building (an old palace
that served as a casino in the XX century) featuring diverse styles
and decoration. Participants will have the opportunity to taste
cod fish baked in olive oil, which is a very typical Portuguese dish.
*** Further Information
Registration:
- registration information (and link to registration form) is provided
at <http://www.ada-europe.org/conference2023/registration.html>
- early registration discount until Monday May 22, 2023
- payment possible by credit card or bank transfer
- special low fee for authors and students
- discount for Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members
- registration includes coffee breaks, lunches and social events
- low tutorial fees
- low workshop fees
- see registration page for all details
Promotion:
- recommended Twitter hashtags: #AEiC2023 #AdaEurope #AdaProgramming
- Advance Program brochure to be available online at
<http://www.ada-europe.org/conference2023/media/AP_AEiC2023.pdf>
AEiC 2023 Sponsors:
- AdaCore: https://www.adacore.com/
The conference is supported and sponsored by
- Ada-Europe: http://www.ada-europe.org/
and organized in cooperation with
- ACM SIGAda: http://www.sigada.org/
- ACM SIGBED: https://sigbed.org/
- ACM SIGPLAN: http://www.sigplan.org/
- ARA: https://www.adaic.org/community/
- Ciências ULisboa: https://ciencias.ulisboa.pt/en
Please make sure you book accommodation as soon as possible.
For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2023>.
We look forward to seeing you in Lisbon in June 2023!
-----------------------------------------------------------------------
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
(V6.1)
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
Date: Thu, 11 May 2023 18:07:58 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Summary: Program available! Register by May 22 and book hotel ASAP!
Keywords: Conference,academia,industry,reliable,secure,IT,Ada,Lisbon
-----------------------------------------------------------------------
Call for Participation
*** PROGRAM SUMMARY ***
27th Ada-Europe International Conference on
Reliable Software Technologies (AEiC 2023)
13-16 June 2023, Lisbon, Portugal
www.ada-europe.org/conference2023
Organized by Ada-Europe
in cooperation with ACM SIGAda, SIGPLAN, SIGBED,
the Ada Resource Association (ARA), and the University of Lisbon
#AEiC2023 #AdaEurope #AdaProgramming
*** Online registration open ***
*** Highly recommended to book your hotel ASAP ***
*** Early registration discount until May 22 ***
-----------------------------------------------------------------------
*** General Information
The 27th Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2023) returns to Lisbon, after the 2018 edition,
in the week of 13-16 June. The conference will be an in-presence
only event, with a solid core of activities.
The conference program includes two core days with a keynote talk,
a panel, peer-reviewed academic papers, industrial presentations,
and work-in-progress presentations and posters. The conference
program is bracketed by one day of tutorials, and one day with two
satellite events. There will be time for networking during breaks
as well as during the welcome reception and the conference banquet.
AEiC 2023 is the latest in a series of annual international conferences
started in the early 80's, under the auspices of Ada-Europe, the
international organization that promotes knowledge and use of Ada and
Reliable Software in general, into academic education and research,
and industrial practice.
The Ada-Europe series of conferences has over the years become
a leading international forum for providers, practitioners and
researchers in reliable software technologies. These events
highlight the increased relevance of Ada in general and in safety-
and security-critical systems in particular, and provide a unique
opportunity for interaction and collaboration between academics and
industrial practitioners.
The 2023 edition of the conference continues a number of important
innovations started at the 2019 conference:
- lower registration fee for conference, unified for all participants;
- further reduced fee for all authors;
- lower registration fee for all tutorials;
- journal-based open-access publication model for peer-reviewed papers;
- more compact program with two core days (Wednesday & Thursday);
- tutorials on Tuesday, followed by welcome event for all participants;
- satellite events on Friday.
*** Overview of the Week
- Tue 14: six half-day tutorials, welcome reception
- Wed 15 & Thu 16: core program, conference dinner on Wednesday
- Fri 17: two workshops
Extensive information on AEiC 2023 is on the conference web site,
such as an overview of the program, the list of accepted papers
and presentations, and descriptions of workshops, tutorials, keynote
presentation, panel, and social events. Also check the conference site
for registration, accommodation and travel information. The Advance
Program brochure will shortly be available there as well.
*** Venue
The conference will take place at Hotel Fénix Lisboa, in Lisbon,
Portugal, which is very near downtown. It is easy to reach the hotel
from the airport, by metro or taxi, and from the hotel it is possible
to walk towards downtown to appreciate the inner city offerings.
Portugal has been elected Europe's Leading Destination 2022 at the
World Travel Awards, and Lisbon the Europe's Leading City Break
Destination 2022. Portugal is also considered one of the safest
countries in the world, ranking 6th place in 2022.
*** Invited Speakers
This year the conference will feature a keynote talk on the first day,
and a panel on the second, with three invited speakers/panelists.
The keynote and the panel will address topics of relevance in
the conference scope, with ample time for questions and answers.
- On Wed June 14, a keynote talk by Alcides Fonseca, from LASIGE,
University of Lisbon Faculty of Sciences, who will talk about
"Applications of liquid types for more reliable software".
- On Thu June 15, a panel on the "Promises and Challenges of AI-enabled
Software Development Tools for Safety-Critical Applications" will
bring around the table three experts: Douglas Schmidt (Vanderbilt
University, USA), Jochen Quante (Robert Bosch GmbH, Germany),
and Jon Pérez Cerrolaza (IKERLAN, Spain).
*** Conference Core Composition
The core conference program features three distinct types of technical
presentations, with different duration, in addition to the keynote
talk and the pannel session: journal-track talks (30 minutes),
industrial-track talks (20 minutes), work-in-progress-track talks
(10 minutes).
All papers presented in the journal track, the industrial track and
the work-in-progress track have undergone peer review. Presentations
are combined into by-theme and not by-track sessions, in order that
authors and participants alike enjoy all flavors of the program in
a mixed as opposed to segregated combination.
Papers and Presentations:
- 6 sessions: Verification and Validation 1, Advanced Systems,
Reliability and Performance, Verification and Validation 2,
Reliable Programming, Real-Time Systems
- 6 journal-track talks
- 7 industrial presentations and experience reports
- 15 work-in-progress reports
- posters of work-in-progress reports
- submissions and accepted contributions from around the world
- submissions by authors from 16 countries, and accepted contributions
from Austria, Brazil, Cameroon, France, Germany, Ireland, Italy,
Luxembourg, the Netherlands, Norway, Portugal, Spain, Sweden, UK, USA
Networking Area:
- features project posters, reserved vendor tables, and general
networking options
- 1 company already committed to be there: AdaCore
*** Tutorials
Six three-hour tutorials are offered on Tuesday 13th:
- "The HAC Ada Compiler",
by Gautier de Montmollin, Ada Switzerland, Switzerland
- "Controlling I/O Devices with Ada and the Linux Simple I/O Library",
by Philip Munts, Sweden
- "Everything you Always Wanted to Know about Characters and Strings",
by Jean-Pierre Rosen, Adalog, France
- "Introduction to the Development of Safety Critical Software",
by Jean-Pierre Rosen, Adalog, France
- "Rust Fundamentals",
by Luis Miguel Pinho and Tiago Carvalho, ISEP, Portugal
- "Concurrency and Parallelism in Rust",
by Luis Miguel Pinho and Tiago Carvalho, ISEP, Portugal
*** Satellite Events
Two workshops are held on Friday 16th:
- 8th International Workshop on "Challenges and New Approaches for
Dependable and Cyber-Physical System Engineering" (DeCPS 2023)
- 2nd International Workshop "AADL by its Practitioners (ADEPT)"
*** Social Program
The conference provides several opportunities to socialize:
- Each day: coffee breaks and sit-down lunches offer ample time for
interaction and networking with participants and vendors.
- Tuesday early evening: Welcome Reception in the gardens of the
National Museum of Science & Natural History. During two hours, a
selection of drinks and appetizers will be served and participants
will have the opportunity to taste port wine while walking in the
nice botanical gardens of the museum.
- Wednesday evening: Conference Banquet in the "Casa do Alentejo"
restaurant, downtown Lisbon. When entering the building, visitors
are surprised with the several rooms of the building (an old palace
that served as a casino in the XX century) featuring diverse styles
and decoration. Participants will have the opportunity to taste
cod fish baked in olive oil, which is a very typical Portuguese dish.
*** Further Information
Registration:
- registration information (and link to registration form) is provided
at <http://www.ada-europe.org/conference2023/registration.html>
- early registration discount until Monday May 22, 2023
- payment possible by credit card or bank transfer
- special low fee for authors and students
- discount for Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members
- registration includes coffee breaks, lunches and social events
- low tutorial fees
- low workshop fees
- see registration page for all details
Promotion:
- recommended Twitter hashtags: #AEiC2023 #AdaEurope #AdaProgramming
- Advance Program brochure to be available online at
<http://www.ada-europe.org/conference2023/media/AP_AEiC2023.pdf>
AEiC 2023 Sponsors:
- AdaCore: https://www.adacore.com/
The conference is supported and sponsored by
- Ada-Europe: http://www.ada-europe.org/
and organized in cooperation with
- ACM SIGAda: http://www.sigada.org/
- ACM SIGBED: https://sigbed.org/
- ACM SIGPLAN: http://www.sigplan.org/
- ARA: https://www.adaic.org/community/
- Ciências ULisboa: https://ciencias.ulisboa.pt/en
Please make sure you book accommodation as soon as possible.
For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2023>.
We look forward to seeing you in Lisbon in June 2023!
-----------------------------------------------------------------------
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
(V5.1)
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe Conference - 6 March Extended Final Deadline
Date: Sat, 25 Feb 2023 14:33:00 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Summary: 2nd submission deadline Mon 6 Mar 2023; 1+ week remains
Keywords: Conference,academia,industry,reliable,secure,IT,Ada,Lisbon
The recently posted reminder for the Ada-Europe 2023 Conference
triggered several requests for extra time. To give all authors the
same opportunity to further refine their submission, the organizers
decided that the deadline for industrial- and work-in-progress-track
abstracts, and for tutorial and workshop proposals will be extended
by 1 week until Monday, 6 March 2023. 1+ week remains!
-----------------------------------------------------------------------
FINAL UPDATED Call for Contributions
27th Ada-Europe International Conference on
Reliable Software Technologies (AEiC 2023)
13-16 June 2023, Lisbon, Portugal
*** EXTENDED FINAL submission DEADLINE 6 March 2023 ***
Industrial- and Work-in-Progress-track: submit via
https://easychair.org/my/conference?conf=aeic2023
select "Industrial Track" or "Work in Progress Track"
Tutorials: submit to Tutorial and Education Chair,
Luís Miguel Pinho <lmp @ isep.ipp.pt>
subject "[AEiC 2023: tutorial proposal]"
Workshops: submit to Workshop Chair,
Frank Singhoff <singhoff @ univ-brest.fr>
subject "[AEiC 2023: workshop proposal]"
For more information please see the full Call for Papers at
www.ada-europe.org/conference2023
#AEiC2023 #AdaEurope #AdaProgramming
-----------------------------------------------------------------------
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
(V4.1)
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: AEiC 2023 - Ada-Europe conference - Final Deadline Approaching
Date: Thu, 16 Feb 2023 09:39:33 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Summary: Deadline 27 Feb for all non-Journal-track submissions
Keywords: Conference,academia,industry,reliable,secure,IT,Ada,Lisbon
-----------------------------------------------------------------------
FINAL 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
*** FINAL submission DEADLINE 27 February 2023 ***
Organized by Ada-Europe
in cooperation with ACM SIGAda (approval pending)
and the 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
[CLOSED] Extended 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).
[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. 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.
*** 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.edu)
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
(V3.1)
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe Conference - 13 Feb Journal-Track Extended Deadline
Date: Sun, 8 Jan 2023 18:39:12 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Summary: 1st submission deadline Mon 13 Feb 2023; 5 weeks remain
Keywords: Conference,academia,industry,reliable,secure,IT,Ada,Lisbon
-----------------------------------------------------------------------
UPDATED 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 EXTENDED to 13 February 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
13 February 2023: Extended 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 13 February 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.edu)
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
(V2.1)
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: CfC 27th Ada-Europe Int. Conf. Reliable Software Technologies
Date: Tue, 20 Dec 2022 16:49:01 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Summary: It is time to prepare your submissions for AEiC 2023...
Keywords: Conference,academia,industry,reliable,secure,IT,Ada,Lisbon
-----------------------------------------------------------------------
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.edu)
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)
The next Ada-Europe Conference will be held in Lisbon, Portugal, from 13 to 16 June 2023.
More details will be announced shortly. The conference website, including the preliminary Call for Papers, will be at URL http://www.ada-europe.org/conference2023.
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2023/06/14.
Dirk Craeynest