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.

Submission for the meeting proper is now closed. If you have something very exciting you desperately need to talk about, feel free to send a message to PhD students can still contribute to the PhD (half) day on the 7th and should get in touch if they want to do so.

Programme Committee


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.

Registration is now closed. For any "last minute" registration please contact the organisers. Note that you cannot cancel your room bookings after September 1st.  After that date, room costs will  have to be charged even if you do not attend!

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.