[TYPES/announce] ISABELLE WORKSHOP and TUTORIAL

Tobias Nipkow nipkow at in.tum.de
Fri May 16 02:01:22 EDT 2014


			   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!



More information about the Types-announce mailing list