All Editions
Fri 14 Oct 2022

HILT'22 - Supporting a Rigorous Approach to Software Development

This is the seventh 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 highly complex critical software systems. HILT is organized by ACM SigAda, in cooperation with Ada Europe. High Integrity Language Technologies have been tackling the challenges of building efficient, safe, reliable software for decades. ...

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

Website: http://sigada.org/conf/hilt2014/

Organizing Committee (HILT'22 - Supporting a Rigorous Approach to Software Development)