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)

Workshop Submissions Deadline Extended to August 17

This is the fifth in the HILT series of conferences and workshops focused on the use of High Integrity Language Technology to address challenging issues in the engineering of software-intensive critical systems. HILT 2018 will focus on addressing cybersecurity and cyber-resilience issues that arise in real-time, embedded, and/or safety-critical systems. Submissions are encouraged describing theoretical and practical efforts related to the use of safe languages, formal methods, model-based development, and advanced static analysis to identify and mitigate cybersecurity vulnerabilities in software-intensive systems. The workshop will bring together academic, industrial, and government researchers and practitioners focused on the use of these advanced language technology and tools, with a particular focus on addressing the growing cybersecurity threats.

Details about the Call for Papers are on SPLASH's website for HILT 2018

Submissions for Publication should follow the style described by the ACM Master Article Template.

Please submit Papers and Extended Abstracts by August 17, 2018 on HotCRP. You will need to create, or login to, an account on HotCRP (https://hilt18.hotcrp.com/).


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