March 24-25 2010, Amsterdam, The Netherlands
Avionics Europe

AdaCore is a sponsor and exhibiting at this event.

April 27 - 28, 2010, San Jose, CA
ESC Silicon Valley 2010

AdaCore will be exhibiting at this event.

April 26-29, 2010, Salt Lake City, UT
Systems & Software Technology Conference (SSTC) 2010

Ben Brosgol will be presenting the talk “DO-178C: A New Standard for Software Safety Certification”.

May 19-21 2010, Toulouse, France
ERTS 2010

AdaCore is a sponsor at this event and will be presenting the following papers:

“Tokeneer: Beyond Formal Program Verification” by Yannick Moy and Angela Wallenburg

“Verifying Model Compilers” by Matteo Bordin and Franco Gasperoni

“Couverture: An Innovative and Open Coverage Analysis Framework for Safety-Critical Applications” by Matteo Bordin, Cyrille Comar, Tristan Gingold, Jérôme Guitton, Olivier Hainque, and Thomas Quinot

June 1-4, 2010 - Budapest, Hungary
DASIA 2010

AdaCore will be exhibiting at this event.

Jose F. Ruiz will present the paper “Safe and Efficient Support for Embedded Multi-Processors in Ada”.

June 14-18, 2010 - Valencia, Spain
Ada Europe 2010

AdaCore is a major sponsor of this event and will be presenting the following papers:

“Towards Ada 2012: An Interim Report” by Ed Schonberg et al.

“A Comparison of Generic Template Support: Ada, C++, C#, and Java” by Ben Brosgol and Jerome Lambourg.

“Cache-aware Development of High-Integrity Systems” by Enrico Mezzetti, Adam Betts, José Ruiz, and Tullio Vardanega.

and the following tutorial:

“C#, .NET and Ada: Keeping the Faith in a Language-Agnostic Environment” by Ben Brosgol.

Boston, MA.
ESC Boston

AdaCore will be exhibiting at this event.

October 24-28, 2010 — Fairfax, Virginia.
SIGAda 2010

AdaCore is Platinum sponsor of this event.