Atlas home || Conferences | Abstracts | about Atlas
Host: University of Edinburgh
Homepage: http://www.dcs.ed.ac.uk/home/ctcs99/
Email: ctcs99@dcs.ed.ac.uk
Organizers: S. Abramsky (LFCS Edinburgh, UK), P. Dybjer (Chalmers U., Sweden), E. Moggi (U. Genova, Italy), A. Pitts (U. Cambridge, UK), 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)
Deadline for abstracts: April 23, 1999
Description:
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.
Topics of interest include but are not limited to category-theoretic aspects of the following:
concurrent and distributed systems constructive mathematics declarative programming and term rewriting domain theory and topology linear logic models of computation program logics, data refinement, and specification programming language semantics type theory
Date received: February 03, 1999
© 2008 Atlas Conferences Inc.