<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><span class="">Değerli Liste Üyeleri, detayları aşağıda verilen
seminere sizleri davet etmek isteriz. İyi çalışmalar,<br>
<br>
kağan</span></p>
<p><span class=""><br>
</span></p>
<p><br>
</p>
<div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode:
space; line-break: after-white-space;" class="">
<div class=""><b class="">MATHEMATICS COLLOQUIUM</b></div>
<div class=""><b class=""><br class="">
</b></div>
<div class="">You are cordially invited to attend the colloquium
given by Robert McGrail (Bard College, NY) on Thursday, 22 March
2018, in FENS-L055 at 1.40 pm.</div>
<div class=""><br class="">
</div>
<div class="">
<div class="MsoNormal" style="margin: 0cm 0cm 0.0001pt;
font-size: 12pt; font-family: "Times New Roman",
serif; text-align: center;" align="center"><span class=""
style="font-family: Arial, sans-serif;">
<hr class="" align="center" size="2" width="100%"></span></div>
<div class="" style="margin: 0cm 0cm 0.0001pt;"><b class="">Robert
McGrail</b></div>
<div class="" style="margin: 0cm 0cm 0.0001pt;"><br class="">
</div>
<div class="" style="margin: 0cm 0cm 0.0001pt;">Title: P/NP
Dichotomy for Finite Quandles</div>
<div class="" style="margin: 0cm 0cm 0.0001pt;"><br class="">
</div>
<div class="" style="margin: 0cm 0cm 0.0001pt;">Abstract: In
the 1990's, Jeavons showed that every finite algebra
corresponds to a class of constraint satisfaction problems.
Vardi later conjectured that idempotent algebras exhibit P/NP
dichotomy: Every non NP-complete algebra in this class must
be tractable. The speaker demonstrates that dichotomy in
finite quandles follows from a very strong notion of
connectivity in Cayley graphs. Moreover, P/NP membership is
first-order axiomatizable in an important subclass of
quandles.</div>
</div>
<div class="">
<div class="MsoNormal" style="margin: 0cm 0cm 0.0001pt;
font-size: 12pt; font-family: "Times New Roman",
serif; text-align: center;" align="center"><span class=""
style="font-family: Arial, sans-serif;"><br class="">
<hr class="" align="center" size="2" width="100%"></span></div>
<div class="" style="margin: 0cm 0cm 0.0001pt;">Kind regards,</div>
<div class="" style="margin: 0cm 0cm 0.0001pt;"><br class="">
</div>
<div class="" style="margin: 0cm 0cm 0.0001pt;">Yasemin </div>
<div class="" style="margin: 0cm 0cm 0.0001pt;"><br class="">
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"><br>
</fieldset>
<p><span class=""></span></p>
<p><span class=""><br>
</span></p>
<p><br>
</p>
<pre class="moz-signature" cols="72">p.s. Sabancı Üniv kampüsüne ulaşım için <a class="moz-txt-link-freetext" href="http://www.sabanciuniv.edu/tr/ulasim/ring-sefer-saatleri">http://www.sabanciuniv.edu/tr/ulasim/ring-sefer-saatleri</a> adresine bakınız.
</pre>
<p><span class=""></span></p>
<pre class="moz-signature" cols="72">--
Kağan Kurşungöz
<a class="moz-txt-link-freetext" href="http://math.sabanciuniv.edu/">http://math.sabanciuniv.edu/</a>
</pre>
</body>
</html>