* [Caml-list] ISABELLE WORKSHOP and TUTORIAL
@ 2014-05-19 13:32 Geoff Sutcliffe
0 siblings, 0 replies; only message in thread
From: Geoff Sutcliffe @ 2014-05-19 13:32 UTC (permalink / raw)
To: caml-list
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!
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-05-19 13:33 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-05-19 13:32 [Caml-list] ISABELLE WORKSHOP and TUTORIAL Geoff Sutcliffe
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).