Organized by the Kurt Gödel Society
This workshop brings together eminent researchers in the area of Logic and Computation.
Participation at the workshop is free
| Monday, 2 July | |
| 10:00-11:00 | S.I. Adian On Novikov-Adian's method in combinatorial group theory Extended abstract |
| 11:00-11:30 | Coffee Break |
| 11:30-12:00 | R. Zach The Decision Problem in the 1920s |
| 12:10-12:40 | C. Fermüller Dialogue games as foundations of fuzzy logics |
| 12:40-14:30 | Lunch Break |
| 14:30-15:30 | A. Leitsch CERES: An analysis of Fürstenberg's proof of the infinity of primes |
| 15:40-16:10 | C. Richter Mathematical experiments with CERES |
| 16:10-16:40 | Coffee Break |
| 16:40-17:10 | N. Preining Completeness of a Hypersequent Calculus for some first-order Gödel Logics with delta |
| 17:20-17:50 | G. Moser Proving Termination of Scheme Programs by Rewriting |
| 19:45- | Conference Dinner Eischers Kronenstüberl Neustift am Walde 87 |
| Tuesday, 3 July | |
| 10:00-11:00 | M. Parigot A logic of constructivity |
| 11:00-11:30 | Coffee Break |
| 11:30-12:00 | L. Beklemishev Provability algebras and Kripke models |
| 12:10-12:40 | R. Iemhoff Skolemization in constructive theories |
| 12:40-14:20 | Lunch break |
| 14:20-15:20 | V. Plisko Basic Logic and primitive recursive realizability |
| 15:30-16:00 | S. Terwijn On the structure of the Medevedev lattice |
| 16:00-16:30 | Coffee Break |
| 16:30-17:00 | G. Salzer A syntactic view on Constraint Satisfaction Problems |
| 17:10-17:40 | M. Baaz Approximations of Hilbert calculi |
| 17:50-18:20 | A. Ciabattoni Density elimination |
| © 2007 Kurt Gödel Society, Norbert Preining. | 2007-06-25
|