News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

13 July 2014, Isabelle Workshop and Tutorial, Vienna, Austria

Date: Sunday 13 July 2014
Location: 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.