Email Record: ISILC - Proof Theory Symposion :