Logic Seminars

Logic Seminars are sponsored on a weekly basis while classes are in session. Topics of seminars range widely, from mathematical logic, through logic's history, the foundations and philosophy of mathematics and mathematical linguistics, to information and computer science and to applications of logic in such fields as psychology and cognitive science. Seminar speakers include distinguished researchers in logic and related areas from the US and elsewhere. With the approval of the Seminar Organizer, students may register to attend the Logic Seminar for credit.

The Logic Program also offers a weekly  seminar on the foundations of computation, see   Foundations of Computing at Indiana University

Logic, Language, and Computation in Cognitive Science

The Cognitive Science Program offers a special certificate program in applied logic. Students successfully completing the program obtain a certification indicating mastery of this area of study.

Hardware Methods Laboratory

This computer science laboratory is involved in several research projects concerned with formal correctness issues, and, specifically, the application of theorem provers and related formal systems to digital design.