Ada Resource Association

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.

High Integrity Language Technology 2014 – ACM SIGAda’s Annual International Conference

High integrity software must not only meet correctness and performance criteria but also satisfy stringent safety and/or security demands, typically entailing certification against a relevant standard. A significant factor affecting whether and how such requirements are met is the chosen language technology and its supporting tools: not just the programming language(s) but also languages for expressing specifications, program properties, domain models, and other attributes of the software or overall system.

HILT 2014 will provide a forum for experts from academia/research, industry, and government to present the latest findings in designing, implementing, and using language technology for high integrity software.

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.

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.

The Certification Together International Conference for the Aeronautical Industry is the only event in Europe fully dedicated to System, Software and Hardware certification challenges.

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.

The 15th International Conference on Reliable Software Technologies – Ada-Europe 2010 will take place in Valencia, Spain. 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.

ACM’s Annual International Conference on Ada and Related Technologies Engineering Safe, Secure, and Reliable Software.

(Website in German)