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)
Proceedings Volume:
Volume 16
in the series Studies in
Logic edited by
Benedikt Löwe, Eric Pacuit, and Jan-Willem Romeijn
- Foundations of the Formal Sciences VII:
Bringing
Together
Philosophy and Sociology of Science (Brussels,
October 2008)
Proceedings Volume:
Volume 32
in the series Studies in
Logic edited by
Karen François, Benedikt Löwe, Thomas Müller, and Bart Van Kerkhove
- Foundations of the Formal Sciences VIII: History and Philosophy of Infinity (Cambridge, September 2013)
If you have any questions, feel free to contact the organizers via
fotfs@math.uni-bonn.de.
Last changed : 19 November 2012