AdaCore GNATtracker Access Contact Us Company Blog Products Developers Training Customers Ada Answers Academia Support Company Overview About AdaCore Press Center Events Community Partners Contact Legal Recent / Current Events ESA/SW Product Assurance and Engineering Workshop 2017 Sep 18-22, 2017 – Darmstadt, Germany AdaCore will be attending this event and Jose Ruiz will present 'Trusted Automatic Code Generator'. (Link to this entry) Upcoming Events STC 2017 Sep 25-28, 2017 – Maryland, USA AdaCore will be attending this event. Ben Brosgol will be giving the talk "Guidance for Introducing Formal Methods into a Software Verification Infrastructure" (Link to this entry) Webinar: Developing embedded systems in Ada - a C programmer’s guide to safe, secure software Sep 27, 2017 – 15:00 CEST/8:00 CDT This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe and secure, while still meeting its performance requirements. (Link to this entry) AdaCore Tech Day 2017 Paris Oct 5, 2017 – Paris, France AdaCore is holding its annual Tech Day meeting in Paris. (Link to this entry) HIS 2017 Oct 17, 2017 – Bristol, UK AdaCore is a major sponsor and will be exhibiting at this event. (Link to this entry) ARM TechCon 2017 Oct 24-26, 2017 – Santa Clara, CA AdaCore will be exhibiting at this event. (Link to this entry) IET System Safety and Cyber Security Conference 2017 Oct 30 - Nov 1, 2017 – London, UK AdaCore will be exhibitng at this event. (Link to this entry) RSSRail 2017 Nov 14-16, 2017 – Pistoia, Italy AdaCore will be attending this event. Eric Perlade will present "AdaCore Technologies for EN50128:2011". (Link to this entry) AdaCore Tech Days 2017 Boston Nov 15-16, 2017 – Boston, USA AdaCore is holding its annual Tech Days meeting in Boston. (Link to this entry) Public Ada Training Paris 2017 Nov 27 - Dec 1, 2017 – Paris, France AdaCore will be hosting this training course for those who wish to learn more about the Ada language. No previous experience with Ada or the GNAT toolset is required. (Link to this entry) ESE Kongress 2017 Dec 4-8, 2017 – Sindelfingen, Germany AdaCore will be exhibiting at this event. Ingo Houben will present the paper "Formal korrekten C-Code durch Benutzung von SPARK erstellen". (Link to this entry) Embedded Systems Conference 2017 Dec 6-7, 2017 – San Jose, CA AdaCore will be exhibiting at this event. (Link to this entry) Past Events GNU Tools Cauldron 2017 Sep 8-10, 2017 – Prague, Czech Republic AdaCore will be sponsoring this event. (Link to this entry) KAIST Workshop on Real Verification Jul 28, 2017 – Daejeon, South Korea AdaCore will be attending this event. Johannes Kanig will be giving a presentation on SPARK at 16:45. (Link to this entry) VSTTE 2017 Jul 22-23, 2017 – Heidelberg, Germany Verified Software: Theories, Tools, and Experiments conference. Clement Fumex will be presenting the paper Automating the Verification of Floating-Point Programs. (Link to this entry) TU-Automotive 2017 Jun 7-8, 2017 – Novi, MI AdaCore will be exhibiting at this event. (Link to this entry) Frama-C and SPARK Day May 30, 2017 – Paris, France Formal Analysis and Proof for Programs in C and Ada. AdaCore will be attending and co-leading this workshop. (Link to this entry) Automotive - Safety & Security 2017 May 30-31, 2017 – Stuttgart, Germany AdaCore will be sponsoring this event and exhibiting. (Link to this entry) MEDSec 2017 May 23-24, 2017 – San Jose, California AdaCore will be attending this event. (Link to this entry) NFM 2017 May 16-18, 2017 – Moffett Field, CA AdaCore will be attending this event - Claire Dross will be presenting the paper "Auto-Active Proof of Red-Black Trees in SPARK". (Link to this entry) HCSS 2017 (High Confidence Software and Systems Conference) May 8-11, 2017 – Annapolis, MD AdaCore will be attending this event. Yannick Moy will present "Levels of Software Assurance" and the notion of SPARK levels (Stone, Bronze, Silver, Gold), how they were used in Thales experiments and how they map to Altran UK practice, and the underlying techniques that support these (proof of floats using a combination of techniques, ghost code for functional properties). (Link to this entry) Embedded Systems Conference May 3-4, 2017 – Boston, MA AdaCore will be attending this event. (Link to this entry) Public Ada Training Yeovil 2017 Apr 24-28, 2017 – Yeovil, UK AdaCore will be hosting this training course in the UK for those who wish to learn more about the Ada language. No previous experience with Ada or the GNAT toolset is required. (Link to this entry) DPRTE 2017 Mar 28, 2017 – Cardiff, UK AdaCore will be attending this event. (Link to this entry) Dedicated Systems Tech Days 2017 Mar 24, 2017 – Adelaide, Australia AdaCore will be exhibiting at this event. Pat Bernadi will be hosting the seminar "Software that matters - the pursuit of safety, security and serenity". (Link to this entry) Certification Together Mar 21-23, 2017 – Toulouse, France AdaCore is a Platinum sponsor and will be exhibiting at this event. (Link to this entry) Dedicated Systems Tech Days 2017 Mar 21, 2017 – Canberra, Australia AdaCore will be exhibiting at this event. Pat Bernadi will be hosting the seminar "Software that matters - the pursuit of safety, security and serenity". (Link to this entry) OSM Unmanned Aircraft and Safety Certification Webcast Mar 15, 2017 – AdaCore will be sponsoring this webinar. This webcast will take place 2pm Eastern Time. (Link to this entry) Embedded World 2017 Mar 14-16, 2017 – Nuremberg, Germany AdaCore will be exhibiting at this event. Hall 4/4-149. (Link to this entry) Safety-Critical Systems Symposium 2017 Feb 7-9, 2017 – Bristol, UK AdaCore will be exhibiting at this event. (Link to this entry) FOSDEM 2017 Feb 4-5, 2017 – Brussels, Belgium AdaCore is attending this event and will be giving two talks: "Prove with SPARK: No Math, Just Code" from Yannick Moy and "64 bit Bare Metal Programming on RPI-3" from Tristan Gingold. (Link to this entry) VMCAI 2017 Jan 15-17, 2017 – Paris, France AdaCore will be sponsoring and attending this event. (Link to this entry) Flight Software Workshop Dec 13-15, 2016 – Pasadena, CA AdaCore will be exhibiting at this event. (Link to this entry) Formal Methods Webinar: Building High-Assurance Software without Breaking the Bank Dec 12, 2016 – 2:00pm ET/11:00AM PT In this webcast, SPARK experts Yannick Moy and Rod Chapman present the current status of the SPARK solution and explain how it can be successfully adopted in your current software development processes. (Link to this entry) Embedded Systems Conference Dec 7-8, 2016 – San Jose, CA AdaCore is exhbiting at this event. (Link to this entry) RTC Military Systems Conference 2016 Nov 29 - Dec 1, 2016 – California, USA AdaCore will be exhibiting at this event. (Link to this entry) ESE Kongress Nov 28 - Dec 2, 2016 – Sindelfingen Germany AdaCore is exhibiting at this event. (Link to this entry) Public Ada Training Nov 14-18, 2016 – Paris, France AdaCore is hosting this training course in Paris for those who wish to learn more about the Ada language. No previous experience with Ada or with the GNAT toolset is necessary. (Link to this entry) High Integrity Software 2016 Nov 1, 2016 – Bristol, UK AdaCore is a major sponsor of this event and is exhibiting. (Link to this entry) ARM TechCon Oct 25-27, 2016 – Santa Clara, CA AdaCore is exhibiting at this event. Pat Rogers will be holding a Theater Session on Wednesday 26th October. (Link to this entry) AdaCore Tech Day 2016 Paris Oct 6, 2016 – Paris, France AdaCore will hold its annual Tech Day meeting in Paris on October 6 this year. (Link to this entry) HILT Workshop 2016 Oct 6-7, 2016 – Pittsburgh, Pennsylvania AdaCore is a major sponsor of this event. (Link to this entry) DASC 2016 Sep 25-29, 2016 – Sacramento, CA AdaCore will be exhibiting at this event. (Link to this entry) AdaCore Tech Days 2016 Boston Sep 21-22, 2016 – Boston, USA AdaCore is holding its annual Tech Days meeting in Boston, USA. (Link to this entry) 2016 FAA Streamlining Assurance Processes Workshop Sep 13-15, 2016 – Richardson, Texas Cyrille Comar, co-founder of AdaCore, will be participating on behalf of the company to the panel discussion on DAL modulation on Wednesday 13th September. (Link to this entry) GNU Cauldron Sep 9-11, 2016 – Hebden Bridge, UK AdaCore is a major sponsor and will be exhibiting at this event. (Link to this entry) SEFM 2016 Jul 4-8, 2016 – Vienna, Austria AdaCore is presenting the paper "Counterexamples from Proof Failures in SPARK." (Link to this entry) RSSRail Jun 28-30, 2016 – Paris, France AdaCore is a major sponsor and is exhibiting at the event. Yannick Moy is presenting the paper "Abstract Software Specifications and Authentic Proof of Refinement." (Link to this entry) Ada-Europe Jun 13-17, 2016 – Pisa, Italy AdaCore is a major sponsor of this event and is exhibiting. Pat Rogers will give a tutorial on Embedded ARM Programming with Ada 2012 on June 13. (Link to this entry) TU Automotive 2016 Jun 8-9, 2016 – Detroit, USA AdaCore is exhibiting in booth C173. (Link to this entry) NFM 2016 Jun 7-9, 2016 – Minneapolis, MN, USA Claude Marche and Clément Fumex are presenting the paper "Specification and Proof of High-Level Functional Properties of Bit-Level Programs." (Link to this entry) Managing AdaCore software quality with Squoring and AdaCore tools May 31, 2016 – Webinar Quentin OChem from AdaCore and Flavien Huynh from Squoring Technologies will present the webinar "Managing AdaCore software quality with Squoring and AdaCore tools" Click through to register. (Link to this entry) High Confidence Software and Systems Conference May 10-12, 2016 – Annapolis, USA S. Tucker Taft will present TQL-1 Qualification of a Model-Based Code Generator on Wednesday May 11 between 15:30 and 16:00. (Link to this entry) Public Ada Training 2016 Apr 11-15, 2016 – Yeovil, UK and New York, USA AdaCore will be simultaneously hosting Public Ada Training courses in Yeovil, UK and New York, USA. (Link to this entry) Dedicated Systems Tech Day 2016 Mar 9-10, 2016 – Adelaide, Australia AdaCore will be exhibiting at the event. Eric Perlade will give the seminar - Building reliable software: Programming languages do count. Eric Perlade will also give a workshop - Ada 2012 on embedded real-time systems. (Link to this entry) Embedded World 2016 Feb 23-25, 2016 – Nürnberg, Germany AdaCore will be exhibiting at this event in booth 4-149, hall 4. (Link to this entry) Safety-Critical Systems Symposium Feb 2-4, 2016 – Brighton, UK AdaCore is a major sponsor of this event and will be exhibiting. (Link to this entry) ERTS Jan 27-29, 2016 – Toulouse, France AdaCore is a Gold Sponsor of this event and will be exhibiting in booth 50. (Link to this entry) IEEE High Assurance Systems Engineering Symposium Jan 7-9, 2016 – Orlando, FL Tucker Taft will present the paper "High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles", co-authored by Altran's Florian Schanda and AdaCore's Yannick Moy. (Link to this entry) Ada Lovelace Symposium Dec 9-10, 2015 – Oxford, UK AdaCore is sponsoring this event. (Link to this entry) Business Aviation Convention and Exhibition Nov 17-19, 2015 – Las Vegas, USA AdaCore will be exhibiting at this event at Booth C13749. (Link to this entry) ARM TechCon Nov 10-12, 2015 – Santa Clara, USA AdaCore will be exhibiting at this event at Booth 217. AdaCore's Pat Rogers will be presenting a talk on The Practical Development of Safe, Secure, and Reliable Embedded Software on November 11 from 14:45 - 15:15 in the Expo Theater. (Link to this entry) High Integrity Software 2015 Nov 5, 2015 – Bristol, UK AdaCore is a major sponsor of this event and will be exhibiting. (Link to this entry) AdaCore Tech Day 2015 Boston Nov 3-4, 2015 – Boston, USA AdaCore will hold its annual Tech Day meeting in Boston, USA on November 3-4 this year. Click through for more info or to register. (Link to this entry) Spacecraft Flight Software (FSW-15) Oct 27-29, 2015 – Laurel, MD AdaCore is a sponsor at this event and Tucker Taft will be presenting the paper "Re-Engineering Abstract Interpretation for Precise, Scalable Whole-Program Verification". (Link to this entry) Public Ada Training 2015 Oct 26-30, 2015 – Paris, France AdaCore is hosting this training course. (Link to this entry) AdaCore Tech Day 2015 Paris Oct 1, 2015 – Paris, France AdaCore will hold it's annual Tech Day meeting in Paris, France on October 1st this year. Click through for more info or to register. (Link to this entry) Embedded Systems Conference Silicon Valley Jul 20-22, 2015 – Santa Clara, USA AdaCore will be exhibiting at this event at Booth 55. (Link to this entry) International Conference on Model Transformation 2015 Jul 20-24, 2015 – LAquila, Italy Elie Richa will present the paper "Translating ATL Model Transformations to Algebraic Graph Transformations". (Link to this entry) UK Space Conference 2015 Jul 13-15, 2015 – Liverpool, UK AdaCore will be exhibiting at this event. (Link to this entry) Ada-Europe Jun 22-26, 2015 – Madrid, Spain AdaCore will be exhibiting at this event. Pat Rogers will be giving a tutorial on Real-time/Embedded Programming with Ada 2012. Ben Brosgol and Emmanuel Briot will present a tutorial called "When Ada Meets Python: Extensibility through Scripting". (Link to this entry) Test et Méthodes Formelles Jun 16, 2015 – Toulouse, France AdaCore will be attending this event. (Link to this entry) Project P Workshop Jun 16, 2015 – Paris, France AdaCore will be exhibiting at this event. Matteo Bordin will be presenting “Overview of other generators of the project” and “Model Verification and Code Generation with QGen”. (Link to this entry) Embedded Systems Conference Boston May 6-7, 2015 – Boston, USA AdaCore will be exhibiting at this event at Booth 17. (Link to this entry) AUVSI Show May 4-7, 2015 – Atlanta, USA AdaCore will be exhibiting at this event at booth 2951. (Link to this entry) Addressing security in safety-critical and mission-critical unmanned aircraft systems Apr 28, 2015 – webcast This webcast will discuss how to select the optimal development tools and processes to ensure the safety, security, and reliability of real-time unmanned aircraft, onboard software, and ground control solutions. (Link to this entry) Public Ada Training 2015 Mar 30 - Apr 3, 2015 – Paris, France AdaCore is hosting this training course. (Link to this entry) Scandinavian Conference System and Software Safety Mar 24-25, 2015 – Stockholm Quentin Ochem will present the paper "Reducing the cost of Defensive Code – the Ada 2012 approach". (Link to this entry) Certification Together Feb 24-26, 2015 – Toulouse, France AdaCore is exhibiting at this event. (Link to this entry) Embedded World Feb 24-26, 2015 – Nürnberg, Germany AdaCore is exhibiting at this event in Hall 4 Stand 149. (Link to this entry) SSS 2015 Feb 3-5, 2015 – Bristol, UK AdaCore is exhibiting at this event. (Link to this entry) Proof In Use Kickoff Feb 2, 2015 – Paris, France Kickoff event launching the Proof In Use research project. (Link to this entry) RTECC Santa Clara Jan 22, 2015 – Santa Clara CA, USA AdaCore is an exhibitor at this event. (Link to this entry) Car electronics Japan show Jan 14-16, 2015 – Tokyo, Japan AdaCore will be an exhibitor in this event (represented by ITAccess). (Link to this entry) 2014 Workshop on Spacecraft Flight Software Dec 16-18, 2014 – California, USA Tucker Taft gave a talk on "A Complete High-Integrity Software Development Stack". (Link to this entry) Arm Tech Symposia Dec 4, 2014 – Paris, France AdaCore exhibited at this event. (Link to this entry) China Wind Forum Nov 4, 2014 – Shanghai, China AdaCore is gold sponsor of this event and will be demoing contract-based programming in the context of the Wind River Workbench environment. Michael Friess will be giving the talk "Bring safety on board with contract-based programming and formal verification”. (Link to this entry) ISSRE 2014 Nov 3-6, 2014 – Naples, Italy Quentin Ochem will present the paper "Programming with Contracts - Ada 2012 Tool-Supported Industrial Insights". AdaCore is also a major sponsor of this event. (Link to this entry) High Integrity Software Oct 23, 2014 – Bristol, UK AdaCore is a major sponsor of this event and will be exhibiting. (Link to this entry) ACM SIGAda’s HILT 2014 Oct 21-24, 2014 – Portland, OR, USA AdaCore is a Platinum sponsor/exhibitor, and Tucker Taft is Program Chair. (Link to this entry) IET System Safety and Cyber Security Oct 14-16, 2014 – Manchester, UK AdaCore is a sponsor of this event and will be exhibiting. (Link to this entry) Webinar - Enabling Safety Certification in ARM-based Systems Oct 8, 2014 – Online webinar Processor technology from ARM has become a game changer for multiple industries, delivering high-performance-per-watt processing and high levels of integration to enable system on a chip (SoC) capability in a low-power device. This combination has been ideal for small form factor systems in avionics, automotive, and medical applications. Now embedded designers in these markets are looking at ways to take advantage of ARM technology to enable safety certification via standards such as FAA DO-178C for avionics systems and MISRA for automotive systems. This webcast of industry experts will look at how ARM-based solutions can not only reduce power but easily utilize the integrated peripherals in safety certification solutions across different industries. To register, please click here. (Link to this entry) MODELS 2014 Sep 28 - Oct 3, 2014 – Valencia, Spain Elie Richa will present the paper "Supporting the Testing of Model Transformation Chains with Precondition Construction in Algebraic Graph Transformation". (Link to this entry) GNAT Industrial User Day Sep 25, 2014 – Paris, France AdaCore will hold it's annual User Group meeting in Paris, France on September 25 this year. Click through for more info or to register. (Link to this entry) Public Ada Training UK Sep 8-12, 2014 – London AdaCore is hosting this training course in collaboration with Vector Software. (Link to this entry) TAP 2014 Jul 24-25, 2014 – York, UK Yannick Moy and Johannes Kanig are presenting a paper - Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. (Link to this entry) Ada Europe Jun 23-27, 2014 – Paris AdaCore is a major sponsor of this event. (Link to this entry) Australian System Safety Conference 2014 May 28-30, 2014 – Melbourne, Australia AdaCore are major sponsors and exhibitors at this event. (Link to this entry) AUVSI May 12-15, 2014 – Orlando AdaCore is exhibiting at this event. (Link to this entry) High Confidence Software and Systems Conference May 6-9, 2014 – Annapolis, Maryland Yannick Moy is giving a talk - SPARK 2014: Formal Program Verification For All. (Link to this entry) Civil Avionics International Forum Apr 22-23, 2014 – Shanghai, China AdaCore is a sponsor of this event. (Link to this entry) Tool Qualification Symposium Apr 9-10, 2014 – Munich AdaCore is a sponsor of this event. Matteo Bordin is giving a talk - The Economics of Tool Qualification. (Link to this entry) Embedded Masterclass Apr 8-10, 2014 – Birmingham, UK AdaCore is a Silver Sponsor of this event - booth 422. Robert Dewar is giving a talk - Using freely-licensed software in critical-embedded systems. (Link to this entry) EE Live Mar 31 - Apr 3, 2014 – San José AdaCore is exhibiting at this event - booth 719. (Link to this entry) IEEE Software Technology Conference Mar 29 - Apr 3, 2014 – Long Beach, California Ben Brosgol is giving a talk at this event. (Link to this entry) Le traitement de l’innovation dans la certification ferroviaire Mar 14, 2014 – Paris AdaCore is exhibiting at this event. (Link to this entry) Embedded World Feb 25-27, 2014 – Nuremberg, Germany AdaCore is exhibiting at this event - Hall 5/5-348. (Link to this entry) ERTS Feb 5-7, 2014 – Toulouse, France AdaCore is a Gold sponsor of this event. Yannick Moy is giving a talk on Wednesday 5th, session 2B.1 - Rail, Space, Security: Three Case Studies for SPARK 2014. Matteo Bordin is be giving a talk on Thursday 6th, session 6C.3 - System to Software Integrity: A Case Study. (Link to this entry) Safety-critical Systems Symposium Feb 4-6, 2014 – Brighton, UK AdaCore is a major sponsor of the event. (Link to this entry) RTECC Jan 23, 2014 – Santa Clara, CA AdaCore is exhibiting at this event. (Link to this entry) RTECC Dec 5, 2013 – Seattle AdaCore is exhibiting at this event. (Link to this entry) ACM SIGAda’s HILT 2013 Nov 10-15, 2013 – Pittsburgh, PA, USA AdaCore is a Platinum Sponsor of this event. (Link to this entry) Home Contact Pricing News Blog Partners Mailing List Site Map Copyright © 2014 AdaCore. All Rights Reserved.