HILT
Fri 14 Oct 2022 HILT'22 - Supporting a Rigorous Approach to Software DevelopmentThis 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 ConferenceHILT 2020 with SPLASH 2020This 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 StatesHILT 2018 with SPLASH 2018This 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 StatesHILT 2014 with SPLASH 2014Website: http://sigada.org/conf/hilt2014/ |
