CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'02) STUDENT PRECONFERENCE AUGUST 12-14, 2002 University of Ottawa Ottawa, Ontario, Canada Call for Student Participation In conjunction with the conference Category Theory and Computer Science (CTCS02), the University of Ottawa is offering a "preconference" from August 12-14. (Please see our website http://www.mathstat.uottawa.ca/lfc/ctcs2002/ for details of the conference.) The goal is to prepare graduate and advanced undergraduate students to attend CTCS02, through mini-courses in the basic areas underlying the fields of the conference. We anticipate offering minicourses in the following areas: Introduction to Category Theory Introduction to Categorical Logic Communication and Concurrency Game Semantics Linear Logic There will possibly be other minicourses offered as well, depending on the interests of the participants. We have also received funds from Centre de Recherches Mathematiques (CRM, Montreal) to reimburse some travel expenses and dormitory accomodations. To apply for this money, we ask that you contact us and include the following information: 1) A one-page email letter stating your background as well as why you are interested in attending. 2) The letter should also state whether you have access to any other funding to attend. 3) An email letter of reference from your supervisor or an appropriate other person. Preference will be given to students working in the areas covered by CTCS. All applications must be received by March 5. We will contact people shortly thereafter. Please send material to ctcs02@mathstat.uottawa.ca, or to one of us. Sincerely, Rick Blute (rblute@mathstat.uottawa.ca) Phil Scott (phil@site.uottawa.ca) Department of Mathematics and Statistics University of Ottawa 19-Feb-2002 11:36:24 -0400,5615;000000000000-00000000