FOMUS - Foundations of Mathematics: Univalent foundations and set theory Bielefeld, Germany | July 18-23, 2016 - Home fomus.weebly.com
"FOMUS - Foundations of Mathematics: Univalent Foundations and Set Theory" is the title of a conference held at the Center for Interdisciplinary Research in Bielefeld.