FOUNDATIONS OF THE FORMAL SCIENCES

"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.

• Foundations of the Formal Sciences I (Berlin, May 1999)
  Proceedings Volume: Special double issue of Synthese (Volume 133, Number 1-2, October/November 2002) edited by Benedikt Löwe and Florian Rudolph
• Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics (Bonn, November 2000)
  Proceedings Volume: Volume 17 in the series TRENDS IN LOGIC edited by Benedikt Löwe, Wolfgang Malzkorn, and Thoralf Räsch
• Foundations of the Formal Sciences III: Complexity in Mathematics and Computer Science (Wien, September 2001)
  Proceedings Volume: Volume 23 in the series TRENDS IN LOGIC edited by Benedikt Löwe, Boris Piwinger, and Thoralf Räsch
• Foundations of the Formal Sciences IV: The History of the Concept of the Formal Sciences (Bonn, February 2003)
  Proceedings Volume: Volume 3 in the series Studies in Logic edited by Benedikt Löwe, Volker Peckhaus, and Thoralf Räsch
• Foundations of the Formal Sciences V: Infinite Games (Bonn, November 2004)
  Proceedings Volume: Volume 11 in the series Studies in Logic edited by Stefan Bold, Benedikt Löwe, Thoralf Räsch and Johan van Benthem
• Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning (Amsterdam, May 2007)
• Foundations of the Formal Sciences VII: Bringing Together Philosophy and Sociology of Science (Brussels, October 2008)

If you have any questions, feel free to contact the organizers via fotfs@math.uni-bonn.de.