Don't forgot to submit an abstract for the HOL workshop this year :)
The submission deadline is under one month away.
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 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. 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.
------------------------------------------------------------------------------
Mobile security can be enabling, not merely restricting. Employees who
bring their own devices (BYOD) to work are irked by the imposition of MDM
restrictions. Mobile Device Manager Plus allows you to control only the
apps on BYO-devices by containerizing them, leaving personal data untouched!
https://ad.doubleclick.net/ddm/clk/304595813;131938128;j
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
