eGospodarka.pl

eGospodarka.plGrupypl.comp.programming › FOSDEM 2019 Ada Developer Room - presentations & videos online
Ilość wypowiedzi w tym wątku: 1

  • 1. Data: 2019-02-25 08:04:45
    Temat: FOSDEM 2019 Ada Developer Room - presentations & videos online
    Od: d...@o...cs.kuleuven.be (Dirk Craeynest)

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

    *** Presentations, videos, pictures available online ***

    9th Ada Developer Room at FOSDEM 2019

    Saturday 2 February 2019

    Université Libre de Bruxelles (ULB), Solbosch Campus, Room AW1.125
    Avenue Franklin D. Roosevelt Laan 50, B-1050 Brussels, Belgium

    Organized in cooperation with Ada-Europe

    www.cs.kuleuven.be/~dirk/ada-belgium/events/19/19020
    2-fosdem.html
    fosdem.org/2019/schedule/track/ada

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

    All presentations and video recordings as well as some pictures from
    the 9th Ada Developer Room, held at FOSDEM 2019 in Brussels recently,
    are available via the Ada-Belgium and FOSDEM web sites now.

    - "Welcome to the Ada DevRoom"
    by Dirk Craeynest - Ada-Belgium
    - "An Introduction to Ada for Beginning and Experienced Programmers"
    by Jean-Pierre Rosen - Adalog
    - "Sequential Programming in Ada: Lessons Learned"
    by Joakim Strandberg - Mequinox
    - "Autonomous Train Control Systems: a First Approach"
    by Julia Teissl - FH Campus Wien
    - "Controlling the Execution of Parallel Algorithms in Ada"
    by Jan Verschelde - University of Illinois at Chicago
    - "Persistence with Ada Database Objects"
    by Stephane Carrez - Twinlife
    - "Shrink your Data to (almost) Nothing with Trained Compression"
    by Gautier de Montmollin - Ada-Switzerland
    - "GSH: an Ada POSIX Shell to Speed Up GNU Builds on Windows"
    by Nicolas Roche - AdaCore
    - "What is Safety-Critical Software, and How Can Ada and SPARK Help?"
    by Jean-Pierre Rosen - Adalog
    - "Secure Web Applications with AWA"
    by Stephane Carrez - Twinlife
    - "Distributed Computing with Ada and CORBA using PolyORB"
    by Frédéric Praca - Ada-France
    - "Cappulada: Smooth Ada Bindings for C++"
    by Johannes Kliemann - Componolit
    - "AZip Archive Manager: a full-Ada Open-Source Portable Application"
    by Gautier de Montmollin - Ada-Switzerland
    - "Proof of Pointer Programs with Ownership in SPARK"
    by Yannick Moy - AdaCore
    - "Alternative Languages for Safe and Secure RISC-V Programming"
    by Fabien Chouteau - AdaCore, in RISC-V DevRoom on Sat 2 Feb
    - "RecordFlux: Facilitating Verification of Communication Protocols"
    by Tobias Reiher - Componolit, in Security DevRoom on Sun 3 Feb

    Presentation abstracts, speaker bios, pointers to relevant information,
    copies of slides, links to corresponding pages and video recordings,
    are available via the Ada-Belgium and FOSDEM sites at the URLs above.

    Some pictures are posted as well. If you have more pictures or
    other material you would like to share, or know someone who does,
    then please contact me.

    Finally, thanks once more to all presenters and helpers for their work
    and collaboration, thanks to all the FOSDEM organizers and volunteers,
    thanks to the many participants for their interest, and thanks to
    everyone for another nice experience!

    Dirk Craeynest, FOSDEM Ada DevRoom coordinator
    D...@c...kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

    #AdaFOSDEM #AdaProgramming #AdaBelgium #AdaEurope

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

    (V20190224.3)

strony : [ 1 ]



Szukaj w grupach

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: