From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3579 Path: news.gmane.org!not-for-mail From: Phil Scott Newsgroups: gmane.science.mathematics.categories Subject: Second Announcement of Fields Workshop on Traced Monoidal Cats Date: Thu, 18 Jan 2007 01:18:17 -0500 (EST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1241019389 9332 80.91.229.2 (29 Apr 2009 15:36:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:36:29 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Jan 18 12:03:19 2007 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 18 Jan 2007 12:03:19 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1H7ZcH-0004ud-Uu for categories-list@mta.ca; Thu, 18 Jan 2007 11:55:54 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 72 Original-Lines: 68 Xref: news.gmane.org gmane.science.mathematics.categories:3579 Archived-At: Dear Colleagues: We would like to announce the following: ============================================================== A Fields Institute Sponsored Workshop Recent advances in category theory and logic: Applications of traces to algebra, analysis and categorical logic University of Ottawa April 28-30, 2007 URL: http://aix1.uottawa.ca/~scpsg/Fields07/Fields07.traces.html +++++++++++++++++++++++++++++++++++++++++++++++ The abstract theory of traces has had a fundamental impact on a variety of fields within mathematics. These range from functional analysis and noncommutative geometry to topology and knot theory, and more recently to logic and theoretical computer science. The theory of traced monoidal categories, due to Joyal, Street and Verity, is an attempt to unify various notions of trace that occur in these diverse branches of mathematics. More recent developments include several theories of partial traces in monoidal categories. The Logic and Foundations of Computing Group at the University of Ottawa, with funding from the Fields Institute, is proud to host a workshop to explore these topics. The purpose of this workshop is to bring together researchers in these fields to look for common developments, models, and applications of trace theory. Among the applications are various notions of parametrized traces arising in operator algebras, in the theory of feedback and recursion in theoretical computer science, in braid closure in knot theory, and in dynamics of proofs as expressed by Linear Logic and the Geometry of Interaction. Some invited speakers include: Samson Abramsky (Oxford) Robin Cockett (Calgary) Andre Joyal (UQAM) Louis Kauffman (Illinois) Mathias Neufang (Carleton) Timothy Porter (Bangor) We will be announcing further speakers shortly. This is intended to be a workshop, with student participation in mind, including introductory lectures. We will have some funding for student travel and accommodation. Students interested in receiving financial aid should contact the organizers by January 30th. Anyone interested in attending or contributing a talk should contact us by the same date. We hope to see you there. The organizers: Phil Scott (phil@site.uottawa.ca) Rick Blute (rblute@uottawa.ca) Pieter Hofstra (hofstrap@cpsc.ucalgary.ca)