From 20fa259f1fd520ea21eed631082237b1287e47cd Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 26 Apr 2018 07:06:14 +0200
Subject: [PATCH] affiliation

---
 projects/oaf.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/projects/oaf.md b/projects/oaf.md
index 684f990..c6c44be 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
-- 
GitLab