[FOM] Call for participation: Isabelle Workshop and Tutorial, part of the Vienna Summer of Logic

[Andrei Popescu]

     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 formalization of mathematics or formal verification?

Then you should consider
 attending either of these two parallel events:

- A half-day hands-on tutorial on the Isabelle proof assistant
  for novices.

- 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!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140516/40a154e2/attachment.html>