Other activities
Go to home page
I am an editor of Algebra
Universalis.
Click here for slides from some of my talks.
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 am on the steering committee of AiML
and was/am a PC member of Advances in Modal Logic
2008 and 2010.
I was on the programme committee of TIME'05,
TIME'07,
and TIME'08