ISABELLE WORKSHOP and TUTORIAL

• From: Geoff Sutcliffe <geoff@cs.miami.edu>
• Date: Mon, 19 May 2014 09:44:09 -0400 (EDT)
• To: public-argumentation@w3.org
• Message-Id: <20140519134409.A9E1E1214A5@mcclellan.cs.miami.edu>

                     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 Goedel's two incompleteness theorems.

For details see http://vsl2014.at/isabelle.
For the workshop program click on PROGRAM.

Looking forward to seeing you there!

Received on Monday, 19 May 2014 13:44:37 UTC