<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)"><font
style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt">CALL FOR PARTICIPATION</span></font></span></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><br>
</span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="2"
face="Calibri,Helvetica,sans-serif,serif,EmojiFont"><span
style="margin:0px;font-size:11pt" lang="en-US">DAYS IN
LOGIC 2022</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">University
of Algarve, Faro, 30 June - 2 July 2022</span></font><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11.5pt"
lang="en-US"><br>
</span></font><a href="https://urldefense.com/v3/__https://daysinlogic2022.ualg.pt/__;!!IBzWLUs!TZqyY-rYKZSM__NhmHr5rxEsTt4A0Dv1p-1tVKYibEdTf7fKYsgtU-ArDWh2L4wSlsM-Ky2Sfcb3X41Xd-L465fokgfZjJk$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="0" style="margin:0px"><font
face="Calibri,Helvetica,sans-serif,serif,EmojiFont"><font
size="2" face="Segoe UI,sans-serif,serif,EmojiFont"><span
style="margin:0px;font-size:11pt" lang="en-US">https://daysinlogic2022.ualg.pt/</span></font></font></a><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11.5pt"
lang="en-US"><br>
</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><br>
</span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">The 10th
edition of Days in Logic will be a hybrid event taking
place at the University of Algarve, Faro, but allowing for
remote participation.</span></font><font size="3"
face="Segoe UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">This
biennial meeting aims at bringing together logicians,
mathematicians, computer scientists and other scientists
from Portugal (but also elsewhere) with interest in Logic.
It is specially directed to graduate students.</span></font><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11.5pt"
lang="en-US"><br>
</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">The
programme consists of three tutorials by invited speakers
and contributed talks. Arrangements for virtual
participation will be made, but we encourage in-person
participation when possible.</span></font><font size="3"
face="Segoe UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">TUTORIALS
BY INVITED SPEAKERS:</span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<ul>
<li><font style="font-family:Calibri, Arial, Helvetica,
sans-serif, serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="2"
face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11pt"
lang="en-US">"Weihrauch Complexity", by Vasco
Brattka (Universität der Bundeswehr München)</span></font><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font></span></font></li>
<li><span style="font-size: 11pt;">"Satisfiability and its
Applications", by Mikoláš Janota (Czech Technical University
in Prague)</span><br>
</li>
<li><span style="font-size: 11pt;">"Univalent Combinatorics", by
Egbert Rijke (University of Ljubljana)</span><br>
</li>
</ul>
</div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)" class="elementToProof">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">REGISTRATION</span></font><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11.5pt"
lang="en-US"><br>
</span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)" class="elementToProof">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US"><br>
</span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)" class="elementToProof">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">Registration
is free, but required. Please register on the following
link: <a href="https://urldefense.com/v3/__https://daysinlogic2022.ualg.pt/registration/__;!!IBzWLUs!TZqyY-rYKZSM__NhmHr5rxEsTt4A0Dv1p-1tVKYibEdTf7fKYsgtU-ArDWh2L4wSlsM-Ky2Sfcb3X41Xd-L465fo4nu4Zbc$" id="LPlnk692099" class="moz-txt-link-freetext">https://daysinlogic2022.ualg.pt/registration/</a></span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">ORGANIZING
COMMITTEE</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">Daniel
Graça (Universidade do Algarve), </span></font><a
href="mailto:dgraca@ualg.pt" target="_blank" rel="noopener
noreferrer" data-auth="NotApplicable" data-linkindex="1"
style="margin:0px"><font
face="Calibri,Helvetica,sans-serif,serif,EmojiFont"><font
size="2"><span style="margin:0px;font-size:11pt"
lang="en-US">dgraca@ualg.pt</span></font></font></a><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11.5pt"
lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">Gilda
Ferreira (Universidade Aberta), </span></font><a
href="mailto:gmferreira@fc.ul.pt" target="_blank"
rel="noopener noreferrer" data-auth="NotApplicable"
data-linkindex="2" style="margin:0px"><font
face="Calibri,Helvetica,sans-serif,serif,EmojiFont"><font
size="2"><span style="margin:0px;font-size:11pt"
lang="en-US">gmferreira@fc.ul.pt</span></font></font></a><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11.5pt"
lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">José
Espírito Santo (Universidade do Minho), </span></font><a
href="mailto:jes@math.uminho.pt" target="_blank"
rel="noopener noreferrer" data-auth="NotApplicable"
data-linkindex="3" style="margin:0px"><font
face="Calibri,Helvetica,sans-serif,serif,EmojiFont"><font
size="2"><span style="margin:0px;font-size:11pt"
lang="en-US">jes@math.uminho.pt</span></font></font></a><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11.5pt"
lang="en-US"><br>
</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">MORE
INFORMATION</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)" class="elementToProof">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">For details
about registration, venue, accomodation, and the
programme, please consult:</span></font><font size="3"
face="Segoe UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font></span></font></div>
<div
style="margin:0px;font-size:15px;font-family:wf_segoe-ui_normal,
"Segoe UI", "Segoe WP", Tahoma, Arial,
sans-serif, serif, EmojiFont;color:rgb(33, 33,
33);background-color:rgb(255, 255, 255)">
<font style="font-family:Calibri, Arial, Helvetica, sans-serif,
serif, EmojiFont" size="3" color="black"><span
style="margin:0px;font-size:12pt"><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><a href="https://urldefense.com/v3/__https://daysinlogic2022.ualg.pt/__;!!IBzWLUs!TZqyY-rYKZSM__NhmHr5rxEsTt4A0Dv1p-1tVKYibEdTf7fKYsgtU-ArDWh2L4wSlsM-Ky2Sfcb3X41Xd-L465fokgfZjJk$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="4" style="margin:0px"><font
face="Calibri,Helvetica,sans-serif,serif,EmojiFont"><font
size="2"><span style="margin:0px;font-size:11pt"
lang="en-US">https://daysinlogic2022.ualg.pt/</span></font></font></a><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11.5pt"
lang="en-US"><br>
</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">ACKNOWLEDGEMENTS</span></font><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11.5pt"
lang="en-US"><br>
</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">Days in
Logic 2022 is supported by the FCT funded research units</span></font><font
size="3" face="Segoe UI,sans-serif,serif,EmojiFont"
color="#212121"><span style="margin:0px;font-size:11.5pt"
lang="en-US"><br>
</span></font><font size="3" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">IT -
Instituto de Telecomunicações</span></font><font size="3"
face="Segoe UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">CMAFcIO -
Universidade de Lisboa</span></font><font size="3"
face="Segoe UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11.5pt" lang="en-US"><br>
</span></font><font size="2" face="Segoe
UI,sans-serif,serif,EmojiFont" color="#212121"><span
style="margin:0px;font-size:11pt" lang="en-US">CMAT -
Universidade do Minho</span></font></span></font></div>
</body>
</html>