"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