Aim and scope

Dates

Programme

Invited speakers

Program committee

Steering committee

Aim and scope

In the late '80s and early '90s an algebraic structure dealing with cyclic operations emerged from various fields, including flowchart schemes, dataflow networks with feedback, action calculi, proof theory, as well as topology and knot theory. This structure is known as a "traced monoidal category" , after the influential paper of Joyal, Street and Verity, who studied such categories in pure mathematics, but with an eye to applications in many fields. The concept also occurs as a basic structure in network algebra. Indeed, network algebras are extensions of traced monoidal categories with branching constants satisfying appropriate axioms.

Since then, the structure has been used, with variations, in many areas of mathematics, logic and theoretical computer science. There are beginning to be applications of these algebraic structures to several areas, including biology and physics, and indeed to any field where cyclic networks are used.

The aim of this workshop is to bring together people from various communities who are interested in these algebraic structures, to survey the existing work, to encourage exchange of ideas and to foster applications to various fields. We believe the general ideas and structures here have wide interest to many people in the LICS and ICALP communities.

Dates

July 15-th, 2007

Invited speakers

• Martin Hyland (University of Cambridge, UK)
• Masahito Hasegawa (Kyoto University, Japan)
• Paulo Oliva (University of London, UK)
• Prakash Panangaden (McGill University, Montreal, Canada)
• Dusko Pavlovic (Kestrel Institute, Palo Alto, CA, USA and Oxford University, UK)
• Gordon Plotkin (University of Edinburgh, UK)
• Gheorghe Stefanescu (University of Bucharest, Romania)

Contributed talks

• Ross Duncan (Oxford University, UK)
• Peter Hines (York University, UK)

Programme

Program committee

• Samson Abramsky (Oxford University, UK)
• Phil Scott (University of Ottawa, Canada)
• Gheorghe Stefanescu (University of Bucharest, Romania)

Steering committee

• Samson Abramsky (Oxford University, UK)
• Phil Scott (University of Ottawa, Canada)
• Gheorghe Stefanescu (University of Bucharest, Romania)