HOL Call for Papers
HOL14 – 2014 International Workshop on the HOL Theorem Proving System
July 13, 2014 · Vienna, Austria
http://www.cl.cam.ac.uk/~rk436/hol14
Important Dates
Abstract Deadline: |
5th May, 2014 (EXTENDED) |
Notification: |
15th May, 2014 |
Aims and Scope
The aim of the workshop is to share information about HOL4's hidden features, interesting uses, and neat tricks. An additional aim is to collect feature requests and cool ideas, and to take steps towards implementing them.
We request abstracts from anyone who would like to present something at the workshop, and a rough estimate of how long a slot they would like. These can be as short as 5 minutes, or up to half an hour. There will also be an opportunity for impromptu short talks at the workshop, and for discussion and hackathon as desired.
Abstract Submissions
Submit through EasyChair.
Program Committee
- Ramana Kumar (University of Cambridge) - chair