Foundational Studies Bristol

FSB is a research collaboration between Philosophy, Mathematics and Computer Science in the areas of logic and the foundations of mathematics.

See members of the FSB research group.

We are also part of the Centre for Science and Philosophy. 

We run a programme of research events including regular seminars and reading groups, as well as conferences and workshops within the group's research theme. We also regularly host visiting researchers. 

 

For a sample of our recent publications see our research page. We also regularly host research projects.

Some of our specific research interests are formal theories of truth, set theory and homotopy type theory. 

If you're interested in visiting or joining FSB, there's some information on our join FSB page.