Call for participation

CTCS'99, 10-12 September 1999, Edinburgh, Scotland

This page is provided for historical interest. For a list of recent and forth coming conferences hosted at Informatics in Edinburgh, see the page

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).

Conference proceedings will appear in Electronic Notes in Theoretical Computer Science . Paper copies of the proceedings will be available to participants at the conference.

Invited speakers:
R. Hasegawa, Univ. of Tokyo (Japan)
P. Freyd, Univ. of Pennsylvania (USA)
M. Fiore, Univ. of Sussex (UK)
D. Smith, Kestrel Institute (USA)

Programme committee:
J. Adamek TU Braunschweig (Germany)
N. Benton Microsoft Res., 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)

Accepted papers:
title and abstract, titles only

Preliminary programme

Deadline: 19 July 1999 early registration,
Registration form
Travel Information

Local organization: M. Lekuse, M. Hofmann
Conference e-address: (registration) (programme)

Related event: 2nd APPSEM workshop,
6-9 September 1999.

Organising Committee:
S. Abramsky LFCS Edinburgh (UK)
P. Dybjer Chalmers U. (Sweden)
E. Moggi U. Genova (Italy)
A. Pitts U. Cambridge (UK)

Last Updated: 21 June 1999 by Martin Hofmann