<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">***1st Call for Abstracts***</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!X9rCYil_YdQ0V5PpOXNWRq3TvK0lftteja1H_9ahC2YVVJXfnhg9gRqW34V4NueIJb407BfR7zqKkqUIa_XCla8AtAXjEnzyjQM$">https://blc24.github.io/</a></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Abstract deadline: July 10th</p>
<p class="MsoNormal">Notification: July 31st</p>
<p class="MsoNormal">Final version: August 10th</p>
<p class="MsoNormal">Colloquium: September 5-7th</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!X9rCYil_YdQ0V5PpOXNWRq3TvK0lftteja1H_9ahC2YVVJXfnhg9gRqW34V4NueIJb407BfR7zqKkqUIa_XCla8AtAXj45GlbXo$">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">- Michael Rathjen (University of Leeds)</p>
<p class="MsoNormal">- more TBC...</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">SUBMISSIONS</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.</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:</p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=blc24__;!!IBzWLUs!X9rCYil_YdQ0V5PpOXNWRq3TvK0lftteja1H_9ahC2YVVJXfnhg9gRqW34V4NueIJb407BfR7zqKkqUIa_XCla8AtAXj4BPdOdU$">https://easychair.org/conferences/?conf=blc24</a></p>
<p class="MsoNormal"><o:p> </o:p></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>
<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!X9rCYil_YdQ0V5PpOXNWRq3TvK0lftteja1H_9ahC2YVVJXfnhg9gRqW34V4NueIJb407BfR7zqKkqUIa_XCla8AtAXjTGf3CP0$">https://proofsociety2024.com/</a></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>