AdaCore - The GNAT Pro Company » Events http://www.adacore.com AdaCore technology and news Sun, 14 Mar 2010 08:49:01 +0000 http://wordpress.org/?v=2.9 en hourly 1 Avionics Europe http://www.adacore.com/2009/12/07/avionics-europe-2/ http://www.adacore.com/2009/12/07/avionics-europe-2/#comments Mon, 07 Dec 2009 13:53:24 +0000 AdaCore http://www2.adacore.com/?p=3266 March 24-25 2010, Amsterdam, The Netherlands

AdaCore is a sponsor and exhibiting at this event.]]> http://www.adacore.com/2009/12/07/avionics-europe-2/feed/ 0 ESC Silicon Valley 2010 http://www.adacore.com/2009/10/21/esc-silicon-valley-2010/ http://www.adacore.com/2009/10/21/esc-silicon-valley-2010/#comments Wed, 21 Oct 2009 12:29:00 +0000 AdaCore http://www2.adacore.com/?p=3181 April 27 - 28, 2010, San Jose, CA

AdaCore will be exhibiting at this event.]]> http://www.adacore.com/2009/10/21/esc-silicon-valley-2010/feed/ 0 Systems & Software Technology Conference (SSTC) 2010 http://www.adacore.com/2009/10/21/systems-software-technology-conference-sstc-2010/ http://www.adacore.com/2009/10/21/systems-software-technology-conference-sstc-2010/#comments Wed, 21 Oct 2009 07:17:32 +0000 AdaCore http://www2.adacore.com/?p=3179 April 26-29, 2010, Salt Lake City, UT

Ben Brosgol will be presenting the talk “DO-178C: A New Standard for Software Safety Certification”.]]> http://www.adacore.com/2009/10/21/systems-software-technology-conference-sstc-2010/feed/ 0 ERTS 2010 http://www.adacore.com/2010/01/18/erts-2010/ http://www.adacore.com/2010/01/18/erts-2010/#comments Mon, 18 Jan 2010 13:12:40 +0000 AdaCore http://www2.adacore.com/?p=3363 May 19-21 2010, Toulouse, France

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

    • ]]>     http://www.adacore.com/2010/01/18/erts-2010/feed/ 0     DASIA 2010 http://www.adacore.com/2010/03/02/dasia-2010/ http://www.adacore.com/2010/03/02/dasia-2010/#comments Tue, 02 Mar 2010 14:25:42 +0000 AdaCore http://www2.adacore.com/?p=3724 June 1-4, 2010 - Budapest, Hungary

    AdaCore will be exhibiting at this event.

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

    ]]>     http://www.adacore.com/2010/03/02/dasia-2010/feed/ 0     Ada Europe 2010 http://www.adacore.com/2010/03/02/ada-europe-2010-2/ http://www.adacore.com/2010/03/02/ada-europe-2010-2/#comments Tue, 02 Mar 2010 14:18:03 +0000 AdaCore http://www2.adacore.com/?p=3712 June 14-18, 2010 - Valencia, Spain

    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.

    • ]]>     http://www.adacore.com/2010/03/02/ada-europe-2010-2/feed/ 0     ESC Boston http://www.adacore.com/2010/01/07/esc-boston/ http://www.adacore.com/2010/01/07/esc-boston/#comments Thu, 07 Jan 2010 09:57:54 +0000 AdaCore http://www2.adacore.com/?p=3311 Boston, MA.

    AdaCore will be exhibiting at this event.]]>     http://www.adacore.com/2010/01/07/esc-boston/feed/ 0     SIGAda 2010 http://www.adacore.com/2010/01/07/sigada-2010/ http://www.adacore.com/2010/01/07/sigada-2010/#comments Thu, 07 Jan 2010 10:03:10 +0000 AdaCore http://www2.adacore.com/?p=3313 October 24-28, 2010 — Fairfax, Virginia.

    AdaCore is Platinum sponsor of this event.]]>     http://www.adacore.com/2010/01/07/sigada-2010/feed/ 0