University of Maryland Logic Seminar