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:10682@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T103000 DTEND:20200201T103500 SUMMARY:Welcome to the Ada DevRoom DESCRIPTION:
Welcome to the Ada Developer Room at FOSDEM 2020, which is organizedby Ada-Belgium in cooperation with Ada-Europe.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_welcome/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Dirk Craeynest":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jean-Pierre Rosen":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10683@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T103500 DTEND:20200201T112000 SUMMARY:An Introduction to Ada for Beginning and Experienced Programmers DESCRIPTION:An overview of the main features of the Ada language, with specialemphasis on those features that make it especially attractive forfree software development.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_intro/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jean-Pierre Rosen":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10684@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T113000 DTEND:20200201T115000 SUMMARY:HAC: the Compiler which will Never Become Big DESCRIPTION:In the Ada world, we are surrounded by impressive and professionaltools that can handle large and complex projects. Did you everdream of a tiny, incomplete but compatible system to play with?Are you too impatient, when developing small pieces of code, forlong compile-bind-link-run cycles? Are you a beginner intimidated byproject files and sophisticated tools? Then HAC (the HAC Ada Compiler,or the Hello-world Ada Compiler) is for you.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_hac/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Gautier de Montmollin":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10685@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T120000 DTEND:20200201T125000 SUMMARY:Tracking Performance of a Big Application from Dev to Ops DESCRIPTION:This talk describes how performance aspects of a big Air Traffic FlowManagement mission critical application are tracked from developmentto operations.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_performance/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Philippe Waroquiers":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:9112@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T130000 DTEND:20200201T132000 SUMMARY:Cappulada: What we've Learned DESCRIPTION:Last year I presented Cappulada, a C++ binding generator for Ada thatintended to overcome the shortcomings of existing solutions and toprovide usable bindings even for complex C++ code.
This year I want to show our conclusions on why automatic bindingsbetween C++ and Ada are hard (if not impossible) and where existingsolutions (including our own) fail.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_bindings/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Johannes Kliemann":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10686@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T133000 DTEND:20200201T135000 SUMMARY:Programming ROS2 Robots with RCLAda DESCRIPTION:The Robot Operating System (ROS) is one of the chief frameworksfor service robotics research and development. The next iterationof this framework, ROS2, aims to improve critical shortcomings ofits predecessor like deterministic memory allocation and real-timecharacteristics.
RCLAda is a binding to the ROS2 framework that enables the programmingof ROS2 nodes in pure Ada with seamless integration into the ROS2workflow.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_ros2/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Alejandro Mosteo":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10688@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T140000 DTEND:20200201T145000 SUMMARY:Live Demo of Ada's Distribution Features DESCRIPTION:Ada incorporates in its standard a model for distributed execution.It is an abstract model that does not depend on a particular kind ofnetwork or any other communication mean, and that preserves full typingcontrol across partitions. This presentation briefly exposes theprinciples of Ada's distribution model, then shows the possibilitieswith life demos across different machines and operating systems.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_distribution/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jean-Pierre Rosen":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10689@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T150000 DTEND:20200201T152000 SUMMARY:Writing Shared Memory Parallel Programs in Ada DESCRIPTION:Tasks in Ada are effective to speed up computations on multicoreprocessors. In writing parallel programs we determine the granularityof the parallelism with respect to the memory management. We have todecide on the size of each job, the mapping of the jobs to the tasks,and on the location of the input and output data for each job.
A multitasked Newton's method will show the effectiveness of Ada tospeed up the computation of power series. This application belongsto the free and open source package PHCpack, a package to solvepolynomial systems by polynomial homotopy continuation.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_parallel/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jan Verschelde":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:9109@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T153000 DTEND:20200201T155000 SUMMARY:Spunky: a Genode Kernel in Ada/SPARK DESCRIPTION:The Genode OS framework is an open-source tool kit for building highlysecure component-based operating systems scaling from embedded devicesto dynamic desktop systems. It runs on a variety of microkernelslike SeL4, NOVA, and Fiasco OC as well as on Linux and the Muen SK.But the project also features its own microkernel named "base-hw"written in C++ like most of the Genode framework.
Spunky is a pet project of mine. Simply put it's an approach tore-implement the design of the "base-hw" kernel first in Ada andlater in SPARK with the ultimate goal to prove its correctness.It is also an opportunity to learn how Genode can benefit from Adaand SPARK in general and promote the use of safety-oriented languagesin the project.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_spunky/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Martin Stein":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10690@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T160000 DTEND:20200201T165000 SUMMARY:Alire: Ada Has a Package Manager DESCRIPTION:Alire (Ada LIbrary REpository) is a package manager project for theAda/SPARK community. The goal of a package manager is to facilitatecollaboration within the community and to lower the barrier of entryfor beginners.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_alire/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Fabien Chouteau":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Pierre-Marie de Rodat":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Alejandro Mosteo":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10691@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T170000 DTEND:20200201T172000 SUMMARY:Protect Sensitive Data with Ada Keystore DESCRIPTION:Storing passwords and secret configuration is a challenge for anapplication. Ada Keystore is a library that stores arbitrary contentby encrypting them in secure keystore (AES-256, HMAC-256).
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_keystore/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Stephane Carrez":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10692@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T173000 DTEND:20200201T175000 SUMMARY:EUgen: a European Project Proposal Generator DESCRIPTION:Whoever wrote a research project proposal knows how much unnerving itcan be. The actual project description (made of work packages, tasks,deliverable items, ...) has lots of redundancies and cross-referencesthat makes its coherency as frail as a house of cards. For example,if the duration of a task is changed most probably you'll need toupdate the effort in person-months of the task and of the includingwork package; you must update the start date of depending tasks andthe deliver date of any deliverable items; most probably also theWP efforts and length need update too; not to mention the need ofupdating all the summary tables (summary of efforts, deliverable,..) and the GANTT too. Any small changes is likely to start a rippleof updates and the probability of forgetting something and getting anincoherent project description is large. Given the harsh competitionin project funding, if your project is incoherent the probability ofgetting funded is nil.
One day I got sick of this state of affair and I wrote my own projectgenerator: 10k lines of Ada code that reads a non-redundant projectdescription from a simple-format text file and produces a set of filesready to be imported in the proposal, GANNT chart included. The usercan specify dependences between different items (e.g., this deliverableis produced at the end of this task, this milestone is reached whenthis deliverable is available, this task must begin after this othertask...) and the program automatically computes all the dates.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_eugen/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Riccardo Bernardini":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10693@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T180000 DTEND:20200201T182000 SUMMARY:On Rapid Application Development in Ada DESCRIPTION:In the Ada world we typically write mission critical software thatjust has to work, but in a way one could argue that a lot more softwareis mission critical than is usually admitted.
What does it take to actually perform rapid application developmentin any language? Can we do it in Ada and why would we do so?
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_rad/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Tomasz Maluszycki":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10694@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T183000 DTEND:20200201T185000 SUMMARY:Ada-TOML: a TOML Parser for Ada DESCRIPTION:The world of generic structured data formats is full of contenders:the mighty XML, the swift JSON, the awesome YAML, ... Alas, thereis no silver bullet: XML is very verbose, JSON is not convenient forhumans to write, YAML is known to be hard to parse, and so on.
TOML is yet another format whose goal is to be a good configurationlanguage: obvious semantics, convenient to write and easy to parsein general-purpose programming languages.
In this talk, I'll shortly describe the TOML format and show a fewuse cases in the real world. I'll then present the ada-toml libraryitself: its high-level architecture and examples.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_toml/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Pierre-Marie de Rodat":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10695@FOSDEM20@fosdem.org TZID:Europe-Brussels DTSTART:20200201T185000 DTEND:20200201T190000 SUMMARY:Informal Discussions & Closing DESCRIPTION:Informal discussion on ideas and proposals for future events.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2020/schedule/2020/schedule/event/ada_wrapup/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Dirk Craeynest":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jean-Pierre Rosen":invalid:nomail END:VEVENT END:VCALENDAR