CALL FOR PARTICIPATION
HOL'14 at FLoC'14
July 13, 2014
Vienna Summer of Logic
A Workshop on the
HOL Theorem Proving System
Info: http://vsl2014.at/meetings/HOL-index.html
We welcome anyone with an interest in using, improving, and learning
about the HOL theorem prover to join us for an exciting day in
Vienna, the day before the ITP conference.
REGISTRATION is open, and early bird prices are still available!
Register here: http://vsl2014.at/registration/
Registered participants will be treated to lunch.
PROGRAM A preliminary program is available here:
http://www.easychair.org/smart-program/VSL2014/HOL-program.html
The program will be finalised over the next week, so if you have any
requests to move things around (e.g. to avoid clashing with another
event) send them to me soon.
Discussion topics and ideas for the hack sessions from participants
are welcome! (But don't worry we'll have plenty to get on with
regardless.)
See you in Vienna!
Ramana
------------------------------------------------------------------------------
Time is money. Stop wasting it! Get your web API in 5 minutes.
www.restlet.com/download
http://p.sf.net/sfu/restlet
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
