New Developments in Operational Semantics
Rannis Project nr. 080039021 (2008-2010)


The project work is taking place at the School of Computer Science at Reykjavik University. More specifically, the project members located in Iceland are members of the Icelandic Centre of Excellence in Theoretical Computer Science.

We have strong research ties with a number of colleagues at CWI Amsterdam, Eindhoven University of Technology, and Vrije Universiteit Amsterdam, amongst others. See this page for a non-exhaustive list of our closest external collaborators who have contributed papers to the project.