Please note that this newsitem has been archived, and may contain outdated information or links.
2-4 September 2010, British Logic Colloquium (BLC 2010), Birmingham, U.K.
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 take place from 2-4 September 2010 in Birmingham. The aim of this meeting is to present current topics in all areas of logic. BLC 2010 is supported financially by the London Mathematical Society and by the British Logic Colloquium.
For further details see the webpage http://events.cs.bham.ac.uk/BLC2010.
Contributed talks of 30 min length are solicited. A limited number of grants for UK-PhD-students is available. The deadline for proposing talks and early registration is 20 July.
Please note that this newsitem has been archived, and may contain outdated information or links.