Workshop slides available and cum laude for Russell O'Connor

[Bas Spitters]

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

--------------------------------------------------------
Bug reports: http://logical.saclay.inria.fr/coq-bugs
Archives: http://pauillac.inria.fr/pipermail/coq-club
          http://pauillac.inria.fr/bin/wilma/coq-club
Info: http://pauillac.inria.fr/mailman/listinfo/coq-club