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 5-6, 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.

logo for Boston Park Plaza Hotel

Boston Park Plaza Hotel

50 Park Plaza
Boston, Massachusetts   02116   (USA)

Why Stay at the Workshop Hotel? (page 7, bottom 5 paragraphs)

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 15 February 2018;  website comments and corrections to ClydeRoby at ACM.Org