Ada France

Appel à communication / Ada-Europe 2025

Par Jean-Pierre Rosen

Voici l'appel à communication pour la conférence AEiC 2025. Rappel: c'est à Paris! Désolé pour l'anglais...


                        Call for Contributions

              29th Ada-Europe International Conference on
               Reliable Software Technologies (AEiC 2025)

                     10-13 June 2025, Paris, France 

                   www.ada-europe.org/conference2025

          *** Journal-track submissions by 20 January 2025 ***
             *** Other submissions by 24 February 2025 ***

                 Organized by Ada-Europe and Ada-France

                  #AEiC2025 #AdaEurope #AdaProgramming

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

*** General Information

The 29th Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2025) will take place in Paris, France.  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 papers present research advances supported by solid
  theoretical foundation and thorough evaluation.
- Industrial track contributions highlight the practitioners' side
  of a challenging case study or industrial project.
- Work-in-progress track papers illustrate novel research ideas still
  at an initial stage, between conception and first prototype.
- Tutorials guide attenders through a hands-on familiarization with
  innovative developments or with useful features related to reliable
  software.
- Workshops provide discussion forums on themes related to the
  conference topics.

*** Schedule

20 January 2025:  Deadline for submission of journal track papers
24 February 2025: Deadline for submission of industrial track papers,
                  work-in-progress papers, and tutorial and workshop
                  proposals
28 March 2025:    First round notification for journal track papers,
                  and notification of acceptance for all other types
                  of submissions
10-13 June 2025:  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, 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 (more specific topics are described on the conference web page):
- Formal and Model-Based Engineering of Critical Systems;
- High-Integrity Systems and Reliability;
- AI for High-Integrity Systems Engineering;
- Real-Time Systems;
- Ada Language;
- Applications in relevant domains.

More specific topics are described on the conference web page,
at www.ada-europe.org/conference2025.

*** Call for Journal Track Submissions

Following a journal-first model, this edition of the conference
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 a Special Issue
of Elsevier JSA - the Journal of Systems Architecture (Q1 ranked,
CiteScore 8.5, impact factor 3.7).  Contributions must be submitted
by 20 January 2025.

JSA has adopted the Virtual Special Issue model to speed up the
publication process, where Special Issue (SI) papers are published
in regular issues, but marked as SI papers.  Acceptance decisions
are made on a rolling basis.  Therefore, authors are encouraged to
submit papers early, and need not wait until the submission deadline.
Authors who have successfully passed the first round of review will
be invited to present their work at the conference.  The abstract of
the accepted contributions will be included in the conference booklet.

Ada-Europe will waive the Open Access fees for the first four accepted
papers (whose authors do not already enjoy Open Access agreements).
Subsequent papers will follow JSA regular publishing track.
Prospective authors may direct all enquiries regarding this track to
the corresponding chairs, Laurent Pautet and Sara Royuela.

*** 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 24 February 2025.

The abstracts 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, Daniela Cancila and Laurent Gouzenes.

*** Call for Work-in-progress Track Submissions

The work-in-progress (WiP) 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 24 February 2025.

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, Hai Nam Tran and Anish Bhobe.

*** Award

The Ada-Europe organization 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-for-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 at
any time but no later than 24 February 2025 to the respective chair,
Robert Cholay.  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 at any time but no later than 24 February 2025 to
the respective chair, Anish Bhobe.  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.

*** Venue

The conference will take place at Mines Paris.  Mines Paris - PSL,
a founding member of Université PSL, is a leading French engineering
school and the French leader institution in research partnerships.
Founded 240 years ago to help spur the energy efforts called by the
Industrial Revolution, it has been since training engineers in a
wide spectrum of scientific disciplines.  With about 1,500 students,
including 100 PhD graduates per year, Mines Paris - PSL hosts 18
research centers and 5 academic departments.  It is located along
the Luxembourg gardens, next to the Quartier Latin, and is close
to public transportation, including line B of the RER to Charles De
Gaulle airport (CDG).

Paris, the capital city of France, is renowned for its rich history,
stunning architecture, and vibrant culture.  Often referred to as
"The City of Light," Paris is home to iconic landmarks such as the
Eiffel Tower, the Louvre Museum, and Notre-Dame Cathedral.  The city
is a global center for art, fashion, gastronomy, science and culture,
attracting millions of visitors each year.

*** Organizing Committee

- Conference Chair
  Jean-Pierre Rosen, Adalog & Ada-France
  rosen at adalog.fr

- Journal track Co-chairs
  Laurent Pautet, Telecom Paris
  laurent.pautet at telecom-paris.fr
  Sara Royuela, Barcelona Supercomputing Center
  sara.royuela at bsc.es

- Industrial track Co-chairs
  Daniela Cancila, CEA LIST
  daniela.cancila at cea.fr
  Laurent Gouzenes, Pacte-Novation
  lgouzenes at pactenovation.fr

