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”.
Event
Edinburgh, Scotland
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.
Event
Stuttgart, Germany
May 24, 2011
Michael Friess will give the presentation “FLOSS for the development of safety-related systems”.
