The Logic and Foundations of Computing Group is an
interdisciplinary research group composed of faculty and graduate
students in Mathematics and Computer Science at the University of
Ottawa and Carleton University.
Our research interests focus on the mathematical foundations of computer science, including such topics as verification, higherorder and linear logics and proof theory, complexity theory, analysis and design of programming languages, categorical logic, and theorem proving. To find out about the interests of individual faculty members, you can follow the links to their home pages. We welcome applications from prospective graduate students and/or postdoctoral researchers. Please contact the individual faculty members for more information. The group and its members are involved in organizing the following conferences (which were held here in Ottawa)
Recent conferences:
The group meets weekly in the OttawaCarleton Logic Seminar.
Graduate Courses. The following courses might be of interest to LFC students:

Faculty:
Adjunct Faculty:
Postdoctoral Researchers
Ph.D. Students:
M.Sc. Students:
Undergraduates: 