<html xmlns:v="urn:schemas-microsoft-com:vml" 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=iso-8859-1">
<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:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
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><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2024<o:p></o:p></p>
<p class="MsoNormal">University of Bath<o:p></o:p></p>
<p class="MsoNormal">April 4-5, 2024<o:p></o:p></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://bctcs2024.github.io/__;!!IBzWLUs!SCxkm8BtVmlyz30WHU0lHreLl_X4IXaWA4cdQa5Tumf8IYUVCZKA9aujSfdUd3uqJbhdLFdC2hvBfFD6La4OWkrcigdo4XCo$">https://bctcs2024.github.io/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">ABOUT THE BCTCS<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The BCTCS is an annual event for UK-based researchers in theoretical computer science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting
their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics,
formal methods, concurrency, types, languages and logics.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The BCTCS will be co-located with the Fifth meeting of the Southern and Midlands Logic Seminar, which will take place on the afternoon of the 5 April.
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The events have received support from the British Logic Colloquium, the London Mathematical Society, and the Department of Computer Science at Bath.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PARTICIPATION<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">BCTCS welcomes 30 minute contributed talks on any topic in the scope of the colloquium. Presentations from research students and early career researchers are particularly encouraged. To propose a talk, please submit your title and abstract
by email to <a href="mailto:trjp20@bath.ac.uk">trjp20@bath.ac.uk</a>. <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">We put no restrictions on the originality or publication status of submissions. There will be no formal proceedings but the collection of the contributed abstracts will appear in the Bulletin of the EATCS.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Some travel bursaries of up to £150 will be available for PhD students without alternative sources of funding.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">IMPORTANT DATES<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- 18 January 2024: Abstract submission and registration open<o:p></o:p></p>
<p class="MsoNormal">- 23 February 2024: Deadline for abstract submission and applications for bursaries<o:p></o:p></p>
<p class="MsoNormal">- 1 March 2024: Notification of acceptance<o:p></o:p></p>
<p class="MsoNormal">- 22 March 2024: Deadline for registration<o:p></o:p></p>
<p class="MsoNormal">- 4–5 April 2024: Colloquium <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">- Anupam Das (University of Birmingham)<o:p></o:p></p>
<p class="MsoNormal">- Alex Kavvos (University of Bristol)<o:p></o:p></p>
<p class="MsoNormal">- Stuart Matthews (Capgemini Engineering)<o:p></o:p></p>
<p class="MsoNormal">- Monika Seisenberger (Swansea University)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">With best wishes,<o:p></o:p></p>
<p class="MsoNormal">James Davenport and Thomas Powell (local organizers)<o:p></o:p></p>
</div>
</body>
</html>