CALL FOR ABSTRACTS
2015 International Workshop on HOL4
The HOL Theorem Proving System
(HOL'15)
hosted by CADE-25
August 2-3, 2015, Berlin, Germany
https://www.cl.cam.ac.uk/~rk436/hol15/
IMPORTANT DATES
Abstract Submission 15th June 2015
Author Notification 1st July 2015
INVITED SPEAKER
HOL4's lead developer, Michael Norrish, will speak at the workshop.
THEME
The theme of the workshop is "the development agenda". We hope to gather
both users and developers of HOL4 to brainstorm and decide:
- What tasks or projects (from small to large scale) should we prioritise
for HOL4's continued development?
- How can we apply the latest developments in the fields of automated and
interactive theorem proving back to HOL4, and is it worth it?
- Should HOL4 merge with or evolve into another system?
- How might we increase the amount of developer time put into the system
(e.g., attracting new users, holding more workshops)?
Being co-located with CADE, we also intend the workshop to be
beginner-friendly with the possibility of some tutorial introductions, and
we hope to focus some of the time on integrating ATP with ITP.
Specific development ideas can be found on the workshop website:
https://www.cl.cam.ac.uk/~rk436/hol15/
ABSTRACT SUBMISSION
To register your interest in discussing the development agenda, please
submit a short abstract describing what you want to do and how long you
would like to have the floor (from 5 through 30 minutes). There will be
flexibility for impromptu talks and discussion, but we highly encourage
early submissions to give priority to better-prepared work.
Submission is via EasyChair:
https://easychair.org/conferences/?conf=hol15
ABOUT
HOL4 is the latest incarnation of the original theorem prover for
Higher-Order Logic, and is still a popular choice for programming
tactics and proof automation, and developing formal theories.
Continuing the workshop series started last year, we invite everyone
interested in the use and development of HOL4 to participate in this
year's workshop dedicated to improving both the tool itself and the
breadth of knowledge spread across its community of users.
------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
