[Prev][Next][Index][Thread]
CTCS'02 (Expanded 2nd Call for Participation)
Apologies to all for an error in sending wrong 2nd call.
Below is expanded Second Call for Participation, CTCS'02
This version includes list of accepted papers & minicourse lecturers.
=============================================================
CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'02)
AUGUST 15-17, 2002
GRADUATE STUDENT PRECONFERENCE
AUGUST 12-14, 2002
University of Ottawa
Ottawa, Ontario, Canada
Second Call for Participation (Expanded Version)
*********************************************
-------> ****NOTE: Early Registration ends June 30 ** <--------
*********************************************
-------> Included Below: List of Lecturers in Student Preconference
and List of Accepted Papers.
*****************************************************************************
CTCS'02 is the 9th Conference on Category Theory and Computer
Science. The purpose of the conference series is the advancement of
the foundations of computing using the tools of category theory. The
emphasis is upon applications of category theory, but it is recognized
that the area is highly interdisciplinary.
Typical topics of interest include, but are not limited to,
category-theoretic aspects of the following:
coalgebras and computing
concurrent and distributed systems
constructive mathematics
declarative programming and term rewriting
domain theory and topology
foundations of computer security
linear logic
modal and temporal logics
models of computation
program logics, data refinement, and specification
programming language semantics
type theory
Previous meetings have been held in Guildford (Surrey), Edinburgh
(twice), Manchester, Paris, Amsterdam, Cambridge, and S. Margherita
Ligure (Genova). This is the first time CTCS will be held in North
America.
The proceedings of the conference will be published as a special issue
of ENTCS (Electronic Notes in Theoretical Computer Science). Paper
copies of the proceedings will be available to participants at the
conference.
The conference will have 4 invited speakers:
Eric Goubault (CEA/Saclay)
Guy McCusker (Sussex)
Peter Selinger (Ottawa)
Paul Syverson (Naval Research Laboratory)
GRADUATE STUDENT PRECONFERENCE
One new feature that CTCS will have this year is a "preconference"
from August 12-14. This is supported in part by a grant from CRM, the Centre
de Recherches Mathematiques (Univ. of Montreal). The goal is to prepare
students for CTCS, through mini-courses in the basic areas underlying the
fields of the conference. We anticipate offering courses in the following
areas:
Introduction to Category Theory (S. Niefied)
Introduction to Categorical Logic (P. Scott)
Coalgebras (J. Adamek)
Communication and Concurrency (P. Selinger)
Game Semantics (R. Cockett)
Linear Logic (R. Blute)
PROGRAMME COMMITTEE
Rick Blute, Chair (Ottawa)
Robin Cockett (Calgary)
Thierry Coquand (Chalmers)
Andrea Corradini (Pisa)
Thomas Ehrhard (Luminy)
Ryu Hasegawa (Tokyo)
Martin Hofmann (Munich)
Bart Jacobs (Nijmegen)
Michael Johnson (Macquarie)
Dusko Pavlovic (Kestrel Institute)
Alex Simpson (Edinburgh)
ORGANIZING COMMITTEE
E. Moggi, Chair, (Genova)
S. Abramsky (Oxford)
P. Dybjer (Chalmers)
B. Jay (Sydney)
A. Pitts (Cambridge)
LOCAL ORGANIZING COMMITTEE
R. Blute (Ottawa) rblute@mathstat.uottawa.ca
P. Scott (Ottawa) phil@site.uottawa.ca
HOTEL INFORMATION
We have arranged several special hotel rates. Both hotels are within
walking distance of the conference. We request that you make hotel
reservations yourself. If there are any problems, please contact one of the
local organizers. (Note that all prices are in Canadian dollars.)
1) Ramada Hotel & Suites Ottawa
(Use Group Code 2451 to get special rates.)
111 Cooper Street
Ottawa, ONTARIO K2P 2E3
CANADA
Tel: 1-613-238-1331
FAX: 1-613-230-2179
email: ramada@ramada-ottawa.com
website: www.ramada.ca/ottsuit.html
This is avalable from Wednesday, August 14, 2002 to Sunday, August 18,
2002 (departure on Monday).
Rate: $109.00 single or double occupancy
Deadline: July 14th, 2002
2) Novotel Ottawa Hotel
(Use Contract # UNIV-814 to get special rates.)
33 Nicholas Street
Ottawa, ONTARIO K1N 9M7
CANADA
Phone:1-613-230-3033 or
1-800-668-6835 (Reservations worldwide-no charge dial)
website: www.bestlodging.com/sites1/17534/index.shtml
This is available from Wednesday, August 14, 2002 to
Sunday, August 18, 2002 (departure on Monday).
Rate: $129 single or double, $144 triple, $159 Quad
Deadline: June 30th, 2002
We may also have a VERY limited number of university dorm rooms available
at much cheaper rates. We will give them away on a first come, first served
basis. Contact local organizers for this.
CONFERENCE HOMEPAGE
Updated information is available at
http://www.mathstat.uottawa.ca/lfc/ctcs2002 .
Registration forms are on the web site. For dormitory forms
(for non students) please enquire by email to the organizers.
Please register as soon as possible. (NOTE: CTCS is being held at U.
Ottawa, but the conference registrar and coordinator is
Ms. Gillian S. Murray, at Carleton University, as shown on the
Registration Forms).
=======================================================================
List of Accepted Papers
1) S. Abramsky & B. Coecke. Physical traces: Quantum vs. classical
information processing
2) J. Adamek, S. Milius & J. Velebil. On rational monads and free
iterative theories
3) S. Bloom & Z. Esik. Unique, guarded fixed points in an additive setting
4) P. Boudes. Non-uniform hypercoherences
5) M. Coccia, F. Gadducci & U. Montanari. GS-Lambda theories: A syntax for
higher-order graphs
6) R. Cockett & L. Santocanale. Induction, coinduction and adjoints
7) E. Haghverdi, G. Pappas & P. Tabuada. Bisimulation relations for
dynamical and control systems
8) M. Hasegawa. The uniformity principle on traced monoidal categories
9) J. Hughes & B. Jacobs. Factorization systems and fibrations
10) J. Koslowski. A monadic approach to polycategories
11) J. Laird. A categorical semantics of higher order store
12) F. Lamarche. Multiplicative linear logics and fibrations
13) P. Levy. Adjunction models for call-by-push-value with stacks
14) M. Maietti. Joyal's arithmetic universes via type theory
15) S. Milius. On iteratable endofunctors
16) L. Shroder. Classifying categories for partial equational logic
17) P. Taylor. Local compactness and the Baire category theorem in
abstract Stone duality
18) K. Worytkiewicz. Paths and Simulations