Subject: Lutz and Goedel
Newsgroups: gmane.science.mathematics.frogs
Date: 2006-03-29 13:03:54 GMT (2 years, 5 weeks, 6 days, 15 hours and 19 minutes ago)
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