This volume takes a reflective position with respect to the conference series "Foundations of the Formal Sciences" (FotFS) and asks: * What are the Formal Scien
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main
Probabilistic methods are increasingly becoming an important tool in a variety of disciplines including computer science, mathematics, artificial intelligence,