[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
***Final Call for Participation***
BRITISH LOGIC COLLOQUIUM 2024
University of Birmingham, UK
https://urldefense.com/v3/__https://blc24.github.io/__;!!IBzWLUs!Whw39u3idPWdgBNrhxBwJ5mACFXislFMl0j5ku8qmUDP5AW3fi5eBX3FRSMYaPQl0Wh0rIJg2O9E2cglCm-jlT8fAyZpl5EWU5U$
**Registration deadline: August 19th**
Register at:
https://urldefense.com/v3/__https://shop.bham.ac.uk/conferences-and-events/college-of-engineering-physical-sciences/school-of-computer-science/computer-science-courses-events/british-logic-colloquium-2024__;!!IBzWLUs!Whw39u3idPWdgBNrhxBwJ5mACFXislFMl0j5ku8qmUDP5AW3fi5eBX3FRSMYaPQl0Wh0rIJg2O9E2cglCm-jlT8fAyZp6BBnKCo$
The annual meeting of the British Logic Colloquium
(https://urldefense.com/v3/__https://www.blc-logic.org/__;!!IBzWLUs!Whw39u3idPWdgBNrhxBwJ5mACFXislFMl0j5ku8qmUDP5AW3fi5eBX3FRSMYaPQl0Wh0rIJg2O9E2cglCm-jlT8fAyZpqZcDzR4$
) 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://urldefense.com/v3/__https://proofsociety2024.com/__;!!IBzWLUs!Whw39u3idPWdgBNrhxBwJ5mACFXislFMl0j5ku8qmUDP5AW3fi5eBX3FRSMYaPQl0Wh0rIJg2O9E2cglCm-jlT8fAyZp4J2sdyE$
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)
