• Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.

    From Dirk Craeynest@21:1/5 to All on Fri Jun 9 10:56:57 2023
    XPost: fr.comp.lang.ada, comp.lang.misc


    FINAL Call for Participation

    *** UPDATED Program Summary ***

    27th Ada-Europe International Conference on
    Reliable Software Technologies (AEiC 2023)

    13-16 June 2023, Lisbon, Portugal


    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 ***
    *** 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

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


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)