From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <geoff@cs.miami.edu>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id BB4107F8DE
	for <caml-list@sympa.inria.fr>; Mon, 19 May 2014 15:33:00 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="geoff@cs.miami.edu";
  x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  geoff@cs.miami.edu designates 192.31.89.6 as permitted
  sender) identity=mailfrom; client-ip=192.31.89.6;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="geoff@cs.miami.edu";
  x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mcclellan.cs.miami.edu) identity=helo;
  client-ip=192.31.89.6;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="geoff@cs.miami.edu";
  x-sender="postmaster@mcclellan.cs.miami.edu";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkEDALAGelPAH1kGl2dsb2JhbABZg1dRrEUBkAqIZw4BAQEBAQgWBzyCSSF3MAQdiQUIngyuB4Vvjm2CHg9EJIEVBJlZgT6LdIk8IQ
X-IPAS-Result: AkEDALAGelPAH1kGl2dsb2JhbABZg1dRrEUBkAqIZw4BAQEBAQgWBzyCSSF3MAQdiQUIngyuB4Vvjm2CHg9EJIEVBJlZgT6LdIk8IQ
X-IronPort-AV: E=Sophos;i="4.98,867,1392159600"; 
   d="scan'208";a="62606156"
Received: from mcclellan.cs.miami.edu ([192.31.89.6])
  by mail3-smtp-sop.national.inria.fr with SMTP; 19 May 2014 15:32:59 +0200
Received: by mcclellan.cs.miami.edu (Postfix, from userid 501)
	id EF40212150A; Mon, 19 May 2014 09:32:58 -0400 (EDT)
To: caml-list@inria.fr
Message-Id: <20140519133258.EF40212150A@mcclellan.cs.miami.edu>
Date: Mon, 19 May 2014 09:32:58 -0400 (EDT)
From: geoff@cs.miami.edu (Geoff Sutcliffe)
X-Validation-by: geoff@cs.miami.edu
Subject: [Caml-list] ISABELLE WORKSHOP and TUTORIAL


                     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!