British Logic Colloquium
AimsThe 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. Its constitution can be found here.
ActivitiesThe BLC sponsors large international meetings (e.g. the Logic Colloquia [European meetings of the ASL held in Leeds (1997), Keele (1993), Hull (1986), Manchester (1984), Leeds (1979)). It also supports occasional smaller logic meetings. Proceedings of BLC-supported meetings have been published for many years and form an important record of the research activities and development of Logic in the UK. For details of these meetings, see here. The BLC organizes a national logic meeting each year with both invited and contributed talks in all areas of logic. For more details about these meetings, see here.
The BLC has three representatives on the British National Committee for Logic, Methodology and Philosophy of Science, the national body responsible for communication with the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science. Details of the committee and of the LMPS are available at the BLC members-area website.
A one-page summary of the aims and activies of the BLC can be found here.guidelines.
here. The form includes a standing order mandate. A modified standing order form for those members who need to pay 5 pounds for 2009 and 10 pounds from 2010 onwards is also available.
The BLC distributes to members a newsletter by electronic mail, giving information about forthcoming meetings and conferences, and other news of interest to logicians. For past newsletters, see here..here Committee.