Please note that this newsitem has been archived, and may contain outdated information or links.
13 July 2014, Isabelle Workshop and Tutorial, Vienna, Austria
Researchers attending the Vienna Summer of Logic who are interested in interactive theorem proving, are invited to 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 Goedel's two incompleteness theorems.
For details see http://vsl2014.at/isabelle. For the workshop program click on PROGRAM.
Please note that this newsitem has been archived, and may contain outdated information or links.