SECOND 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/
The deadline for expressions of interest to present an idea at the workshop
is
next month! I encourage and welcome anyone who has any interest in HOL4 to
submit something. The original call for abstract follows.
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.
------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
