AdaCore invites you to their event

Ada and SPARK for Academics Workshop

June 20, 2024 14:30 (BST)
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

  • External speaker
    JS E
    Joseph Anthony Smith Penn State

  • External speaker
    SE E
    Stuart Edward Penn State

  • External speaker
    AC E
    Alan Christopher Penn State

  • External speaker
    SM E
    Stefan Milinkovic Penn State

  • External speaker
    RY E
    Rony-Steve Ymele Kagho University of Ottawa

  • External speaker
    AI E
    Anthony Immekus Penn State

  • External speaker
    RM E
    Robert Myers Penn State

  • External speaker
    DC E
    Dominick Carlucci Penn State

  • Team member
    OH T
    Olivier Henley

  • External speaker
    JB E
    Joseph Binyoum Kër Thiossane

  • External speaker
    KK E
    Keian Nathan Kaserman Penn State

  • External speaker
    KN E
    Kien Nguyen Penn State

  • External speaker
    XZ E
    Xavier Zhang Penn State

  • External speaker
    MT E
    Mason Ticehurst Penn State

  • External speaker
    SD E
    Samuel Dion University of Ottawa

  • External speaker
    YZ E
    Yuanyao Zuo University of Ottawa

  • External speaker
    SL E
    Samuel Leonetti Penn State

  • External speaker
    WW E
    William Wang University of Ottawa

  • External speaker
    GG E
    Garrett Matthew Glowacki Penn State

  • External speaker
    CM E
    Chenyuan Ma University of Ottawa

  • External speaker
    JS E
    John Thomas Shimer Penn State

  • External speaker
    OW E
    Owen Scott Wienczkowski Penn State

  • External speaker
    GK E
    Guy Kongne University of Ottawa

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