Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.