Arm Community
Site
Search
User
Site
Search
User
Groups
Education Hub
Distinguished Ambassadors
Open Source Software and Platforms
Research Collaboration and Enablement
Forums
AI and ML forum
Architectures and Processors forum
Arm Development Platforms forum
Arm Development Studio forum
Arm Virtual Hardware forum
Automotive forum
Compilers and Libraries forum
Graphics, Gaming, and VR forum
High Performance Computing (HPC) forum
Infrastructure Solutions forum
Internet of Things (IoT) forum
Keil forum
Morello forum
Operating Systems forum
SoC Design and Simulation forum
SystemReady Forum
Blogs
AI and ML blog
Announcements
Architectures and Processors blog
Automotive blog
Graphics, Gaming, and VR blog
High Performance Computing (HPC) blog
Infrastructure Solutions blog
Internet of Things (IoT) blog
Operating Systems blog
SoC Design and Simulation blog
Tools, Software and IDEs blog
Support
Arm Support Services
Documentation
Downloads
Training
Arm Approved program
Arm Design Reviews
Community Help
More
Cancel
Research Collaboration and Enablement
Arm Research Events
Workshop for HOL4 users
Research Articles
Resources
Education Hub
Events
About
Members
Jump...
Cancel
Research Collaboration and Enablement requires membership for participation - click to join
Workshop for HOL4 users
When
June 25, 2024 9:00 AM
to
June 26, 2024 5:00 PM
Dublin, Edinburgh, Lisbon, London
Where
Arm Ltd. 110 Fulbourn Rd, Cambridge UK. CB1 9NJ
https://community.arm.com/arm-research/b/articles/posts/workshop-for-hol4-users
A workshop to bring together developers/users of
the HOL4 interactive theorem prover
.
Register
here
to attend!
Download to my calendar
More
Cancel
RSS
More
Cancel
More
Cancel