Linea ramofied higher type recursion and parallel complexity -- Cut-elimination methods -- Coherent bicartesian and sesquicartesian categories -- Indexed induction-recursion -- Modeling meta-logical features in a calculus with frozen variables -- Post-turing analysis -- Interpolation for natural deduction with generalized eliminations -- Implicit characterizations of Pspace -- Iterate logic -- Constructive foundations for featherweight Java

1. Automatic theorem proving -- Congresses