Subject: ESSLLI 2006
Newsgroups: gmane.science.mathematics.frogs
Date: 2005-12-07 21:14:39 GMT (2 years, 22 weeks, 1 day, 18 hours and 46 minutes ago)
Hello, Lutz and I will teach two courses at the next ESSLLI in Malaga. Please note that on PT there's a call for papers for the student session: <http://article.gmane.org/gmane.science.mathematics.prooftheory/250>. The deadline is February 1. Lutz will teach `Proof Nets and the Identity of Proofs'. I will teach `Proof Theory and Deep Inference'. This is a `foundational' course, and they asked me to cover some basic material on proof theory. I will do it with an emphasis on the themes that lead to deep inference, especially the semantic and complexity motivations. One thing I hope to do, is to manage to explain how inference rules can be generated out of collapsible graphs (i.e., relation webs), but this is probably a bit too ambitious. I'll try hard. I hope to see many good PhD students, please advertise this thing! Cheers, -Alessio