Sunday |
| |
Introduction to the Ada DevRoom |
Ada |
10:00 |
10:15 |
| |
Introduction to Ada for Beginning and Experienced Programmers |
Ada |
10:15 |
11:20 |
| |
Ada Looks Good, Now Program a Game Without Knowing Anything |
Ada |
11:20 |
11:45 |
| |
The Ada Numerics Model |
Ada |
11:45 |
12:20 |
| |
2022 Alire Update |
Ada |
12:20 |
12:50 |
| |
SweetAda
A Lightweight Development Framework for the Implementation of Ada-based Software Systems |
Ada |
12:50 |
13:15 |
| |
Use (and Abuse?) of Ada 2022 Features in Designing a JSON-like Data Structure |
Ada |
13:15 |
13:45 |
| |
Getting Started with AdaWebPack |
Ada |
13:45 |
14:10 |
| |
Overview of Ada GUI |
Ada |
14:10 |
14:40 |
| |
SPARKNaCl: A Verified, Fast Re-implementation of TweetNaCl |
Ada |
14:45 |
15:50 |
| |
The Outsider's Guide to Ada
Lessons from Learning Ada in 2021 |
Ada |
15:50 |
16:25 |
| |
Proving the Correctness of GNAT Light Runtime Library |
Ada |
16:25 |
17:05 |
| |
Implementing a Build Manager in Ada |
Ada |
17:05 |
17:30 |
| |
Exporting Ada Software to Python and Julia
Applying GPRbuild to make shared object files |
Ada |
17:30 |
17:55 |
| |
Closing of the Ada DevRoom |
Ada |
17:55 |
18:00 |