HILT 2018             ACM logo - Advancing Computing as a Science & Profession

ACM SIGAda’s High Integrity Language Technology
International Workshop on
Cyber-Security Interaction with High Integrity

Organized by SIGAda, ACM’s Special Interest Group on the Ada Programming Language.

November 2018 — Boston, Massachusetts (USA)

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.

The HILT 2018 Workshop is focused on the Cyber-Security Interaction with High Integrity.

Workshop Submissions

Please check here periodically for up-to-date information about the conference program.



Boston, Massachusetts   02101   (USA)

Why Should You Join ACM?


USA Visas: If you require a visa to attend HILT 2018, read this IMPORTANT VISA INFORMATION FOR NON-US SUBMITTERS.

Created on 2 December 2017;  website comments and corrections to ClydeRoby at ACM.Org