A Fields Institute Sponsored Workshop

Recent advances in category theory and logic:
Applications of traces to algebra, analysis and categorical logic

Dept. of Mathematics & Statistics
University of Ottawa
April 28-30, 2007

Now Includes Talks !


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.

Invited speakers include:                                                      Contributed Talks:                

Samson Abramsky (Oxford)
Axiomatics of No-Cloning and No-Deleting
Richard Blute (Ottawa)
C*-Categories (Minicourse)
Robin Cockett (Calgary)  
Itegories and Partial Combinatory Algebras    
Nicola Gambino (UQAM)
Traces of  analytic functors

Louis Kauffman (Illinois)
Anyonic Topological Computation and Quantum
Algorithms for knot polynomials
Greg Meredith (Biosimilarity LLC)
Knots as processes

Claus Koestler (Carleton )
Traces in noncommutative probability and subfactor theory
Prakash Panangaden (McGill)
Internal Traces
Paul-Andre Mellies (Paris7)
Functorial Boxes in String Diagrams

Eric Paquette (Montréal)
Quantum Decoherence
Matthias Neufang (Carleton )
Traces in functional analysis and operator algebras (minicourse)

Dusko Pavlovic (Kestrel and Oxford)
A monadic view of traces and intruders
Timothy Porter (Bangor)
Formal Homotopy, quantum field theory, and traces
Philip Scott (Ottawa)  Monoidal and
Traced Monoidal Categories (minicourse)

Tarmo Uustalu (Tallinn University)
Comonadic Notions of Computation

Benoit Valiron (Ottawa/Dalhousie)
A categorical model for a quantum lambda calculus

Derek Wise (U.C.Riverside)
Loops, Bubbles, and Trace Divergences in Quantum Field Theory

Preliminary schedule and Abstracts (will be updated)   Schedule  

Minicourses will be given by R. Blute, M. Neufang, and P. Scott

 This is intended to be a workshop, with student participation in mind, including introductory lectures. Anyone interested in attending is requested to contact one of the organizers by April 10. We hope to see you there.

                                                           Richard Blute,  613-562-5800, ext. 3535 (rblute@uottawa.ca)
                                                           Pieter Hofstra,  613-562-5800, ext. 3494 (phofstra@uottawa.ca)
                                                           Philip Scott,   613-562-5800, ext. 3502 (phil@site.uottawa.ca)

Back to Traces Workshop Mainpage