SCHOOL ON CATEGORY THEORY AND APPLICATIONS Department of Mathematics University of Coimbra PORTUGAL July 13-17, 1999 Welcome to the web site of the School on Category Theory and Applications, which will take place from Tuesday morning, 13 July 1999, through Saturday morning, 17 July, in Coimbra, Portugal. This school is being organized by the Category Theory Group of the University of Coimbra.

CTCS'97, 4-6 September 1997, S. Margherita Ligure, Italy URL http://www.disi.unige.it/conferences/ctcs97/ CTCS'99 (Edinburgh) Conference Programme and Abstracts of accepted papers Travel Information List of Participants CTCS'97 is the 7th 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 ...

Call for participation CTCS'99, 10-12 September 1999, Edinburgh, Scotland 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 ...

Workshop: Applications of Category Theory to Computer Science June 8-12, 1998 Mount Allison University, Sackville, NB, Canada In conjunction with the Category Theory Session at the Canadian Mathematical Society's Summer 1998 Meeting, see camel.math.ca/CMS/Events/summer98/ , there will be a workshop on the Applications of Category Theory to Computer Science, directed towards graduate students and ...

INTERNATIONAL CATEGORY THEORY MEETING (CT95) Canadian Mathematical Society Annual Seminar July 9-15, 1995 Dalhousie University, Halifax, Canada Fifty years after the paper which founded Category Theory and twenty-five years after the discovery of Elementary Topos Theory, the Category Theory community met in Halifax. The meeting was also an Annual Seminar of the Canadian Mathematical Society ...