Update on AdaCore Technologies for Academia (AdaCore GAP Workshop June 21, 2023)

Dr. Yannick Moy, AdaCore This talk was part of the 2023 GNAT Academic Program (GAP) Workshop. See the playlist for other talks. The GNAT Academic Program is an educational initiative that provides resources and support for academic institutions, enabling teachers and students to explore and utilize the Ada and SPARK programming languages. To learn more about GAP please visit our website at: https://www.adacore.com/academia