<div dir="ltr">Call for Participation: CSL'23<br><br>February 13-16, 2023 -- Warsaw, Poland<br><br>Registration now open: <a href="https://urldefense.com/v3/__https://csl2023.mimuw.edu.pl/?page_id=696__;!!IBzWLUs!S9sn9GBvgjv0ZFknQYh_vuknUo8ld-4G3DO13duTm6mjNVN69uZ56pWE0MeSWlo-xwhN5czSQCBo28rwpLbjl6C9c_L6ynPW6YyK-tmw$">https://csl2023.mimuw.edu.pl/?page_id=696</a><br>  (Early registration ends 20/01/2023)<br><br>******<br><br>CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. <br><br>In its 36th edition, CSL'23 will bring 34 research papers, including the Rasiowa award paper, and the special presentation of the Ackermann award. It will also feature keynote presentations by Claudia Faggian, Nina Gierasimczuk, Dale Miller, Michał Pilipczuk and Davide Sangiorgi.<br><br>The registration is now open, see CSL'23 website for details -- <a href="https://urldefense.com/v3/__https://csl2023.mimuw.edu.pl__;!!IBzWLUs!S9sn9GBvgjv0ZFknQYh_vuknUo8ld-4G3DO13duTm6mjNVN69uZ56pWE0MeSWlo-xwhN5czSQCBo28rwpLbjl6C9c_L6ynPW6cAdIFhP$">https://csl2023.mimuw.edu.pl</a>.<br><br>Location: CSL’23 will be held in person in Warsaw, Poland, from February 13 to February 16, 2023. The conference is hosted by the University of Warsaw.<br><br>Co-located workshops (February 17, 2023):<br><br>- Logic mentoring workshop (LMW)<br>- Fixpoints in computer science (FICS)<br>- SchwentickFest<br><br>Organizing Committee:<br><br>Bartek Klin (PC co-chair)<br>Elaine Pimentel (PC co-chair)<br>Lorenzo Clemente (Organization chair)<br>Wojciech Czerwiński (Local organization)<br>Radosław Piórkowski (Local organization)<br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><font face="arial, sans-serif"><span style="color:rgb(32,31,30)">Elaine.</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">-----------------------------------</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">Elaine Pimentel</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">Associate Professor in Programming Principles, Logic, and Verification</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">Department of Computer Science</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">University College London</span></font></div><div dir="ltr"><font face="arial, sans-serif"><font color="#201f1e"><a href="https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!S9sn9GBvgjv0ZFknQYh_vuknUo8ld-4G3DO13duTm6mjNVN69uZ56pWE0MeSWlo-xwhN5czSQCBo28rwpLbjl6C9c_L6ynPW6Ut-4uob$" target="_blank">https://sites.google.com/site/elainepimentel/</a></font><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">-----------------------------------</span></font><br></div></div></div></div></div></div>