Lutz and Goedel

Alessio Guglielmi <[email protected]> Wed, 29 Mar 2006 14:03:54 +0100

Newsgroups	gmane.science.mathematics.frogs
Message-ID	<[email protected]>

Hi,

Lutz is one of ten invitees (out of 63 applications) at the Young 
Scholars' Competition of Goedel Centenary 2006 in Vienna (27-29 
April, 2006).

<http://www.logic.at/goedel2006/index.php?students>

He participated with a project on `The Identity of Proofs', based on 
deep inference. There are only two invitees for proof theory.

Ciao,

-Alessio