Dear all, Arm is hosting a HOL4 users’ workshop in Cambridge, UK. We aim to: bring together those interested in HOL4; showcase current work which uses HOL4; and share tips, tricks, and best practices. Michael Norrish, the primary developer of HOL4, will be giving a keynote presentation.
When: Tue 25th – Wed 26th June 2024 Where: 110 Fulbourn Road, Cambridge CB1 9NJ, UK Registration and further information: https://community.arm.com/arm-research/b/articles/posts/workshop-for-hol4-users Please register by 9th June AoE. We hope many of you can attend! If you can make it, please do also consider showing some work – we are deliberately non-prescriptive about format and length. Unfortunately, we cannot enable virtual attendance, though we hope to record talks given by non-Arm attendees. Please do get in touch if you have any questions! Kind regards, Hrutvik Kanabar 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
