[Prev][Next][Index][Thread]
CTCS `99 Call for Participation
CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'99)
10-12 SEPTEMBER 1999, EDINBURGH, SCOTLAND
http://www.dcs.ed.ac.uk/home/ctcs99
CALL FOR PARTICIPATION
EARLY REGISTRATION DEADLINE: 10th August 1999
CTCS '99 is the 8th 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. While
the emphasis is upon applications of category theory, it is recognized
that the area is highly interdisciplinary.
Previous meetings have been held in Guildford (Surrey), Edinburgh,
Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure
(Genova).
This document contains
1. Invited speakers
2. List of accepted papers
3. Programme committee
4. Registration form
A WWW-version containing all this information plus abstract of
contributed papers can be found under www.dcs.ed.ac.uk/home/ctcs99
1. Invited speakers
-------------------
Ryu Hasegawa Univ. of Tokyo (Japan)
Peter Freyd Univ. of Pennylvania (USA)
Marcelo Fiore Univ. of Sussex (UK)
Doug Smith Kestrel Institute (USA)
2. List of accepted papers (19 out of 39 submissions)
--------------------------
Concurrent Realizations of Reactive Systems.
Marek Bednarczyk, Andrzej Borzyszkowski
Functorial semantics for Petri nets under the individual token
philosophy.
Roberto Bruni, Jose Meseguer, Ugo Montanari, Vladimiro Sassone
Equational Lifting Monads.
Anna Bucalo, Alex Simpson, Carsten Fuehrmann
Structured Theories and Institutions
F Duran, J Meseguer
Coalgebra to Algebra Morphisms.
A Eppendahl
On the Semantics of Message Passing Processes.
Lindsay Errington
A Fully abstract presheaf semantics for SCCS with finite delay.
Thomas Hildebrandt
Abstract Games for Linear Logic.
Martin Hyland, Andrea Schalk
Internal Languages for Autonomous and *-Autonomous Categories.
T W Koh and C-H L Ong
Dependent Coercions.
Zhaohui Luo and Sergei Soloviev
Precategories for combining probabilistic automata.
Paulo Mateus, Amilcar Sernadas, Cristina Sernadas
Monads, shapely functors, and traversals.
E Moggi, G Belle, C B Jay
Exhausting Strategies, Joker Games and IMLL with Units.
A S Murawski and C-H L Ong
Hilbert Q-Modules and Nuclear Ideals in the Category of
v-Semilattices with a Duality.
Jan Paseka
A Coalgebraic Foundation for Linear Time Semantics.
John Power, Daniele Turi
Denotational Completeness Revisited.
Thomas Streicher
A domain-theoretic semantics of lax generic functions.
Hideki Tsuiki
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.
Fabio Gadducci, Reiko Heckel and Merce Llabres.
Higher-dimensional syntax.
Martin Wehr.
3. Programme committee
----------------------
J. Adamek TU Braunschweig (Germany)
N. Benton Microsoft Research, Cambridge (UK)
R. Blute U. Ottawa (Canada)
T. Coquand Chalmers (Sweden)
M. Escardo LFCS Edinburgh (UK)
M. Hasegawa Kyoto Univ. (Japan)
M. Hofmann (Chair) LFCS Edinburgh (UK)
P. O'Hearn Queen Mary West (UK)
D. Pavlovic Kestrel Institute (California)
H. Reichel TU Dresden (Germany)
G. Rosolini U. Genova (Italy)
A. Scedrov U. Penn (Pennsylvania)
Organising Committee
--------------------
S. Abramsky LFCS Edinburgh (UK)
P. Dybjer Chalmers U. (Sweden)
E. Moggi U. Genova (Italy)
A. Pitts U. Cambridge (UK)
4. Registration form
--------------------
Please complete this form and email it to ctcs99-reg@dcs.ed.ac.uk
before 10th August 1999. You can also fax the form to
+44 131 667 7209 Attn: CTCS-REG or send it to M Lekuse, CTCS-REG,
JCMB, KB, Mayfield Rd, Edinburgh EH9 3JZ, UK.
*******************************************************
* REGISTRATION FOR CTCS '99 *
*******************************************************
A PERSONAL DETAILS
------------------
LAST NAME: _______________________________
FIRST NAME: ______________________________
AFFILIATION: _____________________________
ADDRESS: _________________________________
_________________________________
_________________________________
PHONE NUMBER: ____________________________
FAX: _____________________________________
E-MAIL: __________________________________
WWW (optional): __________________________
DATE OF ARRIVAL: __/__ 1999
DATE OF DEPARTURE: __/__ 1999
ANY SPECIAL DIETARY REQUIREMENTS (e.g. vegetarian):
______________________
B CONFERENCE FEES
-----------------
The conference fee will cover lunches, coffee breaks, and
proceedings. (It also includes costs for invited speakers and seminar
room bookings.)
Regular Student
--------------------------------------------
Early registration: GBP115 GBP95
by 19th July
Late registration: GBP170 GBP170
after 19th July
There will be a conference dinner on Saturday, 11th September. It will
cost GBP30 (students GBP15).
I will attend the dinner YES ( ) NO ( )
Total fees payable: GBP ____
I have paid the fees by ____________________ on __/__1999.
Please pay your fee by
- bank draft in GBP
- Eurocheque in GBP
- any other cheque drawn on a British bank
payable to "The University of Edinburgh".
Unfortunately, we cannot acccept credit cards and bank transfers.
C ACCOMMODATION
---------------
We should like to ask you to book your own accommodation directly. The
Edinburgh Tourist Board offers a very efficient booking service. You
can either book by phone (+44-131-473-3874), fax (+44-131-473-3636) or
e-mail (conventions@eltb.org). When you contact them they will supply
you with a booking form which lists a number of accommodation types
from simple guest houses to 5* hotels. Please book early. Although the
Edinburgh International Festival will be over, September is still a
very busy time.
----------------------------------------------------------------
**Please state clearly on the accommodation booking form that your
accommodation should be within easy reach of the King's Buildings,
University of Edinburgh.**
----------------------------------------------------------------
You should receive confirmation of your booking within one day. You
need to give them your credit card number which will serve as a
security. You will actually have to pay your accommodation directly
later. If you do not have a credit card, or you encounter any
difficulties in booking your accommodation, then please get in touch
with us directly. Please contact (ctcs99-reg@dcs.ed.ac.uk) and state
your requirements.
The conference will be held in the James Clerk Maxwell Building
(Lecture theatre B), King's Buildings, Edinburgh EH9 3JZ. You will
find maps at http://www.visres.ed.ac.uk/internal/maps.
Important dates
---------------
9 April 1999 Notification of intention to submit
23 April 1999 Submission deadline
4 June 1999 Notification of authors of accepted papers
30 July 1999 Deadline for final versions of accepted papers
Address for paper submissions
-----------------------------
Martin Hofmann
Laboratory for Foundations of Computer Science
Division of Informatics JCMB, King's Buildings
Mayfield Road Edinburgh EH9 3JZ Scotland
Local organization
------------------
Monika Lekuse
Laboratory for Foundations of Computer Science
Division of Informatics JCMB, King's Buildings
Mayfield Road Edinburgh EH9 3JZ Scotland
Conference e-address ctcs99@dcs.ed.ac.uk
--------------------
Conference homepage http://www.dcs.ed.ac.uk/home/ctcs99
-------------------
Related event 2nd APPSEM workshop, 6-9 September 1999
-------------
http://www.md.chalmers.se/Cs/Research/Semantics/APPSEM/index.html