Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2024 (Barcelona, June 2024)

Dirk.Craeynest@cs.kuleuven.be
Tue, 16 Apr 2024 13:04:40 +0200

          From comp.compilers

Related articles
| List of all articles for this month |

From: Dirk.Craeynest@cs.kuleuven.be
Newsgroups: comp.compilers,comp.parallel,news.announce.conferences
Date: Tue, 16 Apr 2024 13:04:40 +0200
Organization: Compilers Central
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="56943"; mail-complaints-to="abuse@iecc.com"
Keywords: Ada, conference
Posted-Date: 16 Apr 2024 22:10:12 EDT

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


                                                  Call for Participation


                            28th Ada-Europe International Conference on
                              Reliable Software Technologies (AEiC 2024)


                                      11-14 June 2024, Barcelona, Spain


                                      www.ada-europe.org/conference2024


                                      *** Online registration open! ***
                              *** Extensive info on conference site ***


      Organized by Ada-Europe and Barcelona Supercomputing Center (BSC),
                in cooperation with ACM SIGAda, ACM SIGBED, ACM SIGPLAN,
                                    and Ada Resource Association (ARA),
          supported and sponsored by ASCENDER project, ACM-W, Eurocity,
      AdaCore, Rising STARS project, ACM-W Barcelona Chapter, and OpenMP


                                    #AEiC2024 #AdaEurope #AdaProgramming


                        *** Early registration discount until May 20 ***
                      *** Highly recommended to book your hotel ASAP ***


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


*** Exciting News!


Preparations for AEiC 2024, the 28th Ada-Europe International
Conference on Software Reliable Technologies, are well underway!


Registrations opened Tuesday April 16, and we've got some exciting
offers lined up for you, courtesy of our generous sponsors Rising
STARS and AdaCore, as well as an inspiring program.


See below for an overview, and visit our website for more details about
accepted contributions, registration fees, social events and many more.


*** General Information


The 28th Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2024) will take place in Barcelona, Spain.
The conference schedule comprises a keynote and an invited talk,
a panel with invited experts, a journal track, an industrial track,
a work-in-progress track, a vendor exhibition, parallel tutorials and
hackaton, and satellite workshops. There will be time for networking
during breaks and lunches, as well as various social events.


AEiC 2024 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 the Ada
programming language 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 2024 edition of the conference continues a number of important
innovations started in previous years:
- reduced conference registration fee for all authors;
- low registration fee for all tutorials and workshops;
- journal-based open-access publication model for peer-reviewed papers;
- compact program with two core days (Wednesday & Thursday);
- tutorials on Tuesday, followed by welcome event for all participants;
- workshops on Friday, optional chill event on Thursday evening.


*** Overview of the Week


- Tue 11: six half-day tutorials, full-day hackaton, welcome reception
- Wed 12: core technical program, conference banquet
- Thu 13: core technical program, post conference chill-out
- Fri 17: four full-day workshops


Extensive information on AEiC 2024 is on the conference website,
such as an overview of the program, the list of accepted papers and
presentations, and descriptions of workshops, tutorials, hackaton,
keynote and invited presentations, panel, and social events.
Also check the conference site for registration, accommodation and
travel information. The Advance Program brochure will be available
there as well.


*** Venue


The conference will take place in UPC Campus Nord, easily accessible by
metro from the airport and city centre. If you can stay over before or
after the conference, there's a lot to see around. Check the Practical
Information section of the conference website for more info.


*** Invited Speakers


This year the conference will feature a keynote talk on the first
day, and a panel with three invited speakers on the second, plus an
invited talk. All will address topics of relevance in the conference
scope, with time for questions and answers.


- On Wed June 12, a keynote talk by Francisco J. Cazorla and Jaume
    Abella, from Barcelona Supercomputing Center, who will talk about
    "Strategies to Build Safety Relevant High-Performance HW/SW Platforms
    for Critical Embedded Systems".


- On Thu June 13, a panel on "AI for Safety-Critical Systems: How
    'I' Should the AI be?", moderated by Cristina Seceleanu, Mälardalen
    University, with three invited experts: Kerstin Bach (Norwegian
    University of Science and Technology), Irune Yarza (Ikerlan),
    Marta Barroso (Barcelona Supercomputing Center).


- And an invited talk by Rosa Maria Badia, Barcelona Supercomputing
    Center, on "Simplifying the Life-Cycle Management of Complex
    Application Workflows".


