Change affiliation Mathias

spec/spec.tex

@@ -200,7 +200,7 @@ break
 \date{}
 \publishers{
 	\textsuperscript{1} Universidade Federal de Minas Gerais\\
-	\textsuperscript{2} Johannes Kepler University Linz\\
+	\textsuperscript{2} Albert-Ludwig-Universität Freiburg, Germany\\
 	\textsuperscript{3} Université de Liège\\
 	\textsuperscript{4} University of Lorraine, CNRS, Inria, and LORIA, Nancy\\
 }