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.

Diffblue logo

Venue

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

Sponsors

We are grateful for support from

LMS-logo

 

                            DiffBlue Logo

 

Invited Speakers

Submissions

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

https://easychair.org/conferences/?conf=blc2017

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

Programme Committee

Registration

There will be a reduced conference fee for PhD students.

Affordable accommodation on campus will be 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.

Please click the "Registration" tab to get more information about accommodation and registration as it becomes available.

Please send any enquiries to blc17-admin@sussex.ac.uk.

Childcare

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.