[TYPES/announce] British Logic Colloquium 2024 -- Final call for participation

[Paul Levy]

***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)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240815/989cbf63/attachment.htm>