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 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) 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) Upcoming Events 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) DASC 2016 Sep 25-29, 2016 – Sacramento, CA AdaCore will be exhibiting at this event. (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) 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) ARM TechCon Oct 25-27, 2016 – Santa Clara, CA AdaCore is exhibiting at this event. (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) Public Ada Training Nov 14-18, 2016 – Boston, USA & Paris, France AdaCore is hosting these training courses. (Link to this entry) ESE Kongress Nov 28 - Dec 2, 2016 – Sindelfingen Germany AdaCore is exhibiting at this event. (Link to this entry) Embedded Systems Conference Dec 7-8, 2016 – San Jose, CA AdaCore is exhbiting at this event. (Link to this entry) Flight Software Workshop Dec 13-15, 2016 – Pasedena, CA AdaCore will be exhibiting at this event. (Link to this entry) Past Events 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) IET International System Safety Conference Oct 15-17, 2013 – Cardiff, UK AdaCore is a sponsor of this event and will be exhibiting. (Link to this entry) GNAT Industrial User Day Sep 25, 2013 – Paris, France AdaCore will hold it's annual User Group meeting in Paris, France on September 25 this year. For more details and to register, please visit: http://www.adacore.com/gnatpro-day (Link to this entry) SAE Aerotech 2013 Sep 24-26, 2013 – Montreal, QC, Canada Tucker Taft will be giving a talk entitled, "Integrating Test and Proof in the Next Generation Verifiable SPARK Language, Using Contract-Based Programming Features and SMT Solvers." (Link to this entry) Embedded Konferenz Stuttgart Jul 2, 2013 – Stuttgart, Germany AdaCore is a sponsor of this event and will be exhibiting. (Link to this entry) ARM-based Embedded System Design Jun 25, 2013 – Sindelfingen, Germany Quentin Ochem will be giving the talk "Ada for ARM". (Link to this entry) Ada Europe 2013 Jun 10-14, 2013 – Berlin, Germany AdaCore is a major sponsor of this event and will be exhibiting. Thomas Quinot will present the paper, "Lady Ada Mediates Peace Treaty in Endianness War". (Link to this entry) Certification Together 2013 May 21-23, 2013 – Toulouse, France AdaCore is Platinum sponsor of this event. Johannes Kanig will give a talk entitled, "Integrating Formal Program Verification with Testing". (Link to this entry) DASIA 2013 May 14-16, 2013 – Portugal Johannes Kanig and David Lesens (Astrium Space Transportation) are presenting, "Formal Validation of Aerospace Software". (Link to this entry) Ada Conference UK 2013 Apr 25, 2013 – Birmingham, UK AdaCore is lead sponsor of this event. Tucker Taft is presenting an Ada 2012 tutorial and Robert Dewar will give a talk entitled "I'm as Mad as Hell, and I'm Not Going To Take This Anymore!". (Link to this entry) Design West Apr 23-25, 2013 – San Jose CA, USA AdaCore is exhibiting at this conference (booth #719). Tucker Taft will present the paper, "Systems Programming in the Distributed, Multicore World with Go, Rust, and ParaSail" and Ben Brosgol will give a talk entitled "Object-Oriented Programming for High-Integrity Systems: Pitfalls and How to Avoid Them". (Link to this entry) 1st Tool Qualification Symposium Apr 9-10, 2013 – München, Germany Matteo Bordin and Robertus Vingerhoeds will present the paper "Open Qualification Material Approach in the Project P". (Link to this entry) STC 2013 Apr 8-11, 2013 – Salt Lake City, Utah Ben Brosgol will deliver a talk entitled "Object-Oriented Programming for High-Integrity Software: Local Type Consistency Verification without Tears". (Link to this entry) RTECC Mar 19, 2013 – Dallas, TX AdaCore is exhibiting at this event. (Link to this entry) Embedded World Feb 26-28, 2013 – Nürnberg, Germany AdaCore is exhibiting at this event- hall 4, booth # 544f . Johannes Kanig will give a talk entitled "Integrating Formal Program Verification with Testing" (Link to this entry) Safety-Critical Systems Symposium 2013 Feb 5-7, 2013 – Bristol, UK AdaCore is a major sponsor of this event and will be exhibiting. Robert Dewar will present the paper "Testing and Proving: Strange bedfellows?" (Link to this entry) FOSDEM 2013 Feb 2-3, 2013 – Brussels AdaCore will give the following presentations: - "Simplifying the use of Formal Methods" and "Ada on Android" Jose Ruiz. - "Compile- Time Dimensionality Checking" Valentine Reboul. (Link to this entry) RTECC Jan 24, 2013 – Santa Clara, CA AdaCore is exhibiting at this event. (Link to this entry) Paris Space Week 2012 Dec 17-19, 2012 – Paris AdaCore is exhibiting at this event. (Link to this entry) High Integrity Language Technology (HILT 2012) Dec 2-6, 2012 – Boston, MA Sponsored by ACM SIGAda AdaCore is a Platinum level sponsor, and AdaCore authors will be presenting a variety of papers and tutorials. Johannes Känig. Leading-Edge Ada Verification Technologies: Combining Testing and Verification with GNATTest and GNATProve – The Hi-Lite Project (Tutorial) Tucker Taft. MulticoreProgramming using Divide-and-Conquer and Work Stealing (Tutorial) Claire Dross, Johannes Känig, and Ed Schonberg. Hi-Lite: The Convergence of Compiler Technology and Program Verification Vincent Pucci and Ed Schonberg. The Implementation of Compile-Time Dimensionality Checking Hristian Kirtchev. A Robust Implementation of Ada’s Finalizable Controlled Types Geert Bosch. Synchronization Cannot Be a Library (Link to this entry) Automotive 2012 Nov 14-15, 2012 – Karlsruhe, Germany AdaCore is a sponsor and Johannes Kanig will present the paper "Integration von Formaler Verifikation und Test" (Link to this entry) SAE Aerospace Electronics and Avionics Systems Conference Oct 30 - Nov 1, 2012 – Phoenix, AZ Greg Gicca is presenting a paper “Meeting Top Safety and Security Requirements while Reducing Cost, Size, Weight, and Energy: Achieving High Assurance through a Verifiable Language on a MILS Architecture”. (Link to this entry) GNAT Industrial User Day Sep 25, 2012 – Paris, France AdaCore will hold it's annual User Group meeting in Paris, France on September 25 this year. For more details and to register, please visit: http://www.adacore.com/gnatpro-day (Link to this entry) ESC / Design East Sep 17-21, 2012 – Boston, MA. AdaCore is exhibiting at this event. Tucker Taft will present the paper "Ada 2012- New Language Technology for High-Integrity Software". (Link to this entry) FM 2012 Aug 27-31, 2012 – Paris, France The Hi-Lite team will present the paper "Maximal and compositional pattern-based loop invariants" and give the talk "The future of formal software verification in avionics". (Link to this entry) Embedded Conference Stuttgart Jul 3, 2012 – Stuttgart, Germany AdaCore is a sponsor and exhibitor at this event. (Link to this entry) Embedded Masterclass 2012 Jun 27, 2012 – Cambridge, UK AdaCore is an exhibitor at this event and Quentin Ochem will present the paper "Higher abstraction in low-level development: the Ada 2012 answer". (Link to this entry) B-Method – AdaCore micro-seminar Jun 25, 2012 – Paris, France. AdaCore Internal Seminar - Jean Louis Dufour (Sagem DS, http://fr.linkedin.com/pub/jean-louis-dufour/18/7b7/228), will come to the AdaCore Paris offices to give a 101 introduction to the B-Method. AdaCore, from time to time, organizes seminars in the Paris offices. If you are interested in a particular talk, please send email to events@adacore.com. (Link to this entry) Ada Europe 2012 Jun 11-15, 2012 – Stockholm, Sweden AdaCore will give the following presentation “Source Code as the Key Artifact in Requirement-Based Development: the case of Ada 2012″ – Cyrille Comar, José Ruiz and Yannick Moy, and the following tutorials: “DO-178C: The Next Avionics Software Safety Standard” – Ben Brosgol “Experimenting with ParaSail – Parallel Specification and Implementation Language” – Tucker Taft Our partners, Altran Praxis, will give the following tutorials “The Benefits of Using SPARK for High-assurance Software” and “The Use of Proof and Generics in SPARK” – Trevor Jennings and Robin Messer (Link to this entry) The NSA Twelfth Annual HCSS Conference (2012) May 8-11, 2012 – Annapolis, MD, USA Rod Chapman will be presenting the poster paper "A Formal and Fast Reference Implementation of the Skein Hash Algorithm". (Link to this entry) MIT CSAIL - Multicore Software Seminar Series Apr 25, 2012 – MIT, MA S. Tucker Taft will be giving a 90 minute lecture "ParaSail: A simplified approach to safe parallel programming" at MIT as part of the Computer Science and Artificial Intelligence Laboratory's (CSAIL) Multicore Software Seminar Series. (Link to this entry) SAE 2012 World Congress & Exhibition Apr 24-27, 2012 – Detroit, MI Stuart Matthews will be presenting the paper "Building Security In: The SPARK Approach to Software Development". (Link to this entry) SSTC 2012 Apr 23-26, 2012 – Salt Lake City, UT Ben Brosgol is delivering a presentation, “Object-Oriented Programming for High-Integrity Systems: Pitfalls and How to Avoid Them”. (Link to this entry) ESC Silicon Valley Mar 26-29, 2012 – San Jose, CA AdaCore is exhibiting at this event. (Link to this entry) Embedded World 2012 Feb 28 - Mar 1, 2012 – Nuremberg, Germany Michael Friess will be giving a talk in the FLOSS and Safety Track. AdaCore will also be exhibiting at this event. (Link to this entry) Home Contact Pricing News Blog Partners Mailing List Site Map Copyright © 2014 AdaCore. All Rights Reserved.