occurs within event Institut für Logik, Komplexität und Deduktionssysteme, Karlsruhe University, Germany