TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show HTML Part by Default
Show All Mail Headers

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

Print Reply
Dirk Craeynest <[log in to unmask]>
Fri, 9 Jun 2023 13:01:48 +0200
text/plain (142 lines)
-----------------------------------------------------------------------

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

* 27th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2023)
* June 13-16, 2023, Lisbon, Portugal, www.ada-europe.org/conference2023

##############
Manage your subscription:

List Subscription Page: https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?SUBED1=TEAM-ADA

Unsubscribe: [log in to unmask]

ATOM RSS1 RSS2