Picture of Swansea University   British Logic Colloquium 2009
 (BLC 2009)
Swansea, Dept. of Computer Science, Wales, UK, 3 - 5 September 2009