AdaCore GNATtracker Access Contact Us Company Products Developers Training Customers Ada Answers Academia Support Company Overview About AdaCore Press Center Events Community Partners Contact Legal Recent / Current Events Upcoming Events 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) Public Ada Training UK Sep 8-12, 2014 – London AdaCore is hosting this training course in collaboration with Vector Software. (Link to this entry) DASC 2014 Oct 5-9, 2014 – Colorado Springs, CO AdaCore is exhibiting at this event. (Link to this entry) Past Events 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) Software Considerations for Avionics and Critical Systems Feb 24, 2011 – Adelaide, Australia. This event is jointly organized with the IEEE Control, Aerospace and Electronic Systems Chapter and The University of Adelaide. Robert Dewar will give a talk discussing the topics below: - Best practices for software design in critical systems. - The suitability of both existing and emerging standards. - An overview of tools and methodologies available to address the certification of such systems, including those available in the open source world. - Legal considerations and security. - A glimpse into the future. (Link to this entry) Safety-critical Systems Symposium ‘11 Feb 8-10, 2011 – Southampton, UK. AdaCore is a major sponsor of this event. Robert Dewar will present the paper "A Pragmatic View of Formal Methods: the Hi-Lite project" (Link to this entry) TOPCASED DAYS Feb 2-4, 2011 – Toulouse, France. Franco Gasperoni will be a panelist in the round table discussion "An Open Source strategy for industrial development" on February 2, 17:00-18:30. (Link to this entry) Home Contact Pricing News Partners Mailing List Site Map RSS Twitter Copyright © 2011 AdaCore. All Rights Reserved.