Organizers: Sara Negri and Jan von Plato, Department of Philosophy, University of Helsinki
11.15-12.00 Peter Schuster: Proofs by induction.
12.00-14.15 Lunch break
14.15-15.00 Dag Prawitz: Normalization of natural deductions in 1st order arithmetic using the Gentzen measure.
15.00-15.30 Annika Siders: From Gentzen's heightlines to direct cut elimination.
15.30-16.00 Coffee break
16.00-16.45 Hajime Ishihara: Some conservative extension results of classical logic over intuitionistic logic.
16.45-17.15 Sara Negri: Design of proof systems: The pros and cons of harmony.
17.15-17.45 Jan von Plato: Interpretation of cuts in natural deduction.