AdaCore (@AdaCoreCompany) 1 day ago

Day 2 at and we have free t-shirts available for all those looking to program in Ada and S…


        

AdaCore (@AdaCoreCompany) 2 days ago

Looking for solutions for ARM Cortex applications with high security and reliability requirements? Booth 1228 is th…


        

AdaCore (@AdaCoreCompany) 2 days ago

We’re at and giving away a free for all those with an interesting project idea for our an…


        

AdaCore (@AdaCoreCompany) 1 week ago

Join this course geared to software professionals looking for a practical introduction to the Ada language with a f…


        

AdaCore (@AdaCoreCompany) 1 week ago

Today is , a celebration of Ada Lovelace, Grace Hopper, Adele Goldberg, and the countless women who…


        

AdaCore (@AdaCoreCompany) 2 weeks ago

We are happy to announce that Libadalang, a library to query/alter data about Ada sources, will be available with o…


        

AdaCore (@AdaCoreCompany) 2 weeks ago

Reach the next level: master your IDE with Python integration! Check it out and contribute here -…


        

AdaCore (@AdaCoreCompany) 2 weeks ago

Most applications today require mixed language development, so it’s a good thing that our toolchain now supports th…


        

AdaCore (@AdaCoreCompany) 2 weeks ago

“We build tools and provide services that ease the complex and often difficult process of developing high-integrity…


        

AdaCore (@AdaCoreCompany) 2 weeks ago

Our compatible tool suite for Ada has a brand new web interface and entry level to ease adopti…


        

AdaCore (@AdaCoreCompany) 2 weeks ago

Harness the computing power of your with the safety and correctness of Ada! 👾#AdaCoreTechDays2018…


        

AdaCore (@AdaCoreCompany) 2 weeks ago

On to our technical wizard, Arnaud Charlet, presenting what’s new in the latest versions of our technologies. Fun f…


        

AdaCore (@AdaCoreCompany) 2 weeks ago

Our Paris Tech Day is well under way! Kicking off with the market direction and how we want to continue helping pe…


        

AdaCore (@AdaCoreCompany) 3 weeks ago

It's officially & we're hosting a webinar all about how choice of programming language can…


        

AdaCore (@AdaCoreCompany) 3 weeks ago

Check out this year's HILT 2018 workshop on Languages and Tools for Ensuring in Critical Software-…


        

AdaCore (@AdaCoreCompany) 4 weeks ago

We’re looking for an FAE / Technical Account Manager based in Paris to help our EU team. Working English a necessit…


        

AdaCore (@AdaCoreCompany) 1 month ago

We’re demo-ing our GNATcheck technology at the FACE TIM in Huntsville today




        

AdaCore (@AdaCoreCompany) 1 month ago

*Guest blog post* by Julia Teissl from all about programming control systems for in…


        

AdaCore (@AdaCoreCompany) 1 month ago

Light up your life 💡 (quite literally) by running on a . The late…


        

AdaCore (@AdaCoreCompany) 2 months ago

It's looking like a great lineup for this year's conference! We're especially looking forward to h…


        

AdaCore (@AdaCoreCompany) 2 months ago

Join us the 5th & 6th of November in Boston for the 2018 edition of the High Integrity Language Technology Conferen…


        

AdaCore (@AdaCoreCompany) 2 months ago

Women in . Helping build software that matters 💪




        

AdaCore (@AdaCoreCompany) 3 months ago

AdaCore will be hosting the webinar "Ada and GPUs" on September 18, 2018. For more information and to sign up follo…


        

AdaCore (@AdaCoreCompany) 3 months ago

Once again, AdaCore, alongside and will be major sponsors of on the 6th November in…


        

AdaCore (@AdaCoreCompany) 3 months ago

AdaCore's NEW Interactive site to learn the Ada language & program proving in SPARK is live! Go to…


        

AdaCore (@AdaCoreCompany) 3 months ago

Prototype of the new Tempest fighter. We’re very excited by this news




        

AdaCore (@AdaCoreCompany) 3 months ago

We've improved our support and documentation for Ada on the ! Read our updated blog about what we've d…


        

AdaCore (@AdaCoreCompany) 3 months ago

AdaCore University is now on YouTube! Go to the AdaCore channel and find the video tutorials there, or alternativel…


        

AdaCore (@AdaCoreCompany) 4 months ago

Day one completed at SSAS workshop in Maryland. Excellent presentation by AdaCore's Claire Dross "Enhanc…


        

AdaCore (@AdaCoreCompany) 4 months ago

Calling all Ada and SPARK enthusiasts! GNAT community 2018 has arrived! Check out our new blog post for more info!…


        

AdaCore (@AdaCoreCompany) 4 months ago

Presentation "Safe Dynamic Memory Management in Ada and SPARK" presented by Maroua Maalej today at . We…


        

AdaCore (@AdaCoreCompany) 4 months ago

GNAT Pro supports 's LynxSecure Seperation Kernel Hypervisor on processors! Announced today at…


        

AdaCore (@AdaCoreCompany) 4 months ago

AdaCore is at Ada Europe, look out for our two talks today "Easy Ada Tooling with Libadalang" and "Safe Dynamic Mem…


        

AdaCore (@AdaCoreCompany) 4 months ago

GNAT Pro and now offer 32-bit and 64-bit support on the latest , , and Power multi-core pro…


        

AdaCore (@AdaCoreCompany) 4 months ago

We are ready to welcome you! Meet us at booth B2




        

AdaCore (@AdaCoreCompany) 4 months ago

Only one day left to sign up for Sound Static Analysis for Security workshop 27th-28th June held at ! Cl…


        

AdaCore (@AdaCoreCompany) 4 months ago

What is AdaCore doing for the Automotive industry? We are at where interviewed QGen te…


        

AdaCore (@AdaCoreCompany) 5 months ago

You can also sign up to the event and find out more information here!!


        

AdaCore (@AdaCoreCompany) 5 months ago

Want to know how Ada and SPARK can Increase the security of your software? Then have a look at our new post, where…


        

AdaCore (@AdaCoreCompany) 5 months ago

Just a reminder that OSIS- Track IoT Critique 2018 is happening today in Paris!! If you're there head down to see "…


        

AdaCore (@AdaCoreCompany) 5 months ago

Exciting news! will be using Ada and AdaCore's GNATPro for a NASA Project! To read more about LASP, GNATP…


        

AdaCore (@AdaCoreCompany) 5 months ago

On May 24th AdaCore engineers and will present "Ada and SPARK - Defense in Depth for Safe Mi…


        

AdaCore (@AdaCoreCompany) 5 months ago

AdaCore is partnering with to support its industry-leading QNX operating system across our family go GN…


        

AdaCore (@AdaCoreCompany) 5 months ago

AdaCore is partnering with to support it's industry-leading QNX operating system across our family go G…


        

AdaCore (@AdaCoreCompany) 6 months ago




        

AdaCore (@AdaCoreCompany) 6 months ago

We're very excited to announce that Kestrel Technologies and will be sponsoring Sound Static Analysis…


        

AdaCore (@AdaCoreCompany) 7 months ago

New blog post and part 1 about SPARK in use in the Zumo robot for ! Part 2 will be coming shortly!…


        

AdaCore (@AdaCoreCompany) 7 months ago

Great day here in for tech days and a wonderful way to end AdaCore's week or exhibition…


        

AdaCore (@AdaCoreCompany) 7 months ago

New article about (Future Capability Environment) previously only avionics focused now has broadene…


        

AdaCore (@AdaCoreCompany) 7 months ago

Wonderful article with incredible overlooked women who have achieved great things including first computer programm…