AISE Blockseminar: Automated Theorem Proving and the TPTP
AISE Ethics and Epistemology of AI
AISE Oberseminar