[FOM] Call for participation: Isabelle Workshop and Tutorial, part of the Vienna Summer of Logic
uuomul at yahoo.com
Fri May 16 08:39:13 EDT 2014
CALL FOR PARTICIPATION
ISABELLE WORKSHOP and TUTORIAL
July 13, 2014, Vienna, Austria
Attending the Vienna Summer of Logic http://vsl2014.at/?
Interested in formalization of mathematics or formal verification?
Then you should consider
attending either of these two parallel events:
- A half-day hands-on tutorial on the Isabelle proof assistant
- 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!
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM