ARIA Session Update and Resources

Posted on November 07, 2025

For HISC 2025, we have had one small amendment to this year's programme. Our speaker from ARIA unfortunately is no longer available to present in person and so his session will not take place at the conference as originally planned. If you were looking forward to hearing from ARIA about "AI for Formal Verification and Formal Verification for AI", we would recommend that you check out ARIA's Safeguarded AI programme webpage to learn more about the programme and its thesis: https://link.aria.org.uk/SGAI