Workshop for HOL4 users - Arm Research Events - Research Collaboration and Enablement - Arm Community

Research Collaboration and Enablement

Arm Research Events Workshop for HOL4 users

Research Collaboration and Enablement requires membership for participation - click to join

This event occurred in the past.

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!