A. Leitsch: "CERES for First-Order Schemata"; Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16.