ACM SIGAda’s High Integrity Language Technology
International Workshop on
Safe Languages and Technologies for Structured and Efficient Parallel and Distributed/Cloud Computing
Organized by SIGAda, ACM’s Special Interest Group on the Ada Programming Language.
Virtually co-hosted with SPLASH 2020
November 15-20, 2020
(HILT 2020 Workshop — November 16-17)
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 expanding beyond embedded real-time control applications to the increasing reliance on complex software for the basic functioning of businesses, governments, and society in general. HILT 2020 will focus on the growing importance of large-scale, highly parallel, distributed and/or cloud applications. Single-thread performance is reaching the limits of physics, and this has driven growth in parallel programming, massively distributed systems, and heterogeneous/ accelerated computing models. Once the domain of high-performance computing experts, parallel, distributed, and cloud computing are becoming fundamental technologies for all programmers. This workshop seeks to explore ways High Integrity Language Technologies can bring the capabilities of parallelism, distribution, and heterogeneity to a wider audience, without the associated increase in complexity.Registration: The registration fees are kept very low to allow attendees from underprivileged regions across the world to participate. The registration includes access to all events between November 15-20, 2020 including OOPLSA, ECOOP, SAS, GPCE, DLS, SLE, all workshops, and all social events. The registration website is now open at https://2020.splashcon.org/attending/Registration
Information is also on SPLASH's website for HILT 2020
Please check back here periodically for up-to-date information about the conference program.
Why Should You Join ACM?