skip to content

Workshops and Other Events

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