PCC 06 - Preliminary Program


The time for each talk is 45 min, including (at least) 5 min for discussion.

A preliminary schedule can be found below.

Speaker Title
Mathias Barra On some small subrecursive hierarchies
Ulrich Berger Strong normalisation via domain-theoretic computability predicates
Guillaume Bonfante Life after "life without cons"
Michael Brinkmeier Terms and operads
Folke Eisterlehner An alternative correctness proof of a certification method for FPTIME
Marco Gaboardi Lambda-Calculus and Soft Linear Logic
Lew Gordeev Strong WQO phase transitions
Lars Kristiansen T --Hierarchies and the Trade-off Theorem
Oliver Kullmann Sign-sensitive Graph Representations of CNFs: Conflict graphs and resolution graphs
Jean-Yves Marion Interpretation methods for proving complexity upper bounds
Jean-Yves Moyen Resources Control Graphs
Gerard Renardel de Lavalette Interpolation in Horn logic
Henning Wunderlich Implicit characterizations of FPTIME and NC revisited
Ernst Zimmermann Substructural Logics in Natural Deduction


Preliminary Schedule

Monday, 24th Tuesday, 25th
9:15 Registration & Opening
9:30 J.-Y. Marion
Interpretation methods for proving complexity upper bounds
U. Berger
Strong normalisation via domain-theoretic computability predicates
Coffee Break
10:45 Guillaume Bonfante
Life after "life without cons"
Lew Gordeev
Strong WQO phase transitions
Jean-Yves Moyen
Resources Control Graphs
Gerard Renardel de Lavalette
Interpolation in Horn logic
Lunch Break
13:45 Ernst Zimmermann
Substructural Logics in Natural Deduction
Henning Wunderlich
Implicit characterizations of FPTIME and NC revisited
Marco Gaboardi
Lambda-Calculus and Soft Linear Logic
Folke Eisterlehner
An alternative correctness proof of a certification method for FPTIME
Coffee Break
15:45 Oliver Kullmann
Sign-sensitive Graph Representations of CNFs: Conflict graphs and resolution graphs
Mathias Barra
On some small subrecursive hierarchies
Michael Brinkmeier
Terms and operads
Lars Kristiansen
T --Hierarchies and the Trade-off Theorem
17:15 Closing