Other activities
Go to home page
Click here for slides from some of my talks.
From 1998 to 2020 I was an editor of Algebra
Universalis.
I was UK co-ordinator of the EC ALFA project
ARACNE.
I was co-chair of the programme committee of
Advances in Modal Logic 2006.
I was on the steering committee of AiML
from 2006 to 2012, and was a PC member of Advances in Modal Logic
2008, 2010,
2012, and
2018.
I was on the programme committee of TIME'05,
TIME'07,
TIME'08,
TIME'11,
and
TIME'14.
I do extensive refereeing for journals and conferences.
I have visited Rob Goldblatt at Victoria University of Wellington
in 2003, 2004, 2007, 2010, 2011-12, and 2014. He visited me in London in 2009.
I visited Departamento de Matematica, Universidade de Aveiro, Portugal, in April 2012,
as well as several times in the 1990s.