<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=Windows-1252">
<meta name="Generator" content="Microsoft Word 12 (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:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle18
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
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="blue" vlink="purple">
<div class="WordSection1">
<div>
<div>
<div>
<div>
<div>
<div>
<p class="MsoNormal"><span style="color:black"> [Apologies for multiple copies]<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"> ======================================================<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"> TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2013)<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"> ======================================================<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"> July 28 - August 1, 2013<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"> Department of Mathematics, Vanderbilt University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"> Nashville, Tennessee USA<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"> <a href="http://www.math.vanderbilt.edu/~tacl2013/">http://www.math.vanderbilt.edu/~tacl2013/</a><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"> The Sixth International Conference on Topology, Algebra and Categories<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"> in conjunction with the<o:p></o:p></span></p>
</div>
</div>
</div>
</div>
<div>
<div>
<div>
<div>
<p class="MsoNormal"><span style="color:black"> 28th Annual Shanks Lecture Series<o:p></o:p></span></p>
</div>
</div>
</div>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<div>
<div>
<div>
<p class="MsoNormal"><span style="color:black">Scope<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">---------<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques
stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their
applications: algebraic, categorical, and topological methods. This is the sixth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona
(2005), Oxford (2007), Amsterdam (2009), Marseilles (2011).<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Confirmed invited speakers<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">-------------------------------------<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Vladimir Voevodsky, Institute for Advanced Studies, USA (Shanks Lecturer)<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Nick Bezhanishvili, Utrecht University, The Netherlands<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Leo Cabrer, University of Oxford, UK<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Silvio Ghilardi, University of Milan, Italy<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">George Metcalfe, University of Bern, Switzerland<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Alex Simpson, University of Edinburgh, UK<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Featured topics<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">---------------------<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas:<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Algebraic structures in CS<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Algebraic logic<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Coalgebra<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Categorical methods in logic<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Domain theory<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Lattice theory<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Lattices with operators<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Many-valued and fuzzy logics<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Modal logics<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Non-classical logics<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Ordered topological spaces<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Ordered algebraic structures<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Pointfree topology<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Proofs and Types<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Residuated structures<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Semantics<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Stone-type dualities<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Substructural logics<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">* Topological semantics of modal logic<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Submissions<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">-----------------<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Contributed presentations will be of two types:<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">o 20 minutes long presentations in parallel sessions and<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">o featured, 30 minutes long, plenary presentations.<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">The submission of an abstract will be required to be selected for a contributed presentation of either kind. While preference will be given to new work, results that have already been published or presented elsewhere
will also be considered. More information on the submission procedure, as well as a link to the EasyChair system, can be found at the conference web site.<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Important dates<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">----------------------<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">April 1, 2013: Abstract submission deadline<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">May 1, 2013: Notification to authors<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">July 28-August 1, 2013: Conference<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Program Committee<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">---------------------------<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Steve Awodey, Carnegie Mellon University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Guram Bezhanishvili, New Mexico State University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">David Gabelaia, Razmadze Mathematical Institute, Tbilisi<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Nick Galatos (co-chair), University of Denver<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Mai Gehrke, LIAFA, University of Paris Diderot<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Rob Goldblatt, Victoria University, Wellington<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">John Harding, New Mexico State University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Ramon Jansana, University of Barcelona<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Peter Jipsen, Chapman University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Achim Jung, University of Birmingham<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Alexander Kurz (co-chair), University of Leicester<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Vincenzo Marra, University of Milan<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Hiroakira Ono, Japan Advanced Institute of Science and Technology<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Alessandra Palmigiano, University of Amsterdam<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Hilary Priestley, St Anne's College, Oxford<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">James Raftery, University of KwaZulu-Natal, Durban<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Thomas Streicher, Technical University of Darmstadt<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Kazushige Terui, Kyoto University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Constantine Tsinakis, Vanderbilt University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Yde Venema, University of Amsterdam<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Michael Zakharyaschev, Birkbeck College, University of London<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Organizing Committee<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">-------------------------------<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Chris Conidis, Vanderbilt University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Lianzhen Liu, Jiangnan University, China<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Warren McGovern, Florida Atlantic University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Francesco Paoli, University of Cagliari<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Rebecca Steiner, Vanderbilt University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Constantine Tsinakis (chair), Vanderbilt University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">William Young, Vanderbilt University<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Expression of interest<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">------------------------------<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">We would greatly appreciate your taking two minutes to express your level of interest in the conference by filling out a simple form on the conference web site under "Express Interest". This will help the Organizing
Committee with their planning. You can also opt-out from receiving future announcements by clicking the link at the bottom of this email. <o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">More Information<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">-----------------------<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">TACL 2013 web site: <a href="http://www.math.vanderbilt.edu/~tacl2013/">
http://www.math.vanderbilt.edu/~tacl2013/</a><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Use this site for local information, including hotel accommodations, for travel information and registration, and for submitting a request for financial support. <o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black">Any queries for the Program Committee (such as usage of the EasyChair conference system, abstract submission guidelines, conference program, etc.) should be sent to
<a href="mailto:tacl2013@gmail.com">tacl2013@gmail.com</a>. Queries for the local Organizing Committee (registration, hotel accommodations, financial support and reimbursements, technology infrastructure, etc.) should be sent to
<a href="mailto:tacl2013oc@vanderbilt.edu">tacl2013oc@vanderbilt.edu</a>.<o:p></o:p></span></p>
</div>
<div>
<div style="border:none;border-bottom:solid windowtext 1.0pt;padding:0in 0in 1.0pt 0in">
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
</div>
<div>
<p class="MsoNormal">To unsubscribe from this list, please send an email to<span style="color:#1F497D">
</span><a href="mailto:LISTSERV@LIST.VANDERBILT.EDU">LISTSERV@LIST.VANDERBILT.EDU</a> with "SIGNOFF TACL2013" as the body of message.<o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>