# Foundations of the Formal Sciences

## Interdisciplinary Research Colloquium

### May, 7-9, 1999

The colloquium **Foundations of the Formal Sciences** in Berlin is an attempt to
bring researchers in the respective foundational areas of Philosophy, Mathematical
Logic
and Computer Science together in order to initiate interdisciplinary communication.

The Formal Sciences are academic fields with a huge potential of
interdisciplinary projects, yet joint work between the different subjects
is currently in decline because of the rising
level of specialization and complexity.

The talks of the colloquium are supposed to be general expositions of elementary
and important methods and questions of central research areas. They will be addressed
to the mixed audience with the goal of stimulating work on the borderline between
the respective subject areas.

The participants of the colloquium are Computer Scientists,
Mathematicians, Historians of Mathematics and Philosophers working in
the foundational part of their respective sciences, encompassing
Complexity Theory, Algorithms, Set Theory, Proof Theory, Semantics and Syntax,
Formal Languages and other areas.

The colloquium is funded by the Studienstiftung des
deutschen Volkes.

Organizers:

Benedikt Löwe

Florian Rudolph

Participants

Proceedings

Pictures

Last changed: November 15th, 2000