<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">***2nd Call for Abstracts***<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">BRITISH LOGIC COLLOQUIUM 2024 <o:p></o:p></p>
<p class="MsoNormal">University of Birmingham, UK <o:p></o:p></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://blc24.github.io/__;!!IBzWLUs!U_arICz40E2kN99Nb2SlJp7_2L2EvLA7axjDAqGzgBpl5Zb42rjq8t-ett3Uw7TRKcs65d2q7itUgZkVdO0fXM6EeHLhGlUPv-g$">https://blc24.github.io/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Abstract deadline: July 10th<o:p></o:p></p>
<p class="MsoNormal">Notification: July 31st<o:p></o:p></p>
<p class="MsoNormal">Final version: August 10th<o:p></o:p></p>
<p class="MsoNormal">Colloquium: September 5-7th<o:p></o:p></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!U_arICz40E2kN99Nb2SlJp7_2L2EvLA7axjDAqGzgBpl5Zb42rjq8t-ett3Uw7TRKcs65d2q7itUgZkVdO0fXM6EeHLh1PxVn0M$">https://www.blc-logic.org/</a>) will be organised by the University of Birmingham from Thursday 5th September afternoon to Saturday 7th September morning.<o:p></o:p></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. <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">INVITED SPEAKERS<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Martin Escardo (University of Birmingham)<o:p></o:p></p>
<p class="MsoNormal">- Nicola Gambino (University of Manchester)<o:p></o:p></p>
<p class="MsoNormal">- Lorna Gregory (University of East Anglia)<o:p></o:p></p>
<p class="MsoNormal">- Asaf Karagila (University of Leeds)<o:p></o:p></p>
<p class="MsoNormal">- Ofra Magidor (University of Oxford)<o:p></o:p></p>
<p class="MsoNormal">- Elvira Mayordomo (Universidad de Zaragoza and Iowa State University)<o:p></o:p></p>
<p class="MsoNormal">- Michael Rathjen (University of Leeds) <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">SUBMISSIONS<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">There are no formal published proceedings, but accepted abstracts will be made available for the meeting. Please submit your abstracts via EasyChair:<o:p></o:p></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=blc24__;!!IBzWLUs!U_arICz40E2kN99Nb2SlJp7_2L2EvLA7axjDAqGzgBpl5Zb42rjq8t-ett3Uw7TRKcs65d2q7itUgZkVdO0fXM6EeHLhF9yoYPA$">https://easychair.org/conferences/?conf=blc24</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PROGRAM COMMITTEE<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Anupam Das (University of Birmingham)<o:p></o:p></p>
<p class="MsoNormal">Paul Blain Levy (University of Birmingham)<o:p></o:p></p>
<p class="MsoNormal">Sonia Marin (University of Birmingham)<o:p></o:p></p>
<p class="MsoNormal">Omar Leon Sanchez (University of Manchester)<o:p></o:p></p>
<p class="MsoNormal">Paul Shafer (University of Leeds)<o:p></o:p></p>
<p class="MsoNormal">Sara Uckelman (Durham University)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">COLOCATION WITH Proof Society<o:p></o:p></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!U_arICz40E2kN99Nb2SlJp7_2L2EvLA7axjDAqGzgBpl5Zb42rjq8t-ett3Uw7TRKcs65d2q7itUgZkVdO0fXM6EeHLhkuunQ0U$">https://proofsociety2024.com/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>