Rocksolid Light

groups  faq  privacy  How to post  login

Message-ID:  

You will always have good luck in your personal affairs.


rocksolid / de.comp.lang.misc / Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.

SubjectAuthor
o Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.Dirk Craeynest

1
Subject: Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
From: Dirk Craeynest
Newsgroups: be.comp.programming, nl.comp.programmeren, de.comp.lang.misc, fr.comp.developpement, uk.comp.misc
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Date: Fri, 9 Jun 2023 10:57 UTC
Path: i2pn2.org!rocksolid2!news.neodome.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: dir...@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: be.comp.programming,nl.comp.programmeren,de.comp.lang.misc,fr.comp.developpement,uk.comp.misc
Subject: Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
Date: Fri, 9 Jun 2023 10:57:03 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Lines: 136
Message-ID: <u5v0hv$1st4o$1@dont-email.me>
Injection-Date: Fri, 9 Jun 2023 10:57:03 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="7e8270d24040249439b63f02158c93a6";
logging-data="1995928"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18kkYbNkmQZX+FmLeXIfMp4FzA6WXLAAtY="
Summary: Interested in Ada or reliable software? Meet us in Lisbon!
Keywords: Conference,academia,industry,reliable,secure,IT,Ada,Lisbon
Cancel-Lock: sha1:iUWZueZSt/VmllDD+QO8pN0atQw=
Originator: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
View all headers

-----------------------------------------------------------------------

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.2)


rocksolid / de.comp.lang.misc / Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.

1
server_pubkey.txt

rocksolid light 0.9.12
clearnet tor