Dear all,
I warmly invite you to participate in the upcoming HOL workshop, co-located
with CADE. It promises to be an exciting opportunity to learn about,
discuss, and work on the HOL theorem prover and the CakeML verified
programming language, and to shape future developments and integrations
with other theorem proving tools.
Everyone is welcome!
A draft program can be found on the workshop website:
https://www.cl.cam.ac.uk/~rk436/hol15/
Registration is via the CADE website:
http://conference.mi.fu-berlin.de/cade-25/reg
I look forward to seeing you there.
Ramana
------------------------------------------------------------------------------
Monitor 25 network devices or servers for free with OpManager!
OpManager is web-based network management software that monitors
network devices and physical & virtual servers, alerts via email & sms
for fault. Monitor 25 devices for free with no restriction. Download now
http://ad.doubleclick.net/ddm/clk/292181274;119417398;o
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
