Online / 5 & 6 February 2022

visit

Ada devroom


09 10 11 12 13 14 15 16 17
Sunday Introduction to the Ada devroom Introduction to Ada for Beginning and Experienced Programmers Ada looks good, now program a game without knowing anything The Ada numerics model 2022 Alire Update SweetAda
A lightweight development framework for the implementation of Ada-based software systems
Use (and abuse?) of Ada 2022 features in designing a JSON-like data structure Getting started with AdaWebPack Overview of Ada GUI SPARKNaCl: A verified, fast re-implementation of TweetNaCl The Outsider's Guide to Ada
Lessons from Learning Ada in 2021
Proving the Correctness of GNAT Light Runtime Library Implementing a Build Manager in Ada Exporting Ada software to Python and Julia
Applying GPRbuild to make shared object files

Read the Call for Papers at https://lists.fosdem.org/pipermail/fosdem/2021q4/003331.html.

Ada is a general-purpose programming language originally designed for safety- and mission-critical software engineering. It is used extensively in air traffic control, rail transportation, aerospace, nuclear, financial services, medical devices, etc. It is also perfectly suited for open source development.

Awareness of safety and security issues in software systems is ever increasing. Multi-core platforms are now abundant. These are some of the reasons that the Ada programming language and technology attracts more and more attention, among others due to Ada's support for programming by contract and for multi-core targets. The latest Ada language definition was updated early 2016. Work on new features is ongoing, such as improved support for fine-grained parallelism, and will result in a new Ada standard scheduled for 2022. Ada-related technology such as SPARK provides a solution for the safety and security aspects stated above.

More and more tools are available, many are open source, including for small and recent platforms. Interest in Ada keeps further increasing, also in the open source community, and many exciting projects have been started.

The Ada DevRoom aims to present the facilities offered by the Ada language (such as for object-oriented, multicore, or embedded programming) as well as some of the many exciting tools and projects using Ada.

Event Speakers Start End

Sunday

  Introduction to the Ada devroom 10:00 10:15
  Introduction to Ada for Beginning and Experienced Programmers Jean-Pierre Rosen 10:15 11:15
  Ada looks good, now program a game without knowing anything Stefan Hild 11:20 11:45
  The Ada numerics model Jean-Pierre Rosen 11:45 12:20
  2022 Alire Update Fabien Chouteau, Alejandro R. Mosteo 12:25 12:50
  SweetAda
A lightweight development framework for the implementation of Ada-based software systems
Gabriele Galeotti 12:50 13:15
  Use (and abuse?) of Ada 2022 features in designing a JSON-like data structure Alejandro R. Mosteo 13:15 13:40
  Getting started with AdaWebPack Max Reznik 13:45 14:10
  Overview of Ada GUI Jeffrey Carter 14:10 14:40
  SPARKNaCl: A verified, fast re-implementation of TweetNaCl Roderick Chapman 14:50 15:50
  The Outsider's Guide to Ada
Lessons from Learning Ada in 2021
Paul Jarrett 15:55 16:25
  Proving the Correctness of GNAT Light Runtime Library Yannick Moy 16:25 17:05
  Implementing a Build Manager in Ada Stephane Carrez 17:05 17:30
  Exporting Ada software to Python and Julia
Applying GPRbuild to make shared object files
Jan Verschelde 17:30 17:55