|Sun 15 - Fri 20 November 2020 Online Conference|
HILT 2020 with SPLASH 2020
This is the sixth in the HILT series of conferences and workshops, sponsored by ACM SIGAda, focused on the use of High Integrity Language Technology to address challenging issues in the engineering of highly complex critical software systems. High Integrity Language Technologies have been tackling the challenges of building efficient, safe, reliable software for decades. Critical software as a domain is quickly e ...
|Mon 5 - Tue 6 November 2018 Boston, Massachusetts, United States|
HILT 2018 with SPLASH 2018
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 practi ...
|Sat 18 - Tue 21 October 2014 Portland, Oregon, United States|
HILT 2014 with SPLASH 2014