| 11.30-12.30 |
Matthias Baaz (Invited) Reductive Algebraization |
| Lunch | |
| 14.00-15.00 |
Kazushige TERUI (Invited) |
| 15.00-15.30 |
Rostislav Horcik Density Elimination and the Corresponding Algebraic Construction |
| Break | |
| 16.00-17.00 |
Alessio Guglielmi (Invited) Geometric Ideas in the Design of Efficient and Natural Proof Systems |
| 17.00-17.30 |
Michel Parigot Atomic lambda-calculus: a typed lambda-calculus with explicit sharing extracted from deep inference |
| Break | |
| 17.45-18.15 |
Norbert Preining Separating intermediate predicate logics of some linear orders |
| 18.15-18.45 |
Bartosz Wieckowski Graded Natural Deduction Rules |