📢 Check out our latest blog by Thijis Dreef, an intern from this year's cohort! 🚀Dive deep into the draft design of an Ada/SPARK workflow to WebAssembly toolchain, exploring the possibilities it offers.

Read it here: blog.adacore.com/designing-a…

Discover how Ada revolutionizes semiconductor manufacturing at ITEC. Explore real-time control, complex process management, and reliable safety in this case study. 🔗 Link: buff.ly/3OgK4Zt

Introducing early-access GNAT Pro for Rust: AdaCore empowers subscribers to develop secure embedded apps with Rust, leveraging stability, dependability, and support. Discover more: buff.ly/44t2Liw

Get ready for an enhanced development experience with new members and capabilities in the GNAT Pro product family. Check out our public roadmap for a clear view of future developments and more!

Read our blog post here: blog.adacore.com/gnat-pro-ro…

📣 Dive into the world of VSS library and supercharge your text processing skills! Discover the power of cursors, iterators, and markers for advanced string manipulation. Read our blog post now: buff.ly/3NT7nbF #VSSLibrary #StringProcessing #TextManipulation

📢 Exciting news for SPARK enthusiasts! SPARK 24.0 introduces contracts for exceptional termination. Handle exceptions with precise postconditions and boost formal verification.

Read our blog post:blog.adacore.com/spark-beyon…

#SPARK #FormalVerification

Looking to level up your programming skills? Our courses provide everything you need to excel! Expert instructors, beginner-friendly or skill-enhancing options in Ada programming.

Invest in your future with AdaCore's Professional Ada Training program. buff.ly/3NqtnJH

Looking to learn about the latest advancements in software development and connect with leading experts in the field? Join us at the High Integrity Software Conference this October featuring keynotes from NCSC and AWS! buff.ly/4485kG9 #HISConf

Some great pictures of Paul Butcher, Léo Creuse and Patrick Rogers giving talks at #AdaEurope2023 last week!

Next Wednesday, June 21st, we will be running our 2nd annual GAP Workshop!

This free virtual event is designed exclusively for GNAT Academic Program members to exchange knowledge on successful teaching methods and research projects.

Find out more:
adacore.com/academia/gap-wor…

Join us for our 2nd annual GAP Workshop on June 21! This free virtual event is exclusively for GNAT Academic Program members. Learn about teaching methods, research projects, and get updates on Ada, SPARK, and community resources.

#GAPWorkshop

buff.ly/41YCEO4

Designing and generating formally proven binary protocol parsers and serializers just got easier with RecordFlux. Check out our latest blog post that demonstrates how the protocol session part of RecordFlux is used to specify state machines.

buff.ly/42sSBx3

Attention software engineering practitioners! The High Integrity Software Conference is back for its 10th year, and we're excited to announce that we're accepting proposals for talks through our Call for Presentations. Submit your proposal by May 31st: buff.ly/3pu0CDv

We're excited to share that we are supporting @BAESystemsInc engineering apprenticeship program, providing books and resources to help train the next generation of high integrity software engineers. Learn more about the program: buff.ly/3VPDuLG

Last week's AAAA event was a fantastic experience for Nick Clarke, Dennis Chun, and Patrick Kahney! Our team had the pleasure of connecting with some of our brilliant customers and witnessing firsthand some of the products our software is used in. #EmbeddedSoftware #Networking

Exciting news - we are sponsoring the upcoming HCSS event, where our very own Alex Senier will be delivering the presentation 'Bridging the Gap between Protocol Specification and Program Verification'. buff.ly/41VSBFL #HCSS #FormalProof

Boost your Embedded Systems Programming skills with our online course! Get hands-on experience with the latest tools and technologies. Learn from industry experts and join a community of like-minded learners. Start your journey now.

buff.ly/3mx43Iq

#Ada #learnada

Introducing adareducer: the new tool that uses Libadalang to automatically reduce large Ada code bases, manage compiler issues and missing references.

Read the blog post here: buff.ly/3Lr63vC

#Adareducer #Ada #GNAT

Are you looking to take your programming skills to the next level and advance your career? Then look no further! Our expert instructors will guide you every step of the way as you learn all about the Ada programming language.

Find out more here: buff.ly/3GTmP3y #Ada