UIC Logic Seminar