Home | Contact | Pricing | News | Events | Partners | Mailing List | Site Map

Events

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.