11 – 12 September 2025

Alan Turing Building, The University of Manchester, UK

Supported by the Heilbronn Institute Small Grants Scheme

The British Logic Colloquium is dedicated to supporting, promoting, and encouraging the
study of logic in Britain, with a focus on formal and mathematical logic. It covers a wide range of
logic-related topics, including traditional formal systems, philosophical logic, and modern applications
in areas such as artificial intelligence, computer science, philosophy, and linguistics. The primary goal is
to foster communication among logicians across these diverse fields.

Organisers:

Vahagn Aslanyan(Manchester)
Nicola Gambino (Manchester)
Omar Leon Sanchez (Manchester)
Renate Schmidt (Manchester)

Speakers:

Mirna Džamonja (Paris)
Paul-André Melliès (Paris)
Paula Quinon (Lund/Warsaw)
Katrin Tent (Münster)
Frank Wolter (Liverpool)

More information on the British Logic Colloquium website