Logic List Mailing Archive

Fields Institute Summer School "Logic and Foundations of Computation", Ottawa (June 2003)

Fields Institute Summer School
Logic and Foundations of Computation
University of Ottawa, June 2-20, 2003

http://www.mathstat.uottawa.ca/lfc/fields2003/

June will be theoretical computer science month at U. Ottawa! The Fields
Institute will sponsor a summer school in Logic and Foundations of
Computation at the University of Ottawa this summer, June 2-20, 2003. This
program will be hosted by the logic group in the Department of Mathematics
and Statistics at the University of Ottawa (consisting of Philip Scott,
Richard Blute, and Peter Selinger).

The program will consist of 2 weeks of courses, then a week of workshops
in several areas of theoretical computer science. The courses are
particularly aimed at graduate students in mathematics, logic, theoretical
computer science, mathematical linguistics and related areas. The program
culminates in the 18th annual IEEE Symposium on Logic in Computer Science
(LICS2003) meeting at U. Ottawa June 21-27.