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 Upcoming Events 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) Public Ada Training 2015 Oct 26-30, 2015 – Paris, France AdaCore is hosting this training course. (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) 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) 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) ARM TechCon Nov 10-12, 2015 – Santa Clara, USA AdaCore will be exhibiting at this event at Booth 217. (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) Past Events 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) Safety-critical Systems Symposium ‘12 Feb 7-9, 2012 – Bristol, UK AdaCore is a major sponsor of this event. (Link to this entry) FOSDEM 2012 Feb 4-5, 2012 – Brussels, Belgium Robert Dewar will give a keynote talk “Free Software: A viable model for Commercial Success“. Jose Ruiz will give talks on “Multicore programming support in Ada” and “Programming LEGO MINDSTORMS robots in Ada”. (Link to this entry) ERTS 2012 Feb 1-3, 2012 – Toulouse, France AdaCore is a platinum sponsor of this event and will give the following talks “Integrating Formal Program Verification with Testing” (Cyrille Comar, Johannes Kanig and Yannick Moy), “Compilation of Heterogeneous Models: Motivations and Challenges” (Matteo Bordin, Tonu Naks, Andres Toom and Marc Pantel), and “Formalization and Comparison of MCDC and Object Branch Coverage Criteria” (Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot). (Link to this entry) HiPEAC 2012 Jan 23-25, 2012 – Paris, France AdaCore is a sponsor of this event. (Link to this entry) RTECC - Real Time Embedded Computing Conferences Dec 8, 2011 – North America Ottawa, ON Canada (Tuesday September 13,2011) Montreal, QC Canada (Wednesday September 15, 2011) Seattle, WA (Thursday October 13,2011) Phoenix, AZ (Thursday December 8, 2011) (Link to this entry) Medelec Conference 2011 Nov 30, 2011 – Cambridge, UK. Quentin Ochem will be giving the talk "Lessons to be learned from ultra-paranoid industries (or why software matters)". AdaCore is also exhibiting at this event. (Link to this entry) SIGAda 2011 Nov 6-10, 2011 – Denver, CO USA. AdaCore is an exhibitor at this event. (Link to this entry) SCADE User Group Conference Oct 14, 2011 – Paris, France. AdaCore is a sponsor of this event and will be exhibiting. (Link to this entry) Embedded Conference Scandinavia Oct 4-5, 2011 – Stockholm, Sweden. Michael Friess will give a talk "Efficient Safety Critical Systems Development: Is FLOSS the only answer?" in the Open Source Session (15:40-16:20 on Oct 4). (Link to this entry) ESC Boston 2011 Sep 28-27, 2011 – Boston, MA USA. AdaCore is an exhibitor at this event. (Link to this entry) Open World Forum Sep 22-24, 2011 – Paris, France. AdaCore is a silver sponsor of this event. Jamie Ayre will present the Open-DO project. (Link to this entry) 15th International Real-Time Ada Workshop Sep 14-16, 2011 – Liébana (Cantabria), Spain. Jose F. Ruiz will be presenting the paper "Going real-time with Ada 2012 and GNAT". (Link to this entry) Boogie 2011 Workshop (co-located with CADE-23) Aug 2, 2011 – Wrocław, Poland. Boogie 2011 is the first international workshop on intermediate verification languages. Johannes Kanig will present the paper "Why Hi-Lite Ada?". (Link to this entry) Development of reliable software systems Jul 1, 2011 – Stuttgart, Germany. This is an Ada Deutschland workshop. AdaCore is a sponsor and will exhibit. Johannes Kanig will present the talk "Hi-Lite - Verification by Contract". (Link to this entry) Test & Proof 2011 Jun 30 - Jul 1, 2011 – Zurich, Switzerland. Claire Dross will present the paper "Correct Code Containing Containers". (Link to this entry) Ada Connection Jun 20-24, 2011 – Edinburgh, Scotland. AdaCore is a major sponsor of this event and will be presenting the following paper "Design and Implementation of a Ravenscar Extension for Multiprocessors" by Jose F. Ruiz and Fabien Chouteau. And the following tutorials: "Distributed Programming Techniques in Ada" by Thomas Quinot. "Hard Real-Time and Embedded Systems Programming with Ada" by Patrick Rogers Roderick Chapman from our partners Altran Praxis will be giving the following tutorial: "SPARK. The Libre Language and Toolset for High-Assurance Software" (Link to this entry) Embedded Konferenz May 24, 2011 – Stuttgart, Germany. AdaCore is an exhibitor at this event. Michael Friess will give the presentation "FLOSS for the development of safety-related systems". (Link to this entry) SSTC 2011 May 16-19, 2011 – Salt Lake City, UT, USA. AdaCore will be presenting the following paper by Ben Brosgol and Cyrille Comar - An Update on DO-178C: A New Standard for Software Safety Certification. (Link to this entry) ESC Silicon Valley 2011 May 3-5, 2011 – San Jose, CA, USA. AdaCore will be presenting the following paper by Greg Gicca and Ben Brosgol - Strategies for Developing Safe and Secure Embedded Systems. Roderick Chapman from our partners Altran Praxis will be presenting the following paper - Static Code Verification: Issues, Problems and Current Technologies. (Link to this entry) Wind River Partner event Mar 2, 2011 – Madrid, Spain. "From Simulation to Deployment: Every Step Fulfilled with Wind River Solutions". AdaCore is an exhibitor at this event. (Link to this entry) Embedded World Mar 1-3, 2011 – Nürnberg, Germany. Michael Friess will be giving the talk "Efficient Safety Critical Systems Development - Is FLOSS the only answer?" in the FLOSS for Safety related Systems Class (Thursday, March 3, 11:15-12:00). AdaCore is also exhibiting at the event - Booth F224, Hall 11. (Link to this entry) Home Contact Pricing News Blog Partners Mailing List Site Map RSS Twitter Copyright © 2014 AdaCore. All Rights Reserved.