Atlas home || Conferences | Abstracts | about Atlas
Host: Rheinische Friedrich-Wilhelms-Universität Bonn
Homepage: http://www.math.uni-bonn.de/people/fotfs/
Email: fotfs@math.uni-bonn.de
Deadline for abstracts: October 01, 2000
Description:
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics,
philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links
between these areas of research that have been lost in the past decades.
The conference will be organized into six sections:
(A) Modal Logic (B) Philosophy of Science (C) Theory of Truth & Definability (D) Philosophy of Mathematics (E) Set Theory & Model Theory in Linguistics (F) Recursion Theory & Proof Theory in Linguistics
Date received: September 20, 2000
© 2008 Atlas Conferences Inc.