Event
Karlsruhe, Germany
Nov 14-15, 2012
Co-organized with the Ada Deutschland association.
Event
Paris, France
Sep 25, 2012
Organized by AdaCore, this one-day event is for all users of the GNAT technology in an industrial context.
Event
Stockholm, Sweden
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.
Event
North America
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)
Event
Stuttgart, Germany
Jun 30, 2011
This is an Ada Deutschland workshop. Johannes Kanig will present the talk “Hi-Lite – Verification by Contract”.
Event
Zurich, Switzerland
Jun 30, 2011 - Jul 1, 2011
Claire Dross will present the paper “Correct Code Containing Containers”.
