diff --git a/projects/oaf.md b/projects/oaf.md
index 684f990e7c08bb9f4b44ae9c53ab4e28417732e5..c6c44be701d6e98c06e8b2486cc981b18311dd8e 100644
--- a/projects/oaf.md
+++ b/projects/oaf.md
@@ -24,7 +24,7 @@ proposal: http://kwarc.info/kohlhase/projects/oaf.pdf
 ---
 
 OAF is a DFG-funded research project running from 2014-2017 and headed by Michael Kohlhase
-and Florian Rabe at Jacobs University Bremen. It aims at the integration of formal
+and Florian Rabe at FAU Erlangen-Nürnberg. It aims at the integration of formal
 mathematical libraries.
 
 Formal/symbolic systems and their libraries are non-interoperable because they are based