Past Events

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)

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 [email protected].

(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)