ESSLLI 2006

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