CALL FOR PARTICIPATION
ISABELLE WORKSHOP and TUTORIAL
http://vsl2014.at/isabelle
July 13, 2014, Vienna, Austria
Attending the Vienna Summer of Logic http://vsl2014.at/?
Interested in interactive theorem proving?
Then you should consider attending either of these two parallel events:
- A half-day hands-on tutorial on Isabelle for novices.
Amongst other things you get to try the famous Sledgehammer.
- A full-day Isabelle workshop,
including a talk by Larry Paulson on his verification
of Gödel's two incompleteness theorems.
For details see http://vsl2014.at/isabelle.
For the workshop program click on PROGRAM.
Looking forward to seeing you there!
------------------------------------------------------------------------------
"Accelerate Dev Cycles with Automated Cross-Browser Testing - For FREE
Instantly run your Selenium tests across 300+ browser/OS combos.
Get unparalleled scalability from the best Selenium testing platform available
Simple to use. Nothing to install. Get started now for free."
http://p.sf.net/sfu/SauceLabs
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
