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, higher-order 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: Fields Workshop on Traces, April 28-30, 2007. Category Theory Octoberfest Oct 21-22, 2006. Category Theory Octoberfest Oct 22-23, 2005. Logic in Computer Science (LICS'03) and Workshops, June 21-27, 2003. Fields Institute Summer School on Logic and Foundations of Computation, June 2-20, 2003. Foundational Methods in Computer Science (FMCS'03), May 30-June 1, 2003. Category Theory and Computer Science (CTCS'02), August 15-17, 2002. The group meets weekly in the Ottawa-Carleton Logic Seminar. * Upcoming Graduate Courses. The following courses might be of interest to LFC students: Comp5900F Computational Logic L. Bertossi Fall 2007 CIS 5110 Principles of Formal Software Development A. Felty Fall 2007 MAT 4162/5361 Recursion Theory P. Hofstra Fall 2007 MAT 4362/5361 Topics in Logic: Proofs and Types P.J. Scott Winter 2007 CIS 5110 Principles of Formal Software Development A. Felty Fall 2006

Faculty:   Leopoldo Bertossi (SCS, Carleton) Richard Blute (Math, Ottawa) Amy Felty (SITE and Math, Ottawa) Pieter Hofstra (Math, UOttawa) Douglas Howe (SCS, Carleton) Luigi Logrippo (UQO and SITE) Paul-Eugene Parent (Math, Ottawa) Philip Scott (Math and SITE, Ottawa) Adjunct Faculty:   Peter Selinger (Math, Dalhousie) Postdoctoral Researchers   Jonathan Scott (Math, Ottawa) Ph.D. Students:   Guy Beaulieu (Math, Ottawa) Franck Binard (SITE, Ottawa) Loreto Bravo (SCS, Carleton) Monica Caniupan (SCS, Carleton) Marc Comeau (Math, Ottawa) Kim Flak (Math, Ottawa) Wadii Hajji (Math, Ottawa) Alan Martin (Math, Ottawa) Octavio Malherbe (Math, Ottawa) Stephen Michell (SCS, Carleton) Brian Redmond (Math, Ottawa) Bahman Sistany (SITE,Ottawa) Benoît Valiron (Math, Ottawa) Natalia Villanueva (SCS, Carleton) M.Sc. Students:   Riley August (SITE, Ottawa)) Kaitlyn Church (Math, Ottawa) Emily Diepenveen (Math, Ottawa) Xiaobing Jin (SCS, Carleton) Anjayan Puvananathan (Math, Ottawa) Jiangong Weng (SITE, Ottawa)) Feng Zheng (SITE, Ottawa)) Undergraduates:

Philip Scott