Aims

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.

Activities

The 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. 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.

Grants

Various kinds of financial support are offered to encourage logic meetings, visits by logicians from overseas and research visits within the UK by young logicians.