<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=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:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
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;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
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-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal"><span lang="IS">The Logic Colloquium 2022 will take place from June 27 to July 1, 2022 at Reykjavik University, in Iceland.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">The deadline to submit abstracts is quite soon, on 24/3.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">The website is: <a href="https://urldefense.com/v3/__http://icetcs.ru.is/lc2022/__;!!IBzWLUs!AZpiW0NAswHwxbTo8z-aur5bZ7AbJPgRnMmyxdo7snv8EhOdbPt2R2UH2a5ZEts15lSYivQJ3JqMPQ$">
http://icetcs.ru.is/lc2022/</a> <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">****************************************<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, that in 2022 will be held from the 27th of June to the 1st of July 2022 at Reyjavik University, Iceland. We encourage you to submit
abstracts for contributed talks.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Call for Papers<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">The deadline for contributed talk submissions and for student travel grants applications is March 24, 2022.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Contributed talks<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Abstracts for contributed talks should conform to the Rules for Abstracts of the ASL, and should be sent to
<a href="mailto:asl@uconn.edu">asl@uconn.edu</a>. Online contributed talks are welcome and we will do our best to make this event hybrid, although we of course encourage you to come to Iceland (see the travel information) to meet the community.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Topics of interest include:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Set Theory<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Proof Theory<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Model Theory<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Computability Theory<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Philosophical Logic<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Logic in Computer Science<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Student travel grants<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">To be considered for a travel award, please<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">send a letter of application, and<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">ask your thesis supervisor to send a brief recommendation letter.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Your application letter should be brief (preferably one page) and should include:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">your name;<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">your home institution;<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">your thesis supervisor’s name;<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">a one-paragraph description of your studies and work in logic, and a paragraph indicating why it is important to attend the meeting;<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">your estimate of the travel expenses you will incur;<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">(for citizens or residents of the USA) citizenship or visa status; and<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">(voluntary) indication of your gender and minority status. Women and members of minority groups are strongly encouraged to apply.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Travel grant applications are accepted from students and also from recent Ph.D. recipients, until the deadline of March 24, 2022, and ASL membership is not required. Applications should be submitted via email to
<a href="mailto:asl@uconn.edu">asl@uconn.edu</a> or to the ASL Business Office:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">ASL, Dept. of Mathematics,<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Univ. of Connecticut,<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">341 Mansfield Road,<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">U-1009, Storrs, CT 06269-1009, USA.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Decisions will be communicated at least two months prior to the meeting.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Important Dates<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">Deadline for Abstract Submission: 24th of March<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">Start of the Conference: 27th of June<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS">End of the Conference: 1st of July<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="IS">For more information, please visit <a href="https://urldefense.com/v3/__http://icetcs.ru.is/lc2022/__;!!IBzWLUs!AZpiW0NAswHwxbTo8z-aur5bZ7AbJPgRnMmyxdo7snv8EhOdbPt2R2UH2a5ZEts15lSYivQJ3JqMPQ$">
http://icetcs.ru.is/lc2022/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal">On behalf of the OC,<o:p></o:p></p>
<p class="MsoNormal">Antonis Achilleos<o:p></o:p></p>
<p class="MsoNormal"><span lang="IS"><o:p> </o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>