Algebraic Logic
Workshop Organizer: Robin Hirsch, University College London
A brief description:
This course will start with an introductory tutorial explaining the origins
and early development of this subject and will continue with more advanced,
central topics in algebraic logic. As well as looking at the theory of
algebraic logic we will study the links with universal algebra, classical
logic, game theory and modal logic.
List of speakers in the algebraic logic workshop (subject to change)

Agi Kurukz: Introduction to algebraic logic. 60 minutes
 Ian Hodkinson: The Rainbow construction. 45 minutes
 Szabolcs Mikulas: Reducts of relation algebras. 45 minutes
 Tarek Ahmed: Relation algebras, cylindric algebras and neat reducts. 45
minutes
 Robin Hirsch: Algebraic logic and firstorder proof theory. 45 minutes
 Yde Venema: Complex Algebras. 45 minutes