• 12th Ada Developer Room at FOSDEM 2025 - Sun 2 Feb - Brussels

    From dirk@dirk@orka.cs.kuleuven.be. (Dirk Craeynest) to comp.lang.ada,fr.comp.lang.ada on Thu Dec 19 17:19:05 2024
    From Newsgroup: comp.lang.ada

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

    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:

    [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

    (V20241219.1)
    --- Synchronet 3.20a-Linux NewsLink 1.114