Pictures from the conference. Thanks to all participants for a
successful conference! Several people have taken pictures at the
conference, and I will link to them from this page.
Category theory, after having played a major role in the development of mathematics, e.g. in algebraic geometry, has been widely applied by logicians to obtain concise interpretations of many logical concepts. On the other hand, links between logic and computer science have been developped now for over twenty years, notably via the Curry-Howard isomorphism, which identifies programs with proofs. Together, the triangle category theory-logic-computation presents a rich world of interconnections. It is the primary purpose of the CTCS conference series to explore these interconnections.
In addition to the usual three day conference, there will be a three day "preconference", which is designed to prepare students, both graduate and undergraduate, to participate in the conference. The preconference will take place from August 12-14.
This will be the ninth conference in the CTCS series, and the first in North America.
Conference proceedings have appeared in Electronic Notes in Theoretical Computer Science, Vol. 69. Paper copies of the proceedings were distributed to participants at the conference.
Eric Goubault (CEA/Saclay)
Guy McCusker (Sussex)
Peter Selinger (Ottawa)
Paul Syverson (NRL)