Foundations of the Formal Sciences

Participants

Claus Beisbart (München): Moral dilemmas and problems of deontic logic
Christoph Benzmüller (Saarbrücken): On Automated Higher-Order Theorem Proving and Henkin Completeness
Michael Bruening (Berlin)
Wolfgang Burr (Münster): Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory
Antje Christensen (Gentofte DK): The Incan Quipus
Gunter Fuchs (Berlin)
Stefan Geschke (Berlin): Applications of Elementary Submodels in General Topology
Jan Jürjens (Edinburgh): Games in Computation and Logic
Reinhard Kahle (Tübingen): An overview of mathematical proof theory
Peter Koepke (Bonn): Inner Models
Eberhard Knobloch (Berlin): Leibniz' exakte Grundlegung der Infinitesimalmathematik
Heiko Mantel (Saarbrücken): Refinement in Formal Systems Engineering
Ralph Matthes (München): Tarski's fixed-point theorem and higher-order term rewrite systems
Stephan Merz (München): Logic-based techniques for the description and analysis of reactive systems
Hans Jürgen Prömel (Berlin): Large numbers, Knuth's arrow notation, and Ramsey theory
Thoralf Räsch (Berlin)
Michael Stolz (Tübingen): Interdisciplinary Perspectives in the History of Postwar Applied Mathematics
Diemo Urbig (Berlin)
Andreas Weiermann (Münster): Slow versus fast growing

Last changed: April 27th, 1999