Lutz and Goedel

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