\RequirePackage[ngerman,USenglish]{babel} \newcommand{\mikoand}[1]% joint work with {{\large\sc Michael Kohlhase}\\{\normalsize\green{joint work with #1}}\\[1ex]\mikoaffiliation} \newcommand{\miko} {{\large\sc Michael Kohlhase}\\[1ex] \JacobsAffiliation} \newcommand{\mikoJacobsDFKI}{\mikoJacobsDfki} \newcommand{\mikoJacobsDfki} {{\large\sc Michael Kohlhase}\\[1ex] \JacobsDfkiAffiliation} \newcommand{\JacobsAffiliation} {{\begin{small} Computer Science\\ School of Engineering \& Science \\ Jacobs University Bremen, Germany \\ \end{small}} {\color{black}\normalsize\url{http://kwarc.info/kohlhase}}} \newcommand{\mikoboth} {\begin{creator} {\large\sc Michael Kohlhase}\\[1ex] {\small\begin{tabular}{c@{\qquad}c} School of Engineering \& Science & School of Computer Science \\ Jacobs University Bremen & Carnegie Mellon yUniversity \end{tabular}} {\color{black}\normalsize\url{http://kwarc.info/kohlhase}} \end{creator}} \newcommand{\JacobsDfkiAffiliation} {\begin{small} \begin{tabular}{c@{\qquad}c} Computer Science &\iflanguage{german}{Sichere Kognitive Systeme}{Safe and Secure Cognitive Systems} \\ %School of Engineering \& Science %& DFKI Bremen\\ Jacobs University, Bremen &\iflanguage{german}{Deutsches Forschungszentrum f\"ur KI}{German Research Center for AI}\\ \end{tabular} \end{small} {\color{black}\normalsize\url{http://kwarc.info/kohlhase}}} \newcommand{\mikocmu} {\begin{creator} {\large\sc Michael Kohlhase}\\[1ex] {\small\begin{tabular}{c} School of Computer Science \\ Carnegie Mellon University \\ \end{tabular}}\\ {\color{black}\normalsize\url{http://kwarc.info/kohlhase}} \end{center}}