Vienna University of Technology

 


The Kurt Gödel Society


Home

Program

  • MONDAY 4. July
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
  • TUESDAY 5. July
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
 
  • WEDNESDAY 6. July
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
 

 


 

Home | Aim | Location & Venue | Committee | Accommodation | Proceedings