Dear all, Arm is hosting a HOL4 users’ workshop in Cambridge, UK. We aim to: bring together those interested in HOL4; discuss upcoming and proposed developments; and share tips, tricks, and best practices.
This event follows on from last year's workshop<https://community.arm.com/arm-research/b/articles/posts/workshop-for-hol4-users>. This year we aim to enable virtual attendance (though in-person attendance is strongly recommended if possible). When: Tue 10th – Wed 11th June 2025 Where: 110 Fulbourn Road, Cambridge CB1 9NJ, UK Registration and further information: https://community.arm.com/arm-research/b/articles/posts/hol4-users-workshop-2025 Please register by Friday 16th May AoE. We hope many of you can attend! Please do get in touch if you have any questions. Kind regards, Hrutvik Kanabar and Eleni Vafeiadi Bila IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
