<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;
mso-ligatures:none;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-GB" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">***Final Call for Participation***</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">BRITISH LOGIC COLLOQUIUM 2024 </p>
<p class="MsoNormal">University of Birmingham, UK </p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://blc24.github.io/__;!!IBzWLUs!Whw39u3idPWdgBNrhxBwJ5mACFXislFMl0j5ku8qmUDP5AW3fi5eBX3FRSMYaPQl0Wh0rIJg2O9E2cglCm-jlT8fAyZpl5EWU5U$" title="https://blc24.github.io/">https://blc24.github.io/</a></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">**Registration deadline: August 19th**</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Register at:</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><a href="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$" title="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">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</a></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The annual meeting of the British Logic Colloquium (<a href="https://urldefense.com/v3/__https://www.blc-logic.org/__;!!IBzWLUs!Whw39u3idPWdgBNrhxBwJ5mACFXislFMl0j5ku8qmUDP5AW3fi5eBX3FRSMYaPQl0Wh0rIJg2O9E2cglCm-jlT8fAyZpqZcDzR4$">https://www.blc-logic.org/</a>) will be organised by the University of Birmingham from Thursday 5th September afternoon to Saturday 7th September morning.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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. </p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">INVITED SPEAKERS</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Martin Escardo (University of Birmingham) TBA</p>
<p class="MsoNormal">- Nicola Gambino (University of Manchester) Monoidal bicategories, differential linear logic, and analytic functors</p>
<p class="MsoNormal">- Lorna Gregory (University of East Anglia) Ziegler Spectra</p>
<p class="MsoNormal">- Asaf Karagila (University of Leeds) Why large cardinals?</p>
<p class="MsoNormal">- Ofra Magidor (University of Oxford) New Zeno and the logic of counterfactuals</p>
<p class="MsoNormal">- Elvira Mayordomo (Universidad de Zaragoza and Iowa State University) On information theory in geometric measure theory</p>
<p class="MsoNormal">- Michael Rathjen (University of Leeds) Graph Theory, Logic, and the Transfinite</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">COLOCATION WITH Proof Society</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">BLC24 will be colocated with the Proof Society International School and Workshop 2024, taking place 9-13 September: <a href="https://urldefense.com/v3/__https://proofsociety2024.com/__;!!IBzWLUs!Whw39u3idPWdgBNrhxBwJ5mACFXislFMl0j5ku8qmUDP5AW3fi5eBX3FRSMYaPQl0Wh0rIJg2O9E2cglCm-jlT8fAyZp4J2sdyE$">https://proofsociety2024.com/</a></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PROGRAM COMMITTEE</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Anupam Das (University of Birmingham)</p>
<p class="MsoNormal">Paul Blain Levy (University of Birmingham)</p>
<p class="MsoNormal">Sonia Marin (University of Birmingham)</p>
<p class="MsoNormal">Omar Leon Sanchez (University of Manchester)</p>
<p class="MsoNormal">Paul Shafer (University of Leeds)</p>
<p class="MsoNormal">Sara Uckelman (Durham University)</p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>