The Coq mailing list

[Andrei Popescu <uuomul AT yahoo.com>]

I would like to add a further possible point of interest for the Coq users: the

submission/reviewing/notification process for this workshop was partly performed

using a small conference management system with verified document confidentiality

called CoCon.     

http://www4.in.tum.de/~popescua/rs3/GNE.html

Andrei

On Friday, May 23, 2014 2:42 PM, Geoff Sutcliffe <geoff AT cs.miami.edu> wrote:

                    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!