Thinking of submitting an abstract for the HOL workshop this year?
They are due tomorrow! It's easy to write one. Don't miss out :)
See the call below.
---
CALL FOR ABSTRACTS
2016 International Workshop on
the HOL Theorem Proving System
(HOL'16)
hosted by ITP-2016
August 25-27, 2016, Nancy, France
https://hol-theorem-prover.org/workshops/hol16
IMPORTANT DATES
Abstract Submission 15th June 2016
Author Notification 1st July 2016
THEME
The theme of the workshop is ProTips. We invite both expert and
novice users to share tips and tactics for building efficient,
maintainable, and scalable formal developments. We are especially
interested to hear from the authors of new or neglected features that
could aid the engineering of large proofs. We also solicit opinions
from experienced users on good proof style.
A portion of the workshop will be dedicated to large examples,
including CakeML, exhibiting uses or opportunities to use the protips
above. We will also encourage discussion of, planning of, and hacking
on improvements to HOL and its applications during the workshop.
ABSTRACT SUBMISSION
To register your interest in discussing tips and tactics,
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. See the website for submission details.
ABOUT
HOL4 is the latest version 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 in 2014, we invite everyone
interested in the use and development of HOL 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.
------------------------------------------------------------------------------
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are
consuming the most bandwidth. Provides multi-vendor support for NetFlow,
J-Flow, sFlow and other flows. Make informed decisions using capacity
planning reports. https://ad.doubleclick.net/ddm/clk/305295220;132659582;e
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