*** 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 (25 minutes),
industrial-track talks (15 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 with a mix of presentations on specific topics
- 13 journal-track talks
- 8 work-in-progress reports
- 5 industrial presentations and experience reports
- submissions from around the world
- accepted contributions by authors from Belgium, China, France,
    Germany, India, Italy, Portugal, Spain, Sweden, UK, USA


*** Tutorials


Six three-hour tutorials are offered on Tuesday 11th:


- "Lock-Free Programming in Ada-2022: Implementing a Work-Stealing
    Scheduler for Ada-2022's Light-Weight Parallelism", by S. Tucker
    Taft, AdaCore, USA


- "Ada for Business Applications", by Gautier de Montmollin,
    Ada-Switzerland, Switzerland


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


- "Modeling Concurrent State Machines in TLA+", by J. Germán Rivera,
    Tesla, USA


- "Introduction to the Development of Safety-Critical Software",
    by Jean-Pierre Rosen, Adalog, France


- "METASAT: Programming High Performance RISC-V Technologies for
    Space", by Leonidas Kosmidis, Barcelona Supercomputing Center,
    Alejandro Calderon, Ikerlan, Aridane Alvarez Suarez, fentISS,
    Lorenzo Lazzara, Collins Aerospace, Eckart Göhler, OHB


- "Introduction to Certifiable General Purpose GPU Programming
    for Safety-Critical Systems", by Leonidas Kosmidis, Barcelona
    Supercomputing Center, Rod Burns and Verena Beckham, Codeplay/Intel


as well as a "hackaton":


- "Optimizing AI-driven Workflows within a Mission-Critical
    Cyber-Physical System", if you're keen to explore the latest AI
    techniques for Adaptive Optics applications in giant telescopes
    with Damien Gratadour, Observatoire de Paris, CNRS, France


*** Satellite Events


Four workshops are held on Friday 11th:


- 3rd ADEPT workshop "AADL by its practitioners"


- 9th International Workshop on "Challenges and New Approaches for
    Dependable and Cyber-Physical System Engineering" (DeCPS 2024)


- "Enabling the use of AI in Safety-Critical Systems"


- "Ada Developers Workshop", an informal yet dynamic gathering for
    developers in the Ada community to meet, share insights, and present
    their latest projects or project updates, using the Ada programming
    language and Ada-related technology


*** Social Program


The conference provides several opportunities to socialize:


- Each day: coffee breaks and lunches offer ample time for interaction
    and networking with participants and vendors.


- Tuesday early evening: welcome reception at the picturesque gardens
    of Torre Girona. Guests will be treated to a curated selection
    of local wines paired with the globally renowned Iberian ham, and
    an array of delectable appetizers representing the rich culinary
    heritage of Catalonia and Spain. Attendees will have the unique
    opportunity to explore the cutting-edge facilities of the Barcelona
    Supercomputing Center, and marvel at its latest addition, the
    Marenostrum V supercomputer, and its predecessor, Marenostrum IV,
    housed within the historic chapel of Torre Girona.


- Wednesday evening: Conference Banquet at the emblematic restaurant
    "7 portes". Attendees will have the opportunity to savor the
    finest flavors of the Catalan and Mediterranean cuisines, such as
    the renowned "Paella Perallada", a masterpice that harmoniously
    combines semi-dry rice with succulent peeliled shellfish, delectable
    seafood and tender meats. With a history spanning over 180 years,
    "7 portes" stands as a witness to the evolution of some of the
    most illustrious artists of their time, including Pablo Picasso and
    Antoni Tàpies. Their presence has left an indelible mark, forming
    a captivating small art gallery within the restaurant's walls,
    waiting to be discovered by guests.


- Thursday evening: Chill event at the Moritz Barcelona Brewery,
    the brewery of the first beer of Barcelona. The event is divided
    in three parts: a visit to the brewery, a welcome drink at the
    Brasserie room, offering an exclusive vantage point overlooking the
    maceration tanks, and a banquet served within the same Brasserie
    room, by renowned chef Jordi Vilà, adorned with a Michelin star,
    promising a gastronomic experience to be savored and remembered.


*** Further Information


Registration:
- registration information is provided at
    <http://www.ada-europe.org/conference2024/registration.html>
- early registration discount until Monday May 20, 2024
- payment possible by credit card or bank transfer
- special low conference fee for authors
- discount for Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members
- registration includes coffee breaks, lunches and social events
- low tutorial and workshop fees for all participants
- strong discount on all fees for students
- minimal fee for AI Hackaton and Ada Developers Workshop
- see registration page for all details


Promotion:
- recommended Twitter hashtags: #AEiC2024 #AdaEurope #AdaProgramming


AEiC 2024 Sponsors:
- Barcelona Supercomputing Center: <https://www.bsc.es/>
- ASCENDER project:
    <https://www.bsc.es/research-and-development/projects/
    ascender-arquitectura-software-para-entornos-de-computo-continuo>
- ACM-W: <https://women.acm.org/>
- Eurocity: <https://eurocity.be/>
- AdaCore: <https://www.adacore.com/>
- Rising STARS project: <https://risingstars-project.eu/>
- ACM-W Barcelona Chapter: <https://twitter.com/BCN_ACM_W>
- OpenMP: <https://www.openmp.org/>


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


Please make sure you book accommodation as soon as possible.


For more info and latest updates see the conference website at
<http://www.ada-europe.org/conference2024>.


We look forward to seeing you in Barcelona in June 2024!


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


Our apologies if you receive multiple copies of this announcement.
Please circulate widely.


Dirk Craeynest, AEiC 2024 Publicity Chair
Dirk.Craeynest@cs.kuleuven.be


* 28th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2024)
* June 11-14, 2024, Barcelona, Spain, www.ada-europe.org/conference2024


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.