British Logic Colloquium 2025

This meeting aims to bring together researchers working in logic and related areas, both from the UK and overseas, to share and discuss recent developments in those areas. The plenary speakers are all leaders in their respective fields, and their talks would normally cover not only their own work but also important related research in their fields. This would benefit all the participants and, in particular, junior researchers including students and postdocs. The contributed talks would benefit the speakers by giving them an opportunity to present their work to a general logic audience (outside their immediate research area) and by encouraging discussions with both senior and junior logicians.

Dates:

• 10th September 2025 (Peter Aczel Memorial Conference)

•  11th-12th September 2025 (British Logic Colloquium)

Venue: Alan Turing Building, University of Manchester

Registration is currently open. The registration fee will cover lunch and tea/coffee breaks.

Registration form

The programme committee invites abstracts for contributed talks of up to 1 page (excluding bibliography). These can be on published or unpublished work, as well as work in progress. We especially encourage students and early-career researchers to present their work. If you want to give a contributed talk, please fill in the below form by 31st July. We will get in touch with you shortly after that to confirm whether you have been selected for a contributed talk. These talks will be scheduled on the BLC days (11-12th September).

Contributed talk form

BLC

• Mirna Džamonja (Paris)

• Fairouz Kamareddine (Heriot-Watt)

• Fraser MacBride (Manchester)

• Paul-André Melliès (Paris)

• Paula Quinon (Lund/Warsaw)

• Katrin Tent (Münster)

• Frank Wolter (Liverpool)

Peter Aczel Memorial Conference

•  Steve Awodey (Carnegie Mellon University)

•  Jouko Väänänen (University of Helsinki)

•  Rosalie Iemhoff (Utrecht University)

•  Andrew Swan (University of Ljubljana)

We expect to have a limited number of travel grants available to UK PhD students who wish to attend BLC 2025. We also expect to provide modest grants to support participants with caring responsibilities. If you would like to apply for funding (either as a UK PhD student or as a carer), please complete the below form by 31st July. We will get in touch in August to let you know if and how much funding we can provide.

Funding application form

TBA

TBA

BLC organising committee: Vahagn Aslanyan, Nicola Gambino, Omar Leon Sanchez, Renate Schmidt

BLC scientific committee: Vahagn Aslanyan (Manchester), Nicola Gambino (Manchester), Frederique Janssen-Lauret (Manchester), Omar Leon Sanchez (Manchester), Renate Schmidt (Manchester), Sara Uckelman (Durham)

Peter Aczel Memorial Conference organising committee: Nicola Gambino (Manchester), Michael Rathjen (Leeds)

London Mathematical Society (LMS), Heilbronn Institute for Mathematical Research (HIMR), UKRI/EPSRC Additional Funding Programme for Mathematical Sciences, British Logic Colloquium (BLC), Manchester Institute for Mathematical Sciences (MiMS)