Pittsburgh, Pennsylvania, USA
Oct 6-7, 2016
The High Integrity Language Technology (HILT) 2016 Workshop is focused on the synergy between Model-Based Development and Contract-Based Programming, producing a formal model-driven approach to the development of high-assurance software-intensive systems. It will be held as part of ESWEEK and is sponsored by ACM SIGAda.
Sharing information about key challenges and developments in high-integrity software engineering.
Jun 22-26, 2015
The 20th International Conference on Reliable Software Technologies – Ada-Europe 2015 will take place in Madrid, Spain. 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. See the website for additional information.
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.
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.