VSL 2014: VIENNA SUMMER OF LOGIC 2014
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