Please note that this newsitem has been archived, and may contain outdated information or links.
5 - 7 September 2024, British Logic Colloquium 2024 ((BLC 2024), Birmingham, UK
The annual meeting of the British Logic Colloquium will be organised by the University of Birmingham from Thursday 5th September afternoon to Saturday 7th September morning.
The programme will include invited and contributed talks on a range of topics including (but not restricted to) proof theory, set theory, model theory, computability and complexity, logical aspects of computer science, and philosophy of mathematics.
Invited speakers: Michael Rathjen (University of Leeds), more TBC...
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.
There are no formal published proceedings, but accepted abstracts will be made available for the meeting. Please submit your abstracts via EasyChair.
Please note that this newsitem has been archived, and may contain outdated information or links.