|Events, Causality and Symmetry|
The goal of the Events, Causality and Symmetry (ecsym) project is to build the next generation of semantics of computation, a new mathematical foundation with which to understand and analyze the complexity of computation we begin to see today.
ecsym is a five-year research project involving a number of faculty, postdoctoral workers, and PhD students at the University of Cambridge and elsewhere. ecsym is funded by the European Union, under the Seventh Framework Programme for Research. The project is part of the Programming, Logic and Semantics research group at the University of Cambridge Computer Laboratory, and the principal investigator is Professor Glynn Winskel.
These webpages give information about