Dear colleagues, we're seeking applications for graduate students at the University of Ottawa (see ad below). If you know any bright students who might be interested, please encourage them to apply! Thanks, -- Peter * Graduate Student Positions in Logic, Category Theory, and Foundations of Computation, University of Ottawa, Canada The Logic Group in the Department of Mathematics and Statistics at the University of Ottawa is seeking applications from prospective graduate students for the M.Sc. and Ph.D. program, beginning in September 2004. Graduate students will be part of the activities of the Logic and Foundations of Computation Group. This group includes faculty and students from several different Ottawa-area universities. In the Math Department, the Logic Group currently includes 4 faculty members (R. Blute, A. Felty, P. Scott, P. Selinger), 3 postdocs (V. Capretta, P. Hofstra, M. Weber), and 9 graduate students. For more information about our team, see http://www.mathstat.uottawa.ca/lfc/ Members of our logic group work in the following areas: category theory, type theory, linear logic, quantum programming languages, semantics of computation, lambda calculus, proof theory, proof carrying code, theorem proving, monoidal categories in physics and computing, probabilistic concurrent systems, realizability toposes and constructive mathematics, higher-dimensional categories. Ph.D. students receive funding which covers academic fees and living expenses. The funding available for M.Sc. students varies. For further information about our graduate program and how to apply, please see http://www.mathstat.uottawa.ca/grad/. The deadline for applications for international students is January 15. Philip Scott (phil@site.uottawa.ca) Richard Blute (rblute@mathstat.uottawa.ca) Amy Felty (afelty@site.uottawa.ca) Peter Selinger (selinger@mathstat.uottawa.ca)