coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Workshop slides available and cum laude for Russell O'Connor

From: Bas Spitters <spitters AT cs.ru.nl>
To: constructivenews AT googlegroups.com
Cc: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Workshop slides available and cum laude for Russell O'Connor
Date: Mon, 12 Oct 2009 11:54:48 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

This is to announce the availability of the slides of the workshop:
Incompleteness and completeness
Formalizing Logic and Analysis in Type Theory
In honour of the PhD-defense of Russell O'Connor
http://www.cs.ru.nl/~spitters/completeness.html

Speakers:
Harrison
Mueller
O'Connor
Schwichtenberg

I am proud to announce that Russell graduated with the distinction "cum
laude"
which is very special in the Netherlands.

Bas

[Coq-Club] Workshop slides available and cum laude for Russell O'Connor, Bas Spitters