The conference brought together a small group of researchers actively applying category theoretic and formal logical methods to the following topics: programming language semantics, type theories, linear logic, concurrency theory and abstract data type theory. There were 38participants (from ten countries), of which 33 presented talks. The pleasant surroundings and well-run facilities provided ample opportunities for interaction between participants.

Scientifically speaking, interactions between category theorists and computer scientists are driven by several concerns. Probably the most important is the need to give adequate formal semantics for programming language constructs, and a number of talks addressed this issue. The concepts developed by category theorists for use in computer science have led to new developments in category theory that are of interest in themselves and category theory developments have also led to suggestions for new features in programming languages. Another side of this picture is supplied by logic. One of the key questions in computer science now concerns tools for developing and reasoning about concurrently reacting systems and parallel programming constructs. It may be that an important role in understanding the structure of parallel programs will come from linear logic, a topic which featured in several of the talks. The interaction here is mediated by the search for the proper categorical semantics for both structures.

Creative Commons BY 3.0 Unported license