3-5 Sep 2009
Swansea, Wales
-------------------------------------------------------------
BRITISH LOGIC COLLOQUIUM 2009
Swansea, 3-5 September, still student grants available!
-------------------------------------------------------------
BRITISH LOGIC COLLOQUIUM 2009
http://www.cs.swan.ac.uk/blc09/
The Annual Meeting of the British Logic Colloquium will be held
at the Department of Computer Science, Swansea University, from
Thursday to Saturday, September 3-5, 2009.
The meeting is supported by the London Mathematical Society and the
British Logic Colloquium.
Confirmed invited speakers:
Peter Dybjer (Gothenburg); Richard Kaye (Birmingham); Margarita
Korovina (Manchester); Julien Melleray (Lyon); Paulo Oliva (Queen
Mary); Mark Priestley (Westminster); Stephen Read (St Andrews); Peter
Schuster (Leeds); Alexander Summers (Imperial); Neil Thapen (Prague);
Stan Wainer (Leeds); Andreas Weiermann (Gent).
We have space for a few contributed talks. Please send an abstract to
Ulrich Berger (u.berger@swansea.ac.uk). Deadline: Monday, August 3, 2009
There are still a few student grants for UK-based research students
funded by the London Mathematical Society available.
See our web-site for details. Deadline: Monday, August 3, 2009.
We have reserved a limited number of on campus accommodation.
Please register and book accommodation by Monday, August 10, 2009,
http://www.cs.swan.ac.uk/blc09/.
Organizers: Ulrich Berger, Arnold Beckmann, Anton Setzer, Monika Seisenberger,
John Tucker.