***Final Call for Participation*** BRITISH LOGIC COLLOQUIUM 2024 University of Birmingham, UK https://blc24.github.io/ **Registration deadline: August 19th** Register at: https://shop.bham.ac.uk/conferences-and-events/college-of-engineering-physic... The annual meeting of the British Logic Colloquium (https://www.blc-logic.org/) 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 - Martin Escardo (University of Birmingham) TBA - Nicola Gambino (University of Manchester) Monoidal bicategories, differential linear logic, and analytic functors - Lorna Gregory (University of East Anglia) Ziegler Spectra - Asaf Karagila (University of Leeds) Why large cardinals? - Ofra Magidor (University of Oxford) New Zeno and the logic of counterfactuals - Elvira Mayordomo (Universidad de Zaragoza and Iowa State University) On information theory in geometric measure theory - Michael Rathjen (University of Leeds) Graph Theory, Logic, and the Transfinite COLOCATION WITH Proof Society BLC24 will be colocated with the Proof Society International School and Workshop 2024, taking place 9-13 September: https://proofsociety2024.com/ PROGRAM COMMITTEE Anupam Das (University of Birmingham) Paul Blain Levy (University of Birmingham) Sonia Marin (University of Birmingham) Omar Leon Sanchez (University of Manchester) Paul Shafer (University of Leeds) Sara Uckelman (Durham University) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>