Brussels / 1 & 2 February 2014

schedule

Ada devroom


09 10 11 12 13 14 15 16 17 18
Saturday Welcome Introduction to Ada for Beginning and Experienced Programmers Ada Task Pools: Multithreading Made Easy Informal Discussion & Lunch Break SPARK 2014: Hybrid Verification using Proofs and Tests Contract Based Programming in Ada 2012 Formal Verification with Ada 2012: a Very Simple Case Study Speedup and Quality Up with Ada Tasking
Solving polynomial systems faster and better on multicore computers with PHCpack
Safer Web Servers with Ada and AWS Ada in Fedora Linux Ada in Debian Linux Ada in *BSD Wrap Up & Future Plans

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

This developer room aims to present the possibilities offered by the Ada Language (object-oriented, multi-core, embedded programming) as well as some of the many exciting tools and projects using Ada.

Event Speakers Start End

Saturday

  Welcome Dirk Craeynest 11:00 11:05
  Introduction to Ada for Beginning and Experienced Programmers Jean-Pierre Rosen 11:05 11:55
  Ada Task Pools: Multithreading Made Easy Ludovic Brenta 12:00 12:50
  Informal Discussion & Lunch Break 13:00 14:00
  SPARK 2014: Hybrid Verification using Proofs and Tests José F. Ruiz 14:00 14:50
  Contract Based Programming in Ada 2012 Jacob Sparre Andersen 15:00 15:50
  Formal Verification with Ada 2012: a Very Simple Case Study Didier Willame 16:00 16:25
  Speedup and Quality Up with Ada Tasking
Solving polynomial systems faster and better on multicore computers with PHCpack
Jan Verschelde 16:30 16:55
  Safer Web Servers with Ada and AWS Jean-Pierre Rosen 17:00 17:50
  Ada in Fedora Linux Pavel Zhukov 18:00 18:15
  Ada in Debian Linux Ludovic Brenta 18:15 18:30
  Ada in *BSD John Marino 18:30 18:45
  Wrap Up & Future Plans 18:45 19:00