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)
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/).
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?