Please note that this newsitem has been archived, and may contain outdated information or links.
3-5 September 2009, British Logic Colloquium (BLC 2009), Swansea, Wales
The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.
The Annual Meeting of the British Logic Colloquium will be held at the Department of Computer Science, Swansea University.
For more information, see http://www.cs.swan.ac.uk/blc09/ or contact Ulrich Berger at u.berger at swansea.ac.uk. We have reserved a limited number of on campus accommodation, which are on hold until Monday, August 10, 2009.
We have space for a few contributed talks. Please send an abstract to u.berger at swansea.ac.uk with subject "BLC09 contributed talk". Deadline: Monday, August 3, 2009
Please note that this newsitem has been archived, and may contain outdated information or links.