British Logic Colloquium

Description

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 Colloquium sponsors large international meetings and supports occasional smaller logic meetings. Proceedings have been published for many years and form an important record of the research activities and development of Logic in the UK. In addition, it organises a national logic meeting each year with both invited and contributed talks in all areas of logic.

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

Offers funding

No, this infrastructure does not provide funding.

Founding year

1977

Contact details

On the map

Go to larger version of this map

Categorisation

Type

Project Tags