[D-CON] W2/W3-Professur "Formale Methoden der Informatik" (Universität Duisburg-Essen)