Nov 14-15, 2012
Co-organized with the Ada Deutschland association.
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”.