Rocksolid Light

groups  faq  privacy  How to post  login

Message-ID:  

Today is National Existential Ennui Awareness Day.


rocksolid / de.comp.lang.misc / AEiC 2023 - Ada-Europe conference - Final Deadline Approaching

SubjectAuthor
o AEiC 2023 - Ada-Europe conference - Final Deadline ApproachingDirk Craeynest

1
Subject: AEiC 2023 - Ada-Europe conference - Final Deadline Approaching
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: Thu, 16 Feb 2023 09:39 UTC
Path: i2pn2.org!rocksolid2!news.neodome.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!reader01.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: AEiC 2023 - Ada-Europe conference - Final Deadline Approaching
Date: Thu, 16 Feb 2023 09:39:39 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Lines: 262
Message-ID: <tsktkr$37cbf$1@dont-email.me>
Injection-Date: Thu, 16 Feb 2023 09:39:39 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="4d0a4badc30452dbcf039f0905dced42";
logging-data="3387759"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18kGjsNT6SV3977A8XXtEcDz1FHQ2ToK1w="
Summary: Deadline 27 Feb for all non-Journal-track submissions
Keywords: Conference,academia,industry,reliable,secure,IT,Ada,Lisbon
Cancel-Lock: sha1:D2DvtAxSsC2ITJvTsWDkn/SLfTk=
Originator: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
View all headers

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

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


Click here to read the complete article

rocksolid / de.comp.lang.misc / AEiC 2023 - Ada-Europe conference - Final Deadline Approaching

1
server_pubkey.txt

rocksolid light 0.9.12
clearnet tor