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.
May 24, 2011
Michael Friess will give the presentation “FLOSS for the development of safety-related systems”.
Apr 21, 2011 - Jun 7, 2011
A series of conferences:
- Dallas, TX (April 21, 2011)
- Huntsville, AL (April 26, 2011)
- Washington, D.C. (May 17, 2011)
- Boston, MA (May 25, 2011)
- Manhattan Beach, CA (June 7, 2011)
Feb 8-11, 2011
The event will feature topical presentations by leading practitioners in the field, and will be of interest to all who work in the development of safety-critical systems, or in related fields.
Oct 26, 2010 - Sep 28, 2010
The Certification Together International Conference for the Aeronautical Industry is the only event in Europe fully dedicated to
System, Software and Hardware certification challenges.
Sep 15, 2010
A range of benefits can be obtained through using tools when developing safety-critical systems, and from collaborating with tools providers to tackle specific problems. The same is true of consultancy, training and other kinds of services, where both the services themselves and collaboration with their providers can be extremely valuable. The seminar programme at this event contains many examples of these advantages, presented by suppliers and users of tools and services, consultants, and researchers.