AdaUK conference UK 2007

Sponsors

The Ada Conference UK 2007 is made possible through the efforts of the Centre for Software Reliability and lead sponsor AdaCore. The event is arranged in collaboration with the UK Safety-Critical Systems Club. We are extremely grateful for the further sponsorship in support of this event from BAE Systems, MBDA and Wind River.


AdaCore - The GNAT Pro Company

Founded in 1994, AdaCore is the leading provider of commercial, open software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are absolutely critical.

BAE Systems

BAE Systems is the premier global defence and aerospace company delivering a full range of products and services for air, land and naval forces, as well as advanced electronics, information technology solutions and customer support services

MBDA Missle Systems

MBDA is a world leading, global missile systems company. MBDA currently has 45 missile system and countermeasure programmes in operational service and has proven its ability as prime contractor to head major multi-national projects.

Wind River

Wind River is the global leader in Device Software Optimization (DSO). Wind River enables companies to develop, run, and manage device software faster, better, at lower cost, and more reliably.

Centre for Software Reliability

The Centre for Software Reliability (CSR) is a research centre within the University of Newcastle upon Tyne. Research is focused on how to make computing systems more dependable.