Events, Causality and Symmetry
Glynn Winskel, University of Cambridge
Date and time: Friday 12th June 2009 at 14:00
Location: UG40, School of Computer Science
Host: Dan
This talk will try to motivate, explain and delineate a research programme in causal models, such as event structures and Petri nets, and how through the introduction of a formal treatment of symmetry such models connect with the broader mathematical world of (higher-dimensional) algebra. The work on which the programme is based began through attempts to provide an operational reading to presheaf models for concurrent processes.