Logic and Foundations
FacultyThe permanent faculty who specialize in Logic and Foundations are Peter G. Hinman and Andreas R. Blass. Individual information about each is available by following the links to their home pages.
CoursesThe Department offers two undergraduate and five graduate courses in logic. Follow the links for course descriptions.
Michigan Logic SeminarsThe Logic Seminar is held sporadically during the Fall and Winter terms, usually Thursday afternoons from 4:00 to 5:30. This is an informal forum which welcomes talks on any topic of logical interest. Participants include Mathematics faculty and graduate students, Computer Science faculty (several of whom were trained as logicians), and on occasion faculty from other nearby institutions such as Eastern Michigan University, Bowling Green State University (Ohio), and the University of Windsor (Ontario, Canada).
A related seminar of interest is organized by the theory group of the Computer Science Department. This takes place weekly on Wednesdays from 3:30 to 5:30 and is regularly attended by Mathematics faculty and graduate students interested in logic.
Logic seminars around the Midwest
Links of interest to logicians
Professional organizations related to logic