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:

• automated reasoning
• category theory
• constructivity
• explicit substitution calculi
• functional programming
• Gentzen systems (and Beyond)
• intuitionistic logic
• lambda calculus
• linear logic
• logic programming
• non-classical logics
• machine-assisted meta-theory
• modal logics
• proof-theoretic semantics
• proof search
• proof theory
• provability logic
• sequent calculi
• tableaux methods
• term rewriting
• type theory