Program |
||
|
||
10.15 - 10.30 |
Opening | |
10.30 - 11.25 |
Grigori Mints (Stanford, USA): | |
| "Cut elimination for provability logic." [abstract] | ||
11.30 - 12.25 |
Lev Beklemishev (Utrecht, The Netherlands / Moscow, Russia): | |
| "On Schmerl's reduction formula and its relation to cut-elimination." [abstract] | ||
12.30 - 14.30 |
Lunch Break | |
14.30 - 15.25 |
Arnold Beckmann (Swansea, Wales): | |
| "Cut-reduction by switching." [abstract] | ||
15.30 - 16.00 |
Coffee | |
|
||
10.30 - 11.25 |
Pavel Pudlák (Prague, Czech Republic): | |
| "On the structure of terms in Herbrand's disjunctions." [abstract] | ||
11.30 - 12.25 |
Georg Moser (Innsbruck, Austria): | |
| "Ackermann's Substitution Method (remixed)." [abstract] | ||
12.30 - 14:30 |
Lunch Break | |
14.30 - 15.25 |
Agata Ciabattoni (Vienna, Austria): | |
| "Towards a semantic characterization of cut-elimination." [abstract] | ||
15.30 - 16.00 |
Coffee Break | |
16.00 - 16.55 |
George Metcalfe (Vienna, Austria): | |
| "Density Elimination." [abstract] | ||
Evening (19:30) |
Social dinner ("Heuriger") at the: |
|
Eischers Kronenstüberl Neustift am Walde 87 1190 Wien, Neustift am Walde Phone: 01 / 440 29 38 |
||
|
||
10.30 - 11.25 |
Helmut Schwichtenberg (Munich, Germany): | |
| "Program Extraction from Normalization Proofs." [abstract] | ||
11.30 - 12.25 |
Christian Urban (Munich, Germany): | |
| "On the Cambridge Interpretation of Cut-Elimination in Classical Logic." [abstract] | ||
12.30 - 14.30 |
Lunch Break | |
14.30 - 15.25 |
Rosalie Iemhoff (Vienna, Austria): | |
| "Truth value logics and the existence predicate." [abstract] | ||
15.30 - 16.00 |
Coffee Break | |
16.00 - 16.55 |
Clemens Richter (Vienna, Austria): | |
| "Cut-Elimination: Experiments with CERES." [abstract] | ||
17.00 - Open End |
Final Discussion | |
