British Logic Colloquium 2017

Welcome to British Logic Colloquium 2017

The British Logic Colloquium will take place at the University of Sussex on 8-9 September 2017, with the BLC PhD day on 7 September.

This is the annual meeting of the British Logic Colloquium. The scope of the BLC includes mathematical and philosophical logic as well as logic in computer science and applications of logic.




The British Logic Colloquium, BLC 2017, will be held in the Ashdown Building on the Falmer campus of the University of Sussex.


We are grateful for support from



                   Logo of sponsor diffBlue

                     Large Logo of sponsor OUP


Invited Speakers


We anticipate that our BLC programme will include contributed talks on a range of topics including proof theory, set theory, model theory, computability and complexity, logical aspects of computer science, in particular type theory and program verification, and philosophy of mathematics. We especially encourage students and early-career researchers to present their work.

Submissions of abstracts for talks are handled via EasyChair. Please submit your one page abstract (as pdf document) at

Deadline is July 27th.  In general we will handle submissions rather informally.

Programme Committee

Registration (NOW OPEN!)

Affordable accommodation on campus is available through the organisers as early September is still tourist season in Brighton and hotels in the city centre will be expensive. The campus is just a 9min train ride away from the city centre. There is a reduced participation fee for PhD students and the possibility for LMS sponsored travel subsidy.

Please click the "Registration" tab to get more information about accommodation and to get to the registration form.  

Please send any other enquiries to


Participants may be eligible for support under the LMS childcare grant scheme. Participants are encouraged to contact the organisers if help with arranging childcare is required.