<div dir="ltr"><div>Dear colleagues,<br><br>Computer Science Logic 2026 (CSL’26) will be held in Paris, France, between 23 and 28 February 2026. Following the long tradition of this event, we invite researchers and practitioners to submit proposals for co-located workshops on topics relating to mathematical logic and computer science. Workshops can target the logic in computer science community in general, focus on particular applications, or highlight more specific issues or recent developments.<br><br>Co-located events will take place Monday February 23, 2026 and will be held on the same premises as the main conference. Conference facilities are offered free of charge to the organisers. Workshops-only attendees will enjoy a significantly reduced registration fee.<br><br>Detailed organisational matters such as paper submission and review process, or publication of proceedings, are up to the organisers of individual workshops. All accepted workshops/tutorials will be expected to have their program ready by 20 January 2026.<br><br>Proposals for workshops should contain at least the following pieces of information:<br><br>    - name and contact details of the main organiser(s)<br>    - (if applicable:) names of additional organisers<br>    - title<br>    - preferred length of workshop (between half day and one day)<br>    - estimated number of attendees<br>    - short (up to one page) description of topic<br>    - (if applicable:) pointers to previous editions of the workshop, or to similar events<br>    - The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/LNCS...).<br><br>Proposals are invited to be submitted by email to <a href="mailto:e.pimentel@ucl.ac.uk">e.pimentel@ucl.ac.uk</a>, no later than 31st October 2025. Selected events will be notified by 15 November 2025. The workshop selection committee consists of the CSL program chairs and the conference organisers.<br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(80,0,80);direction:ltr"><div style="border:0px;font-stretch:inherit;font-size:9.75pt;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline"><span style="font-size:9.75pt;font-style:inherit;font-weight:inherit">Elaine -- on behalf of the organisers</span><br></div><div style="border:0px;font-stretch:inherit;font-size:medium;line-height:inherit;font-family:"Segoe UI Web (West European)","Segoe UI",-apple-system,"system-ui",Roboto,"Helvetica Neue",sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,0,0)"><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(80,0,80);direction:ltr">-----------------------------------</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Elaine Pimentel</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Schools Outreach Lead</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline">P<span style="font-style:inherit;font-weight:inherit">rofessor of Logic and Computation</span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Programming Principles, Logic, and Verification </div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Department of Computer Science, Office: Room 3.11, 66-72 Gower Street</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">University College London</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">URL: <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(12,100,192)"><a href="https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!QdKA4kPrphlGIR3gLqBtKShOcycfZRWHcKefmM1PfqB5nmYD5qryG_DR9NJW7JekVfU5VwlQtQdcvOWiISAitIwiRgtzHJdyMzDljMJY$" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(12,100,192)" target="_blank">https://sites.google.com/site/elainepimentel/</a></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline;direction:ltr"><br></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline">UCL Computer Science is an <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(70,120,134)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!QdKA4kPrphlGIR3gLqBtKShOcycfZRWHcKefmM1PfqB5nmYD5qryG_DR9NJW7JekVfU5VwlQtQdcvOWiISAitIwiRgtzHJdyM9OAIg24$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(70,120,134)" target="_blank">Athena Swan Gold award winner for gender equality</a></u></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline">UCL is ranked among the <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!QdKA4kPrphlGIR3gLqBtKShOcycfZRWHcKefmM1PfqB5nmYD5qryG_DR9NJW7JekVfU5VwlQtQdcvOWiISAitIwiRgtzHJdyM3r6WgVT$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)" target="_blank">top ten in the QS World University Rankings 2024</a></u></span> and is winner of <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!QdKA4kPrphlGIR3gLqBtKShOcycfZRWHcKefmM1PfqB5nmYD5qryG_DR9NJW7JekVfU5VwlQtQdcvOWiISAitIwiRgtzHJdyM5ew8pj0$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)" target="_blank">The Times and Sunday Times University of the Year 2024</a></u></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(34,34,34);direction:ltr">-----------------------------------</div></div></div></div></div></div></div></div></div></div>