Lehre Aktuelle Lehre (SS 2022) Ethics and Epistemology of AI Oberseminar Blockseminar: Automated Theorem Proving and the TPTP Universelle Logik und Universelles Schließen