[Prev][Next][Index][Thread]

CTCS02 Call for Students



                          
             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