Logic Seminar, Kurt Gödel Logic Center