A workshop to bring together developers/users of the HOL4 interactive theorem prover. The hope is to:
The workshop will be held at the Arm offices in Cambridge: 110 Fulbourn Rd, Cambridge CB1 9NJ, UK. In-person attendance is strongly recommended, but virtual attendance should also be possible.
Deadline: Fri 16th May (globally/Anywhere on Earth)
Please register here
If attending in-person, please arrive on time each day due to security restrictions. Late entry or re-entry may not be allowed. Tea, coffee, and lunch will be provided. Please do let us know if you have any dietary requirements on the registration form above.
Tue 10th June
Wed 11th June
Details will be sent directly to registered participants nearer the time.
You can take a train to Cambridge from three main London stations: King's Cross, St. Pancras International, and Liverpool Street. Fast trains take about 50 minutes, while slower ones take up to 1.5 hours. King's Cross has the most frequent trains (about four per hour). The fastest trains operate directly from King's Cross.
Please note: there are two stations in Cambridge: Cambridge and Cambridge North. The hotels recommended below are near Cambridge, not Cambridge North.
If you are traveling from abroad, the easiest option is to fly to a London airport and take a train. London Stansted is quite close to Cambridge (and not really in London): around 40 minutes by coach or by train.
We suggest staying near Cambridge station for ease of access. There are many hotels and AirBnB offerings in the area, for example:
There are many hotels/AirBnBs in central Cambridge and beyond too.
The Arm offices are in Cherry Hinton, a village a short distance from Cambridge. There are several modes of transport available between Cambridge station and the Arm offices:
Cambridge is a well-known, historic university city with long-standing links to the field of computing. If you are interested in exploring it, here are a few things you could try: