<div dir="ltr"><span style="color:rgb(36,36,36);font-size:14.6667px">Dear colleagues,</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">On March 2-3 we will have the first of what we are calling "ecumenical meetings". Ecumenical systems refer, in a broad sense, to proof systems for combining logics. This series of meetings aims at discussing the basics about logic, proof systems and their combination.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">The webpage with more information can be accessed here:</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><a href="https://urldefense.com/v3/__https://sites.google.com/view/ecumenicalmeeting/home__;!!IBzWLUs!Ww_PTDVwcZPdSTH0yTqDnY_0t5jdsqgbBfxWiDG0lRWyWnahd0cQEbMrqXsg0SMQnGsWSiqPIeEpclYPNXmTb6GgdL42059KztEOFCHa$" rel="noopener noreferrer" id="m_3183149166897907405gmail-LPlnk632697" target="_blank" style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-stretch:inherit;font-size:14.6667px;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline">https://sites.google.com/view/ecumenicalmeeting/home</a><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">Please register if you plan to attend:</span><div><font color="#242424"><span style="font-size:14.6667px"><br></span></font></div><div><a href="https://urldefense.com/v3/__https://forms.gle/2LP2xomSLAPtFbgT7__;!!IBzWLUs!Ww_PTDVwcZPdSTH0yTqDnY_0t5jdsqgbBfxWiDG0lRWyWnahd0cQEbMrqXsg0SMQnGsWSiqPIeEpclYPNXmTb6GgdL42059KzjRQ7up7$" target="_blank">https://forms.gle/2LP2xomSLAPtFbgT7</a><font color="#242424"><span style="font-size:14.6667px"><br></span></font><div><br></div><div><span style="color:rgb(36,36,36);font-size:14.6667px">The event will be broadcasted live but not recorded.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">Best regards,</span></div></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!Ww_PTDVwcZPdSTH0yTqDnY_0t5jdsqgbBfxWiDG0lRWyWnahd0cQEbMrqXsg0SMQnGsWSiqPIeEpclYPNXmTb6GgdL42059KzvxYLIGO$" 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>