From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2241 Path: news.gmane.org!not-for-mail From: Peter Selinger Newsgroups: gmane.science.mathematics.categories Subject: Ottawa Summer School + Workshops: Call for Participation Date: Mon, 14 Apr 2003 23:24:09 -0400 (EDT) Message-ID: <200304150324.h3F3O9R32103@quasar.mathstat.uottawa.ca> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018520 3204 80.91.229.2 (29 Apr 2009 15:22:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:00 +0000 (UTC) To: categories@mta.ca (Categories List) Original-X-From: rrosebru@mta.ca Tue Apr 15 16:47:13 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 15 Apr 2003 16:47:13 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 195WJs-0001TH-00 for categories-list@mta.ca; Tue, 15 Apr 2003 16:42:16 -0300 X-Mailer: ELM [version 2.5 PL3] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 9 Original-Lines: 76 Xref: news.gmane.org gmane.science.mathematics.categories:2241 Archived-At: Fields Institute Summer School and Workshops Logic and Foundations of Computation University of Ottawa, Canada June 2-20, 2003 http://www.mathstat.uottawa.ca/lfc/fields2003/ CALL FOR PARTICIPATION Dormitory registration deadline: April 25 Dear Colleagues: June will be theoretical computer science month at U. Ottawa! The Fields Institute is sponsoring a summer school in Logic and Foundations of Computation, which will take place in the 3 weeks preceding the LICS conference at the University of Ottawa. This program will be hosted by the logic group in the Department of Mathematics and Statistics (Philip Scott, Richard Blute, and Peter Selinger), together with many distinguished visitors. The program consists of 2 weeks of courses, then a week of research workshops in several areas of theoretical computer science. Courses (Morning and Afternoons) Include: ========================================= Week 1: (i) Categorical Logic and (ii) Linear Logic (Taught by the Logic Group, with Guests: Thomas Ehrhard (Marseille), Robert Seely (McGill), Robin Cockett (Calgary), et al) Week 2: (i) Game Semantics and (ii) Concurrency Theory. The courses are given by Samson Abramsky and Guy McCusker for (i), and Glynn Winskel for (ii). Workshops: ========== June 15-16: Quantum Programming Languages (Org: P. Selinger) http://www.mathstat.uottawa.ca/lfc/fields2003/quantum.html June 17: Game Semantics (Org: S. Abramsky) http://www.mathstat.uottawa.ca/lfc/fields2003/games.html June 18-19: Mathematical Linguistics (Org: J. Lambek) http://www.mathstat.uottawa.ca/lfc/fields2003/linguistics.html June 19-20: Mobility Workshop (Org: G. Winskel) http://www.mathstat.uottawa.ca/lfc/fields2003/mobility.html The program culminates in the 18th annual IEEE Logic in Computer Science (LICS2003) meeting and LICS workshops, held from June 21-27 at U. Ottawa. For the latter, see http://www.dcs.ed.ac.uk/home/als/lics/. To register, please follow the links on our website to the Fields Institute, http://www.mathstat.uottawa.ca/lfc/fields2003/. PLEASE NOTE: Special Dorm Accommodations (2 bedroom apartment suites) must be prebooked by April 25, or they are lost and it's then on a first-come, first-served basis. For further information, please send mail to: fields@mathstat.uottawa.ca Sincerely, Philip Scott Richard Blute Peter Selinger Dept. of Mathematics & Statistics U. Ottawa