Prev: SPARK - an idea for high integrity data structures
Next: finding an example about possible conflicts and modelling them using VDM
From: Steve Riddle on 21 Jul 2010 10:21
The Ada Connection = Ada Europe 2011 + Ada Conference UK 2011

Call for papers, tutorials and workshops is now available at
http://conferences.ncl.ac.uk/adaconnection2011/

The Ada Connection combines the 16th International Conference on
Reliable Software Technologies – Ada-Europe 2011 – with Ada Conference
UK 2011. It will take place in Edinburgh, Scotland's capital city and
the UK's most popular conference destination.

In traditional Ada-Europe style, the conference will span a full week,
including a three-day technical program and vendor exhibition from
Tuesday to Thursday, along with parallel tutorials and workshops on
Monday and Friday. The Ada Connection will also encompass technical
and vendor tracks under the banner of Ada Conference UK, which exists
to promote awareness of Ada and to highlight the increased relevance
of Ada in safety- and security-critical programming.
 | 
Pages: 1
Prev: SPARK - an idea for high integrity data structures
Next: finding an example about possible conflicts and modelling them using VDM