Computational Logic workshop in honour of Roy Dyckhoff

18th and 19th November 2011

St Andrews University, Scotland

As Roy Dyckhoff retires this autumn, a workshop will be held in St Andrews in his honour.

The workshop is supported by and the British Logic Colloquium.

The theme will be that of Roy's broad research interests, covered under the title of Computational Logic and including the following topics: