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.
Please check here periodically for up-to-date information about the conference program.
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?