skip to content

Workshops and Other Events

Title Dates
Finite and Algorithmic Model Theory 9th January 2006 to 13th January 2006
Logic and Databases 27th February 2006 to 3rd March 2006
Mathematics of Constraint Satisfaction: Logic, Algebra and Graph Theory 20th March 2006 to 24th March 2006
New Directions in Proof Complexity 10th April 2006 to 13th April 2006
Constraints and Verification 8th May 2006 to 12th May 2006
Games and Verification 3rd July 2006 to 7th July 2006
Logic and Algorithms 21st July 2008 to 25th July 2008
University of Cambridge Research Councils UK
    Clay Mathematics Institute The Leverhulme Trust London Mathematical Society Microsoft Research NM Rothschild and Sons