- Work-in-progress track Co-chairs
  Hai Nam Tran, University of Brest
  hai-nam.tran at univ-brest.fr
  Anish Bhobe, Telecom Paris
  anish.bhobe at telecom-paris.fr

- Workshop Chair
  Anish Bhobe, Telecom Paris
  anish.bhobe at telecom-paris.fr

- Tutorial Chair
  Robert Cholay, Systerel
  robert.cholay at free.fr

- Exhibition & Sponsorship Chair
  Ahlan Marriott, White Elephant GmbH
  ahlan at ada-switzerland.ch

- Finance Chair
  Paul Duquennoy
  paul.duquennoy at free.fr

- Publicity Chair
  Dirk Craeynest, Ada-Belgium & KU Leuven
  dirk.craeynest at cs.kuleuven.be

- Webmaster
  Hai Nam Tran, University of Brest
  hai-nam.tran at univ-brest.fr

- Local Chair
  Pierre Jouvelot, Mines Paris, PSL University 
  pierre.jouvelot at minesparis.psl.eu

*** Previous Editions

Ada-Europe organizes annual international conferences since the early
80's.  This is the 29th event in the Reliable Software Technologies
series, previous ones being held at Montreux, Switzerland ('96),
London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99),
Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02),
Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK
('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy
('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK ('11),
Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14),
Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17), Lisbon,
Portugal ('18), Warsaw, Poland ('19), online from Santander, Spain
('21), Ghent, Belgium ('22), Lisbon, Portugal ('23), and Barcelona,
Spain ('24).

Information on previous editions of the conference can be found at
www.ada-europe.org/confs/ae.

Ada-Europe 2025 sera à Paris!

Par Jean-Pierre Rosen

AEiC2025 logo

La prochaine conférence Ada-Europe, AEiC-2025, sera organisée par Ada-France, en coopération avec l'école des Mines de Paris!

On affichera tous les détails au fur et à mesure qu'ils se préciseront, stay tuned!

Et bien sûr, on accueille tous les volontaires pour donner un coup de main. Si vous êtes intéressé, n'hésitez pas à mettre un mot à rosen@adalog.fr

10ième anniversaire de Gnoga

Par Pascal Pignard

Gnoga est né sur SourceForge le 8 septembre 2014.

"GNU Omnificent Gui for Ada" (Gnoga) est une bibliothèque graphique multi-plateforme créée nativement en Ada. Ce n'est pas une sur-couche Ada à une bibliothèque existante en C ou C++. Sa particularité est de permettre de construire des applications graphiques orientées Web indépendantes de la plateforme. Double indépendance garantie d'une part de fait du langage Ada lui même, Ada assure qu'un code source aura un comportement identique quelque soit la plate-forme d'exécution de part son compilateur (s'il accepte la compilation), d'autre part avec l'utilisation du HTML et du Javascript pour le rendu graphique dans un navigateur Web.
J'ai tout de suite aimé Gnoga pour la cohérence et la simplicité de ces API s'imbriquant naturellement les unes aux autres. Le programmeur peut se reposer sur Ada pour son code métier et sur la multitude des bibliothèques Javascript pour l'interface graphique.
Pendant 10 ans Gnoga a évolué tout en restant fidèle à ces principes fondateurs.
Gnoga c'est :

  • 1031 commits
  • 2200 téléchargements
  • 2196 messages sur la liste de diffusion
  • 56 tickets

Vous trouverez une page spéciale anniversaire sur le wiki de Gnoga.
N'hésitez pas à faire part de votre expérience.
À cette occasion, publication de Gnoga version 2.2.

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

L'association

L'association Ada France est une association sans but lucratif (loi de 1901) dont le but est la promotion des bonnes pratiques d'ingénierie logicielle en général et du langage Ada en particulier.

Elle permet à tous ceux intéressés par Ada de se rencontrer et d'échanger de l'expérience; en 2014, elle a organisé la conférence Ada-Europe à Paris.

Mascotte Ada

Le langage Ada

Le langage Ada est un langage de programmation impératif, fortement typé, développé depuis les années 1980. Il a depuis connu plusieurs évolutions et re-normalisations en 1995, 2005 et 2012.

Les actions

L'association Ada-France organise un réseau offrant un lieu d'échange aux différents utilisateurs du langage Ada. L'association est également présente dans différents rassemblements majeurs de communautés du logiciel libre français et européens tels que « Solutions Linux » ou les « FOSDEM ».

Ada Europe

Ada france est membre de Ada Europe. Cette organisation est éditrice du « Ada User Journal », et organise de manière annuelle la conférence « International Conference on Reliable Software Technologie ».

Rejoindre Ada-france

Rien de plus simple ! Vous pouvez vous inscrire en ligne via notre formulaire sur la page: Adhésion Ada-France.