CALL FOR ABSTRACTS
2014 International Workshop on HOL4
The HOL Theorem Proving System
(HOL'14)
hosted by ITP at FLoC
July 13, 2014, Vienna, Austria
http://vsl2014.at/pages/HOL-index.html
IMPORTANT DATES
Abstract Submission 5th May 2014 (EXTENDED)
Author Notification 15th May 2014
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. This year we invite everyone interested in the use and
development of HOL4 to participate in the reignition of a series
of workshops dedicated to improving both the tool itself and the
breadth of knowledge spread across its community of users.
The theme of the workshop is "hidden features": many useful
tools and methods for interacting with HOL4 and using it for
formal development work, some of which have been developed
relatively recently, are used regularly by some while remaining
unknown to others. Anyone who has used the system likely falls
into both categories for different features. We thus encourage
everyone to present the aspects of their idiomatic usage of HOL4
that they find particularly useful and think could be better
known.
A parallel theme is "feature requests": newcomers and seasoned
theorem prover drivers alike often wish that some aspect of
their tools worked more smoothly or quickly, included more
automation, were more user-friendly, or even existed at all. We
therefore also solicit requests, plans, and design
considerations for improvements to HOL4 to be discussed and
possibly implemented at the workshop.
To register your interest in presenting hidden features and/or
feature requests at the workshop, 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 on the day, but
we highly encourage early submissions to give priority to
better-prepared work.
Submissions is via EasyChair:
https://www.easychair.org/conferences/?conf=hol14
------------------------------------------------------------------------------
Start Your Social Network Today - Download eXo Platform
Build your Enterprise Intranet with eXo Platform Software
Java Based Open Source Intranet - Social, Extensible, Cloud Ready
Get Started Now And Turn Your Intranet Into A Collaboration Platform
http://p.sf.net/sfu/ExoPlatform
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
