Click Here to visit the Ada Connection 2011 conference site.
AdaUK conference UK 2013


Click the links to download the event brochure and the registration form.

0830: Coffee and Registration

0900: Introduction and Welcome: John Barnes, Event Chairman

0905: Ada 2012 Tutorial: Tucker Taft, AdaCore
(mid-morning break 10.15 to 10.45)

1200: Lunch

1315: Keynote Speaker: John C. Knight, University of Virginia, Charlottesville - Ada Types - Are They Sufficient?


Technical Track Vendor Track

Paul Caseley, dstl

Proposed Revision to Def Stan 00-56

To be confirmed

Stuart Matthews, Altran

SPARK 2014
- The next generation SPARK language and toolset

Jeff Cousins, BAE Systems

Ada 2005 in Practice

Quentin Ochem, AdaCore

Emancipation for Lady Ada

1500: Break


Technical Track Vendor Track

Ian Harry, LDRA

From the model to the target to certification -
trends in growing use of code from model based
developmental systems in high integrity environments

Chris Raistrick, Abstract Solutions & Fraser Chadburn, IBM

Harvesting legacy Ada code:
IBM Rational Rhapsody Master Class

Stuart Gray, Wind River

Safety, Multicore and Virtualisation

Nick Tudor, D-RisQ Ltd

Applying D0333/DO178C - a white paper

Niroshan Rajadurai, VectorCast

Verification and Validation of Ada and mixed language applications on ARM

1630: Keynote Speaker: Robert Dewar, New York University and AdaCore - Im as Mad as Hell, and Im Not Going To Take This Anymore!

1715: Close