AdaCore invites you to their event

Ada and SPARK for Academics Workshop

Thursday, June 20th 2024 - 1:30 PM (GMT)

The event is over. See you in the next one.

Thursday, June 20th 2024 - 1:30 PM (GMT)
About 2 hours and 45 minutes

About this event

Innovations made in the academic world are driving progress in software engineering. Collaborations between academia and industry not only shape the next generation of engineering talent but lead us to go beyond theory and solve real-world software problems.

AdaCore's GNAT Academic Program (GAP) connects Ada and SPARK programmers in the academic community with industrial practitioners at AdaCore and provides a way for members to exchange knowledge and resources.

Join this year's GAP workshop online to explore exciting Capstone projects from senior student teams in Senegal (Kër Thiossane), Canada (University of Ottawa), and the US (Penn State), and discover the latest updates for academics in the Ada & SPARK ecosystem.

Our 2024 Workshop will focus on real-world projects using Ada to solve genuine problems, including:

  • An autonomous deminer robot
  • A bare-metal bootloader for the STM32F7
  • A bare-metal RINA (Recursive Internetwork Architecture) stack
  • A native Machine Learning Engine
  • A bare-metal Flexbox implementation
  • A bare-metal implementation of the Min protocol

Register for the Workshop to learn more about our Capstones using Ada and SPARK, plus how to grow your own programming capabilities thanks to GAP’s community and resources.

Hosted by

  • Guest speaker
    JS G
    John Thomas Shimer Penn State

  • Guest speaker
    CM G
    Chenyuan Ma University of Ottawa

  • Guest speaker
    GG G
    Garrett Matthew Glowacki Penn State

  • Guest speaker
    WW G
    William Wang University of Ottawa

  • Guest speaker
    SL G
    Samuel Leonetti Penn State

  • Guest speaker
    SE G
    Stuart Edward Penn State

  • Guest speaker
    SD G
    Samuel Dion University of Ottawa

  • Guest speaker
    YZ G
    Yuanyao Zuo University of Ottawa

  • Guest speaker
    JS G
    Joseph Anthony Smith Penn State

  • Guest speaker
    KK G
    Keian Nathan Kaserman Penn State

  • Guest speaker
    GK G
    Guy Kongne University of Ottawa

  • Guest speaker
    JB G
    Joseph Binyoum Kër Thiossane

  • Guest speaker
    XZ G
    Xavier Zhang Penn State

  • Guest speaker
    KN G
    Kien Nguyen Penn State

  • Guest speaker
    DC G
    Dominick Carlucci Penn State

  • Guest speaker
    RM G
    Robert Myers Penn State

  • Guest speaker
    AC G
    Alan Christopher Penn State

  • Guest speaker
    MT G
    Mason Ticehurst Penn State

  • Guest speaker
    OW G
    Owen Scott Wienczkowski Penn State

  • Guest speaker
    AI G
    Anthony Immekus Penn State

  • Guest speaker
    SM G
    Stefan Milinkovic Penn State

  • Guest speaker
    RY G
    Rony-Steve Ymele Kagho University of Ottawa

  • Team member
    OH T
    Olivier Henley

AdaCore

Helping People Build Software that Matters

AdaCore provides commercial software solutions for Ada, SPARK, Rust, C and C++, helping developers build safe and secure software that matters.

View all events
Host webinars on Host webinars on Livestorm
Virtual Meetings ∙ Webinars ∙ Virtual Events ∙ On-Demand Webinars ∙ Automated Webinars ∙ Product Demos ∙ Company communication ∙ Customer training ∙ Live Q&As ∙ Employee onboarding ∙ Live events