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:3480@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T103000 DTEND:20150131T110000 SUMMARY:Arrival & Informal Discussions DESCRIPTION:
Feel free to arrive early, to start the day with some informaldiscussions while the set-up of the DevRoom is finished.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_arrival/ LOCATION:AW1.124 END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3479@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T110000 DTEND:20150131T110500 SUMMARY:Welcome DESCRIPTION:Welcome to the Ada Developer Room at FOSDEM 2015, which is organizedby Ada-Belgium in cooperation with Ada-Europe.
Ada-Belgium and Ada-Europe are non-profit organizations set upto promote the use of the Ada programming language and relatedtechnology, and to disseminate knowledge and experience into academia,research and industry in Belgium and Europe, resp. Ada-Europe hasmember-organizations, such as Ada-Belgium, in various countries.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_welcome/ LOCATION:AW1.124 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Dirk Craeynest":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3481@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T110500 DTEND:20150131T115500 SUMMARY:Ada, an Introduction DESCRIPTION:This talk will introduce the Ada programming language to people usedto more classical, weak-typed languages.
We will focus on how Ada uses its strong typing basis to prevent themost common programming errors at the language level, allowing thecompiler to check them before they cause problems.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_introduction/ LOCATION:AW1.124 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jérémy Rosen":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3482@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T120000 DTEND:20150131T125000 SUMMARY:Building a GUI for an Ada Application with GtkAda DESCRIPTION:GTK+ is an open-source library that allows to quickly and easilybuild a graphical user interface, using standard widgets like buttons,combo boxes, text and tree views, scroll bars, etc. Even though GTK+is written in C, it can be used from an Ada application thanks toGtkAda, an object-oriented Ada/C binding.
Illustrated by a poker game application, this presentation willexplain the essential concepts of GtkAda. It will show how to createthe most common widgets and how to interact with the user.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_gtkada/ LOCATION:AW1.124 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Serge Vanschoenwinkel":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3483@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T130000 DTEND:20150131T132500 SUMMARY:Opening the Development of PHCpack DESCRIPTION:PHCpack originated from bundling programs to solve polynomialsystems with symbolic-numeric and polyhedral methods. The core ofPHCpack consists mainly of Ada code, with interfaces to C and Python.Its blackbox solver is accessible from various scientific softwarepackages such as Macaulay2, Maple, MATLAB, Octave, and Sage.
The goal of the talk is to explain the application of softwareengineering principles and the role of Ada in the development ofPHCpack.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_phcpack/ LOCATION:AW1.124 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jan Verschelde":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3484@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T133000 DTEND:20150131T140000 SUMMARY:Informal Discussions DESCRIPTION:A half-hour slot has been reserved for much needed interactionand informal discussion among Ada DevRoom participants and anyonepotentially interested in Ada.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_informal/ LOCATION:AW1.124 END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3485@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T140000 DTEND:20150131T145000 SUMMARY:Contract-based Programming - A Route to Finding Bugs Earlier DESCRIPTION:Contract-based programming is a software development technique, whichis used to find programming errors earlier in the development process."Contract" refers to formal declarations of how types and subprograms("functions and methods" if you aren't an Ada programmer already)behave. In the strictest form, the contracts are checked as a partof the compilation process, and only a program which can be provento conform with the contracts will compile.In a less strict form, it is more similar to "preventive debugging",where the contracts are inserted as run-time checks, which makes itmore likely to identify errors during testing.
Ada provides a quite extensive support for contract-based programming.The checks are specified as a mix of compile-time checks, obligatoryrun-time checks, and optional run-time checks. In addition to that,SPARK defines a subset of Ada with full compile-time checks.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_contracts/ LOCATION:AW1.124 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jacob Sparre Andersen":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3486@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T150000 DTEND:20150131T155000 SUMMARY:Ada for ARM Bare Board DESCRIPTION:In 2014, AdaCore has released two new components in the GNAT GPLEdition: GNAT GPL for ARM Bare Board and SPARK 2014. I present thecontent of GNAT GPL for ARM, its Ravenscar runtime, how to build anddeploy an embedded application in Ada and how it was used to teach Ada.
Two different demos will be presented: a Tetris game and a trainsignalling system. Both are fully written in Ada, with some partswritten and proven with SPARK 2014.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_arm/ LOCATION:AW1.124 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Tristan Gingold":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3487@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T160000 DTEND:20150131T165000 SUMMARY:Multithreading Made Easy, part 3 - Bounded Work Queues DESCRIPTION:Ada is one of very few programming languages that supportmultithreading as part of the language, as opposed to libraries.
In the previous two episodes, we showed how Ada makes it easy to turna single-threaded program into a multi-threaded program. We endedup with ten thousand threads working concurrently then introduceda task pool and work queue wherein a small number of threads (oneper processor core) process thousands of small work units. But thework queue could become very big. In this third and last episode,we show how to restrict the size of the work queue to a fixed limit,thereby preventing denial-of-service attacks.
This presentation will feature live editing of source code, compilationand debugging. Questions from beginners are encouraged. It is notnecessary to have attended the first installments. The sources of ourexample program will be provided to those who want to tinker with them.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_multithreading/ LOCATION:AW1.124 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Ludovic Brenta":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3488@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T170000 DTEND:20150131T175000 SUMMARY:2D Drawing with Ada and Cairo DESCRIPTION:Cairo is a 2D graphics library with support for multiple outputdevices. It is designed to produce consistent output on all outputmedia while taking advantage of display hardware accelerationwhen available. The Cairo API provides operations similar tothe drawing operators of PostScript and PDF. Operations in Cairoincluding stroking and filling cubic Bézier splines, transformingand compositing translucent images, and antialiased text rendering.All drawing operations can be transformed by any affine transformation(scale, rotation, shear, etc.).
Illustrated by a poker game application, this presentation will showyou how to do nice drawings with Cairo, still programming with yourpreferred language: Ada!
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_cairo/ LOCATION:AW1.124 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Serge Vanschoenwinkel":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3489@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T180000 DTEND:20150131T182500 SUMMARY:Building Economic Simulations in Ada DESCRIPTION:Virtual Worlds Research has been using Ada to build large scaleeconomic simulations for 10 years now. These simulations have beenused by Governments and others to model the effects of, amongstother things, changing Legal Aid and reforming Social Care funding- many billions of pounds of annual spending. Here, I discuss ourexperiences, good and bad, with the Ada language, and provide a livedemonstration of the most recent model. I'll also discuss work inprogress to build a new forecasting model in association with theUniversity of Southampton.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_simulations/ LOCATION:AW1.124 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Graham Stark":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3490@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150131T183000 DTEND:20150131T190000 SUMMARY:Informal Discussions & Closing DESCRIPTION:Informal discussion on ideas and proposals for future events.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Ada URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ada_wrapup/ LOCATION:AW1.124 END:VEVENT END:VCALENDAR