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.
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
Invited Speakers
- Hazel Brickhill, University of Bristol, UK
- Oliver Kullmann, Swansea University, UK
- James Ladyman, University of Bristol, UK
- Sam Staton, Oxford University, UK
- Tamara von Glehn, Cambridge University, UK
- Joan Bagaria, Universitat de Barcelona, Spain
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.
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 blc17-admin@sussex.ac.uk.. 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
- Martin Hyland, Cambridge
- Charlotte Kestner, Lancaster
- Ekaterina Komendantskaya, Heriot-Watt University
- Bernhard Reus, Sussex (chair)
- Monika Seisenberger, Swansea
- Philip Welch, Bristol
Registration
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 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.