Monday, August 26

7,30 - 8,30 - Breakfast
8,30 - 18,00 - Registration
9,00 - 10,30: Opening Ceremony and Session 1
    Opening
    Solomon Feferman (invited talk):
        Goedel's Program For New Axioms: Why, Where, How and What? 
        (Opening lecture.)
    Andrzej M. Zarach:
        Replacement -/-> Collection
10,30 - 11,00 - Coffee break
11,00 - 12,30 - Session 2
    Gaisi Takeuti and Masahiro Yasumoto (invited talk):
        Forcing on Bounded Arithmetic
    Jan Johannsen:
        A Bounded Arithmetic Theory for Constant Depth Threshold Circuits
    Paul Taylor:
        Towards a Unified Treatment of Induction I: The General Recursion 
        Theorem
12,30 - 14,00 - Lunch
14,00 - 15,30 - Session 3
    Matthias Baaz (invited talk):
        First-Order Goedel Logics
    Ladislav J. Kohout and Wyllis Bandler:
        Universality of BK-relational Products Based on Goedel-Heyting 
        Implication
15,30 - 16,00 - Tea break
16,00 - 18,00 - Session 4
    Menachem Magidor (invited talk):
        (title to be announced)
    Satoko Titani:
        A Lattice-Valued Set Theory
    Anton Setzer:
        A Model for a Type Theory with Mahlo Universe

Tuesday, August 27

7,30 - 8,30 - Breakfast
8,30 - 14,00 - Registration
9,00 - 10,30 - Session 5
    Albert Visser (invited talk):
        Layered Bisimulation and Uniform Interpolation
    Dorella Belle and Franco Parlamento:
        Decidability of the  EA-class in the Membership Theory NWL*
    Robert F. Staerk:
        The Finite Stages of Inductive Definitions
10,30 - 11,00 - Coffee break
11,00 - 12,30 - Session 6
    Pavel Pudlak (invited talk):
        A Bottom-Up Approach to Foundations of Mathematics
    Marcin Benke:
        A Logical Approach to Complexity Bounds for Subtype Inequalities
    Tadashi Araragi:
        A Uniform Theorem Proving Tableau Method for Modal Logic
12,30 - 14,00 - Lunch
14,00 - Excursion to Kurdejov (concert), Milotice (chateau) and
        Cejkovice (wine Cellar-including dinner)


Wednesday, August 28

7,30 - 8,30 - Breakfast
8,30 - 18,00 - Registration
9,00 - 10,30 - Session 7
    Charles Parsons (invited talk):
        Hao Wang as Philosopher and Interpreter of Goedel
    Xing Taotao:
        Some Remarks on Hao Wang's Philosophy of Mathematics
    Gerhard Lischke:
        Towards the Actual Relationship Between NP and Exponential Time      
10,30 - 11,00 - Coffee break
11,00 - 12,30 - Session 8
    George Ellis (invited talk):
        Contributions of K. Goedel to Relativity and Cosmology
    Giora Hon:
        Completeness Has To Be Restricted: Goedel's Interpretation of the 
        Parameter t
    Michael Stoeltzner:
        Goedel and the Theory of Everything
12,30 - 14,00 - Lunch
14,00 - 15,30 - Session 9
    Wilfried Sieg and John Byrnes (invited talk):
        K-Graph Machines: Generalizing Turing's Machines and Arguments
    C. Anthony Anderson and Michael Gettings:
        Goedel's Ontological Proof Revisited
    Piergiorgio Odifreddi:
        Goedel's Mathematics of Philosophy
15,30 - 16,00 - Tea break
16,00 - 17,30 - Session 10
    Daniel Isaacson (invited talk):
        Conceptual Realism as a Basis for Understanding the Reality of 
        Mathematics
    Jari Palomaki:
        From Concept Theory to Set Theory

19,30 - Final dinner (Wine Cellar of Queen Elisabeth)


Thursday, August 29

7,30 - 8,30 - Breakfast
8,30 - 13,00 - Registration
9,00 - 10,30 - Session 11
    Boris A. Kushner (invited talk):
        Kurt Goedel and the Constructive Mathematics of A. A. Markov
    Alexander D. Yashin:
        A New Intuitionistic Logical Constant and Novikov Completeness
    Benjamin Blankertz and Andreas Weiermann:
        How to Characterize Provably Total Functions by the Buchholz' 
        Operator Method
10,30 - 11,00 - Coffee break
11,00 - 12,00 - Session 12 and conclusion
    Lars Kristiansen:
        Information Content and Computational Complexity of Recursive Sets
    Robert K. Meyer:
        Kurt Goedel and the Consistency of R##
    Closing of the conference
12,30 - 14,00 - Lunch