Sep 25, 2012
Organized by AdaCore, this one-day event is for all users of the GNAT technology in an industrial context.
Jun 11-15, 2012
The 17th International Conference on Reliable Software Technologies (Ada-Europe 2012) will take place in Stockholm, Sweden, from June 11 to June 15. Following its traditional 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.
Sep 13, 2011 - Dec 8, 2011
– Ottawa, ON Canada (Tuesday September 13,2011)
– Montreal, QC Canada (Wednesday September 15, 2011)
– Seattle, WA (Thursday October 13,2011)
– Phoenix, AZ (Thursday December 8, 2011)
Jun 30, 2011
This is an Ada Deutschland workshop. Johannes Kanig will present the talk “Hi-Lite – Verification by Contract”.
Jun 30, 2011 - Jul 1, 2011
Claire Dross will present the paper “Correct Code Containing Containers”.
Jun 20-24, 2011
The Ada Connection, which combines the 16th International Conference on Reliable Software Technologies – Ada-Europe 2011 – with Ada Conference UK 2011, sees a union of two Ada events that have both been very successful in their own right.