\n

\n The British Logic Colloquium exists to suppor t, promote, and\n foster the study of logic (especially, but not exclusively,\n formal and mathematical logic) in Britain. It embraces\ n diverse aspects of logic, from the studie s of traditional\n formal systems to philos ophical logic and the modern\n applications in artificial intelligence, computer science and\ n linguistics; above all, it aims to encour age communication\n between logicians worki ng in related fields.\n

\n\n The annual meeting of The British Logic Colloq uium will take\n place from 2-4 September 2 010 in Birmingham. The aim of this\n meetin g is to present current topics in all areas of log ic.\n BLC 2010 is supported financially by the London Mathematical\n Society and by th e British Logic Colloquium.\n

\n \n \nFor further details see the webpage\ n http://events.cs.bham.ac.uk/B LC2010.\n

\n\n

URL:/NewsandEvents/Archives/2010/newsitem/3425/2-4
-September-2010-British-Logic-Colloquium-BLC-2010-
Birmingham-U-K-
END:VEVENT
END:VCALENDAR
\n Contributed talks of 30 min length are solicited. A limited\n number of grants for UK-PhD-students is available. The\n deadli ne for proposing talks and early registration is 2 0\n July.\n

\n