BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Pentabarf//Schedule 0.3//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALDESC;VALUE=TEXT:Ada devroom X-WR-CALNAME;VALUE=TEXT:Ada devroom X-WR-TIMEZONE;VALUE=TEXT:Europe/Brussels BEGIN:VEVENT METHOD:PUBLISH UID:13117@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T100000 DTEND:20220206T101500 SUMMARY:Introduction to the Ada DevRoom DESCRIPTION:
Welcome to the Ada Developer Room at FOSDEM 2020, which is organized in cooperation with Ada-Europe and Ada-Belgium.
This year marks the first edition on which the devroom takes place on an online format. For that reason, this presentation will explain how does it work and how can the public use the systems provided by FOSDEM and interact with the speakers. We will also introduce the Ada-Europe and Ada-Belgium organisations. This small introduction also serves as a test to make sure the systems are working as expected and that any questions that may take place from the public can be answered.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_introduction_room/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Fernando Oleo Blanco":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12870@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T101500 DTEND:20220206T112000 SUMMARY:Introduction to Ada for Beginning and Experienced Programmers DESCRIPTION:An overview of the main features of the Ada language, with special emphasis on those features that make it especially attractive for free software development.
Ada is a feature-rich language, but what really makes Ada stand-out is that the features are nicely integrated towards serving the goals of software engineering. If you prefer to spend your time on designing elegant solutions rather than on low-level debugging, if you think that software should not fail, if you like to build programs from readily available components that you can trust, you should really consider Ada
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_introduction_beginning_experienced/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jean-Pierre Rosen":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12453@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T112000 DTEND:20220206T114500 SUMMARY:Ada Looks Good, Now Program a Game Without Knowing Anything DESCRIPTION:In 2020 I started live streaming the development of a turn-based strategy game. At that time I had little idea about Ada, programming or game development (nothing has changed about that to this day). But by September 2020 it had taken the early form of a Civilization clone. After more than a year of development, it has become almost a real game with its own features. And now I'm going to talk a little bit about some experiences and weirdnesses with game development in Ada
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_looks_good_game/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Stefan Hild":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12879@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T114500 DTEND:20220206T122000 SUMMARY:The Ada Numerics Model DESCRIPTION:The requirements for Ada numerics were to provide portable arithmetics without unacceptable performance cost. This talk shows how this was achieved by interval arithmetics without requiring a particular implementation model, like IEEE arithmetics.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_numerics_model/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jean-Pierre Rosen":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12378@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T122000 DTEND:20220206T125000 SUMMARY:2022 Alire Update DESCRIPTION:At FOSDEM 2020 we presented the first version of Alire, the package manager for the Ada Open Source ecosystem. Two years later, the tools and its ecosystem have evolved, in some instances based on the feedback received at FOSDEM. So we want to give you an update on the new features and improvements, including:
We will also have a look at the ecosystem of crates available in the Alire community index.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/2022_alire_update/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Fabien Chouteau":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Alejandro R. Mosteo":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:13118@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T125000 DTEND:20220206T131500 SUMMARY:SweetAda DESCRIPTION:SweetAda is a lightweight development framework whose purpose is the implementation of Ada-based software systems.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_sweetada/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Gabriele Galeotti":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12873@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T131500 DTEND:20220206T134500 SUMMARY:Use (and Abuse?) of Ada 2022 Features in Designing a JSON-like Data Structure DESCRIPTION:Ada 2022 is around the corner with many goodies in the form of new features and featurettes. Arguably small syntax sugar additions combine for the programmer's comfort, like for example user-defined literals and container aggregates, that allow natural initialization of user-defined containers with the same expressions used for basic arrays since the beginnings of Ada. In this talk, I discuss how these features allow the initialization of a container data type for heterogeneous values (a-la JSON) without the need of crutch functions (like the usual "+"). Such an structure could be used for compiled-in definitions but, more ambitiously, a relatively simple parser for a strict subset of Ada could leverage this data structure for natural-looking (to the Ada programmer) configuration files. Such configuration files could be useful for tools that are strictly Ada-oriented, written by and for Ada programmers.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_2022_json_like/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Alejandro R. Mosteo":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12887@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T134500 DTEND:20220206T141000 SUMMARY:Getting Started with AdaWebPack DESCRIPTION:Have been tired from JavaScript in Web development?Do you want to write both client and server sides in Ada?Are you looking for modern user interface for you application?Try to use AdaWebPack and run your Ada code in the web browser!
The presentation introduces AdaWebPack - Ada compiler toWebAssembly, customized Run-Time library and Web APIbinding. It explains the overall architecture of the packand includes a short get started demo.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_adawebpack/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Max Reznik":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12847@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T141000 DTEND:20220206T144000 SUMMARY:Overview of Ada GUI DESCRIPTION:This presentation will introduce the participants to Ada GUI, an Ada-oriented GUI, its philosophy and use, and differences from typical GUI frameworks.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_adagui/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jeffrey Carter":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12354@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T144500 DTEND:20220206T155000 SUMMARY:SPARKNaCl: A Verified, Fast Re-implementation of TweetNaCl DESCRIPTION:SPARKNaCl is a new, verified and fast reefrence implementation of the NaCl API, based on the TweetNaCl distribution. It has a fully automated, complete and sound proof of type-safety and several key correctness properties. In addition, the code is fast - out-performing TweetNaCl on an Ed25519 Sign operation by a factor of 3 at all optimization levels. This talk will cover how "Proof Driven Optimization" can result in code that is both correct and fast on bare-metal embedded targets.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_sparknacl/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Roderick Chapman":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12891@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T155000 DTEND:20220206T162500 SUMMARY:The Outsider's Guide to Ada DESCRIPTION:Ada can be difficult to approach due to using a different vernacular to most other languages, and also having many unfamiliar structures and ways of doing things.
This is an overview of the Ada language by someone who is new to the language, for programmers from other languages, kept as neutral and objective as possible. See how syntax falls into four categories and the language allows you to opt into features. Learn how Ada fits together at a high level, with an emphasis on the ways Ada differs, using code samples from open source Ada projects.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_outsiders_guide/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Paul Jarrett":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12401@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T162500 DTEND:20220206T170500 SUMMARY:Proving the Correctness of GNAT Light Runtime Library DESCRIPTION:As a programming language, Ada offers a number of features that require runtime support, e.g. exception propagation or concurrency (tasks, protected objects). The GNAT compiler implements this support in its runtime library, which comes in a number of different flavors, with more or less capability. The GNAT light runtime library is a version of the runtime library targeted at embedded platforms and certification, with an Operating System or without it (baremetal). It contains around 180 units focused mostly on I/O, numerics, text manipulation, memory operations.
Variants of the GNAT light runtime library have been certified for use at the highest levels of criticality in several industrial domains: avionics (DO-178), space (ECSS-E-ST40C), railway (EN 50128), automotive (ISO-26262). Details vary across certification regimes, but the common approach to certification used today is based on written requirements traced to corresponding tests, supported by test coverage analysis. Despite this strict certification process, some bugs were found in the past in the code. An ongoing project at AdaCore is applying formal proof with SPARK to the light runtime units, in order to prove their correctness: that the code is free of runtime errors, and that it satisfies its functional specifications.
So far, 30 units (out of 180) have been proved, and a few bugs fixed along the way (including a security vulnerability). In this talk, I will describe the approach followed, what was achieved, and what we expect to achieve.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_proving_gnat_light_runtime/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Yannick Moy":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12867@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T170500 DTEND:20220206T173000 SUMMARY:Implementing a Build Manager in Ada DESCRIPTION:Having used Jenkins with more than 30 projects during 8 years,it was time to switch to another build manager.Written in Ada, Porion is a new build manager intended to replaceJenkins by providing more security, safety and performance.
The presentation describes the complexity of designing a buildmanager. It highlights some security issues that apply toa build manager and its implementation. It explains the overallarchitecture that was chosen and the reason of the choice.Finally it presents the Ada generation tools that have beenused in this project.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_build_manager/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Stephane Carrez":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:12896@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T173000 DTEND:20220206T175500 SUMMARY:Exporting Ada Software to Python and Julia DESCRIPTION:The objective is to demonstrate the making of Ada softwareavailable to Python and Julia programmers using GPRbuild.GPRbuild is the project manager of the GNAT toolchain.This talk will first present a self-contained small exampleto illustrate the making of shared object files from Ada software,so the software can be used in Python and Julia.The second part of the talk concerns the application to PHCpack,a free and open source software package to solve polynomial systemsby homotopy continuation methods, written mainly in Ada, andavailable at github at https://github.com/janverschelde/PHCpack.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_python_and_julia/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jan Verschelde":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:13560@FOSDEM22@fosdem.org TZID:Europe-Brussels DTSTART:20220206T175500 DTEND:20220206T180000 SUMMARY:Closing of the Ada DevRoom DESCRIPTION:Thank you for participating in this year's Ada devroom!
After this short closing event, a room will be open for anybody to join and just talk about anything.
We hope you enjoyed this years edition. Should you have any feedback on how it went, do not hesitate to submit it to the organisers!
Cheers,The Ada FOSDEM team.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2022/schedule/2022/schedule/event/ada_closing/ LOCATION:D.ada ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Dirk Craeynest":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Fernando Oleo Blanco":invalid:nomail END:VEVENT END:VCALENDAR