Great #networking time at the #AdaCoreTechDays !

Nice crowd this morning at the #AdaCoreTechDays

@adacorecompany boosts sharing, collaboration within & across #software projects #AdaCoreTechDays #Boston

Have you seen our #MadeWithAda and @risc_v #SUDOKU ? Come and check it at our demo table at the #AdaCoreTechDays !

Let's welcome our second guest Stephane Carrez , introducing #Ada for #WebDevelopment at the #AdaCoreTechDays !

We are very excited to welcome one of our customers, Alexander Senier, #CEO of Componolit. His presentation: "Closing the Gap: From #Protocol Specification to Proven #SPARK #Code" #AdaCoreTechDays

#AdaCoreTechDays has now started! We are now presenting the Market Perspective. #Ada #SPARK #SecureProgramming

Dhawal Kumar, Principal System Software Engineer of NVIDIA presented today's Tech Days Boston Keynote on SPARK Ada for safe and secure firmware development - The NVIDIA story #Ada, #AdaCore, #SPARK, #NVIDIA, #AdaCoreTechDays, #safeandsecure, #softwaredevelopment

📣 Save the date! The #AdaCoreTechDays will return in 2021 as a virtual event: EU - Nov 30th 9:30am-12:30pm (Paris) US - Dec 1st: 1:00pm-4:30pm (NYC) More information about registration and the final program will be coming soon. Stay tuned!

We are now presenting our Product Update at #AdaCoreTechDays . Learn what's new about GNATPro, CodePeer, SPARK Pro and QGen. #SecureProgramming #SafeAndSecureSoftware #Ada #SPARK

"Make Ada a great language for parallel programming!" @sttaft presents Ada 2020 and what's in store for the the next version of the language. #AdaCoreTechDays #parallelprogramming

@ADAprogrammers excited about sharing, collaboration enabled in @adacorecompany tools, Ada #software development platform at #AdaCoreTechDays

This morning's Tech Days Boston talks focused on Cyber Security, Static Analysis, and Fuzzing #cybersecurity, #staticanalysis, #fuzzing, #ada, #SPARK, #AdaCore, #AdaCoretechdays

#Boston Tech Days has now started! We are very excited to present the latest news about the company's product offerings and activities including #GNATPro, #CodePeer, #SPARKPro, and #QGen. #AdaCoreTechDays

.@yannick_moy presenting the latest and greatest from our SPARK Pro technology, bringing mathematics-based confidence to software verification #AdaCoreTechDays #formalmethods #formalverification

This afternoon's Tech Days Boston was packed with high-quality sessions! Topics covered everything from GNAT Pro and QGen product roadmaps, to market trends and Ada/SPARK community resources. Thanks to all of today's speakers! #ada, #SPARK, #QGen, #GNATPro, #Adacoretechdays

This morning's Tech Days Boston's speakers presented an R&D project using SPARK and Ada, demos of GNATtest and GNATcoverage, and news about AdaCore's Embedded C/C++ support. #Ada, #SPARK, #CandCplusplus, #GNATtest, #GNATcoverage, #AdaCoretechdays

Day two of Tech Days Boston is off to a great start as Keynote speaker Raymond Richards of DARPA discusses The Role of Design Languages and Tools in Building Secure Systems. #Ada, #DARPA, #AdaCore, #Designlanguages, #Softwaredevelopment, #AdaCoreTechDays, #Securesystems

.@nicosetton presenting our efforts in strengthening the Ada community! Check out https://t.co/LpKJw6dQr2 to learn more. #MakewithAda #AdaCoreTechDays #opensourcesoftware #adaprogramming @adaprogrammers

At @AdaCoreCompany #AdaCoreTechDays in Boston, @usnistgov computer scientist weighs in, offers advice on #softwaredevelopment tools & techniques to enhance safety & security. https://t.co/XzNwrQdVUZ