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.