CICM 2012 - Conference on Intelligent Computer Mathematics
July 9-13, 2012 at Jacobs University, Bremen, Germany
http://www.informatik.uni-bremen.de/cicm2012/
Call for Papers
-
Apologies for cross posting.
Gergely
*** CALL FOR WORKSHOP PROPOSALS ***
ICLP 2012
28th International Conference on Logic Programming
September 4-8, 2012
Budapest, Hungary
(Apologies if you receive this announcement multiple times)
CALL FOR PAPERS
The 3nd International Workshop on Security Testing (SECTEST 2012)
Co-located with ICST 2012
(The 5th Int. Conference on Software Testing, Verification and Validation)
Montreal, Canada, Ap
I experienced the same problem but now have the latest versions of Ocaml,
Camlp5 and HOL Light working under Ubuntu 11.10.
$ camlp5 -v
Camlp5 version 6.02.3 (ocaml 3.12.0)
The installation challenge is that the standard Ubuntu distribution of Camlp5
was not built in "strict" mode.
A "strict" ve
Hi Fellows
Visiting the HOL world after a long time. Installed HOL under Linux (RHEL 3 and
also on Mac OSX-Intel), looks like a clean installation. Most basic libraries
load and work well (including HolSatLib) except for HolSmtLib.
When I load the HolSmtLib at the HOL prompt, I get the followi