Institut für Logik, Komplexität und Deduktionssysteme, Karlsruhe University, Germany Conference uri icon