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: Category Theory Octoberfest, Oct. 22-23, 2011 (University of Ottawa). 26th Mathematical Foundations of Programming Semantics (MFPS), May 6-10, 2010. 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: CSI 5110 Principles of Formal Software Development A. Felty Fall 2011 MAT5127 Homological Algebra and Category Theory P. Hofstra Fall 2010 CSI 5110 Principles of Formal Software Development A. Felty Fall 2010 MAT5161 Mathematical Logic P. Scott Winter2010 CSI 5110 Principles of Formal Software Development A. Felty Fall 2009 MAT5127 Homological Algebra and Category Theory P. Hofstra Fall 2008 CSI 5110 Principles of Formal Software Development A. Felty Fall 2008 Comp5900F Computational Logic L. Bertossi Fall 2007 CSI 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

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   Alexander Hoffnung (Math, Ottawa) Geoff Cruttwell (Math, Ottawa) Ph.D. Students:   Loreto Bravo (SCS, Carleton) Monica Caniupan (SCS, Carleton) Marc Comeau (Math, Ottawa) Emily Diepenveen (Math, Ottawa) Alan Martin (Math, Ottawa) Octavio Malherbe (Math, Ottawa) Stephen Michell (SCS, Carleton) Fanny Ramirez (Math, Ottawa) Bahman Sistany (SITE,Ottawa) Natalia Villanueva (SCS, Carleton) Trevor Wares (Math, Ottawa) M.Sc. Students:   Xiaobing Jin (SCS, Carleton) Vincent Rouleau (Math, Ottawa) Azar Salami (Math,Ottawa) Ian Sharkey (SITE, Ottawa) Jiangong Weng (SITE, Ottawa) Feng Zheng (SITE, Ottawa)) Undergraduates:

Philip Scott