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 |