Processes and Modal Logics
Icelandic Fund for Research Project nr. 100048021 (2010-2012)


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, University of Groningen, University of Victoria 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.