• 12th Ada DevRoom @ FOSDEM 2025, Sun 2 Feb, Brussels & online

    From dirk@dirk@orka.cs.kuleuven.be. (Dirk Craeynest) to comp.lang.ada,fr.comp.lang.ada on Wed Jan 29 11:05:41 2025
    From Newsgroup: comp.lang.ada

    Reminder: 12th Ada Developer Room on Sunday 2 February 2025 at
    FOSDEM 2025 in Brussels and online! (09:00-12:50 CET)

    -----------------------------------------------------------------------

    Call for Participation

    12th Ada Developer Room at FOSDEM 2025

    Sunday 2 February 2025, Brussels, Belgium

    www.cs.kuleuven.be/~dirk/ada-belgium/events/25/250202-fosdem.html
    fosdem.org/2025/schedule/track/ada/

    Organized in cooperation with Ada-Belgium [1] and Ada-Europe [2]

    #AdaFOSDEM #AdaDevRoom #AdaProgramming
    #AdaBelgium #AdaEurope #FOSDEM2025

    -----------------------------------------------------------------------

    FOSDEM [3], the Free and Open source Software Developers' European
    Meeting, is a non-commercial two-day weekend event organized early
    each year in Brussels, Belgium. It is highly developer-oriented and
    brings together 8000+ participants from all over the world. The 2025
    edition takes place on Saturday 1 and Sunday 2 February. It is free
    to attend and no registration is necessary.

    In this edition, the Ada FOSDEM community organizes once more a
    set of presentations related to Ada and Free or Open Software in a
    s.c. Developer Room. The "Ada DevRoom" at FOSDEM 2025 is held on
    the morning of the 2nd day, and offers a variety of presentations
    on the Ada programming language, tools and projects: a total of 11
    Ada-related presentations by 11 authors from 7 countries!

    Program overview:

    - Welcome to the Ada DevRoom,
    by Fernando Oleo Blanco, Spain, and Dirk Craeynest, Belgium
    - Updates on the Ada Ecosystem,
    by Fernando Oleo Blanco, Spain
    - Get started with Ada in 2 minutes or less!,
    by A.J., USA
    - Advent of Compression: writing a working BZip2 encoder in Ada
    from scratch in a few days,
    by Gautier de Montmollin, Switzerland
    - Ada and Mini-Ada: a solution to the two-language problem,
    by Gautier de Montmollin, Switzerland
    - Understanding liquid types, contracts and formal verification
    with Ada/SPARK,
    by Fernando Oleo Blanco, Spain
    - The state of Rust trying to catch up with Ada,
    by Oli Scherer, Germany
    - Cryptography in SPARK: building the foundation with
    constant-time bigints,
    by C�sar Sagaert and Fabien Chouteau, France
    - Multiword Arithmetic and Parallel Computing,
    by Jan Verschelde, USA
    - Developing device drivers for Ironclad using Ada,
    by streaksu
    - AdaBots - programmable minetest bots,
    by Tama McGlinn and Rudolf Batke, the Netherlands

    The Ada at FOSDEM 2025 web-page has all details, such as the full
    schedule, abstracts of presentations, biographies of speakers, and
    pointers to more info, including live video streaming and recordings afterwards. For the latest information at any time, contact Fernando
    Oleo Blanco <irvise@irvise.xyz> or see:

    www.cs.kuleuven.be/~dirk/ada-belgium/events/25/250202-fosdem.html

    [1] http://www.cs.kuleuven.be/~dirk/ada-belgium/
    [2] http://www.ada-europe.org/
    [3] https://fosdem.org/2025/

    -----------------------------------------------------------------------

    Dirk Craeynest, FOSDEM Ada DevRoom team
    Dirk.Craeynest@cs.kuleuven.be Dirk.Craeynest@kuleuven.be

    (V20250129.1)
    --- Synchronet 3.20c-Linux NewsLink 1.2