Online / 5 & 6 February 2022

visit

D.ada


Day Start End Track(s)
Sunday 10:00 17:55 Ada
09 10 11 12 13 14 15 16 17
Sunday Introduction to the Ada devroom Introduction to Ada for Beginning and Experienced Programmers Ada looks good, now program a game without knowing anything The Ada numerics model 2022 Alire Update SweetAda
A lightweight development framework for the implementation of Ada-based software systems
Use (and abuse?) of Ada 2022 features in designing a JSON-like data structure Getting started with AdaWebPack Yet Another Strings Library for Ada SPARKNaCl: A verified, fast re-implementation of TweetNaCl The Outsider's Guide to Ada
Lessons from Learning Ada in 2021
Proving the Correctness of GNAT Light Runtime Library Implementing a Build Manager in Ada Exporting Ada software to Python and Julia
Applying GPRbuild to make shared object files

Events

Title Track Start End

Sunday

  Introduction to the Ada devroom Ada 10:00 10:15
  Introduction to Ada for Beginning and Experienced Programmers Ada 10:15 11:15
  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:25 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:40
  Getting started with AdaWebPack Ada 13:45 14:10
  Yet Another Strings Library for Ada Ada 14:10 14:45
  SPARKNaCl: A verified, fast re-implementation of TweetNaCl Ada 14:50 15:50
  The Outsider's Guide to Ada
Lessons from Learning Ada in 2021
Ada 15:55 16:25
  Proving the Correctness of GNAT Light Runtime Library Ada 16:25 17:00
  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