<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 12 (filtered medium)">
<style><!--
/* Font Definitions */
@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:11.0pt;
font-family:"Calibri","sans-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-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@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">
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">======================================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2013)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"> Conference and Summer School<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"> Abstract Submission Deadline (<b>EXTENDED</b>): April 8, 2013<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"> Support Request Deadline: April 21, 2013<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">======================================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">The Sixth International Conference (and Summer School) on Topology, Algebra and Categories in conjunction with the 28th Annual Shanks Lecture Series<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Conference and Shanks Lectures: July 28 - August 1, 2013<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Summer School: July 24 - 27, 2013<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Department of Mathematics, Vanderbilt University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Nashville, Tennessee USA<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><a href="http://www.math.vanderbilt.edu/~tacl2013/">http://www.math.vanderbilt.edu/~tacl2013/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">=============================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Sponsors<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">-------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">National Science Foundation<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Association for Symbolic Logic<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Shanks Endowment<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Vanderbilt University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Consortium for Order in Algebra and Logic <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Invited Speakers (Conference)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">-------------------------------------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Vladimir Voevodsky, Institute for Advanced Studies (Shanks Lecturer)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Bernhard Banaschewski, McMaster University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Nick Bezhanishvili, Utrecht University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Leo Cabrer, University of Oxford<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Silvio Ghilardi, University of Milan<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Rostislav Horcik, Academy of Sciences of the Czech Republic<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">George Metcalfe, University of Bern<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Alex Simpson, University of Edinburgh<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Summer School Invited Speakers and Courses<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">-------------------------------------------------------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Grigori Mints, Stanford University (on Proof Theory)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Lawrence Moss, Indiana University (on Recursion and Circularity)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Francesco Paoli, University of Cagliari (on Algebraic Logic)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Peter Selinger, Dalhousie University (on Categorical Logic)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Scope of the Conference<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">---------------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;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>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Featured topics<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">---------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;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>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Algebraic structures in CS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Algebraic logic<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Coalgebra<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Categorical methods in logic<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Domain theory<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Lattice theory<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Lattices with operators<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Many-valued and fuzzy logics<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Modal logics<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Non-classical logics<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Ordered topological spaces<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Ordered algebraic structures<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Point-free topology<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Proofs and Types<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Residuated structures<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Semantics<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Stone-type dualities<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Substructural logics<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">* Topological semantics of modal logic<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">The Summer School<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">----------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">TACL brings together different disciplines with the goal of exploring problems in logic. Partly due to the success of the TACL conference series, researchers have started employing tools used outside
their immediate areas, either individually or in collaboration with specialists in research fields featured in the series. Such interactions have also naturally lead to new directions that combine ideas from two or more research fields.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">This has been a gradual and arduous process and TACL can boast of having participants that are at least somewhat familiar with most of the featured areas. However, young researchers and students
who attend the conference and work in TACL fields have a more restricted and specialized repertoire of tools and knowledge. The goal of the Summer School is to fill the gap and expose such researchers to a variety of methods that can be used to study logic.
It will primarily target graduate students and postdocs, but also more senior researchers who are not familiar with aspects of neighboring areas. <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Prospective Summer School participants should express their interest on the 'Express Interest' page of the TACL 2013 web site by selecting the events that plan to attend (summer school and/or conference).
Limited funds for supporting summer school participants are available (mainly through NSF). Those who plan to request financial support should submit a copy of their CV and a letter of support from their PhD advisor or post-doc supervisor (if applicable) to
<a href="mailto:tacl2013@gmail.com">tacl2013@gmail.com</a> with 'Summer School support request' in the subject line by April 21, 2013. In addition, they need to fill out the financial support form on the 'Support Requests' page by the same date. Registration
should also be completed by June 1, 2013. We would appreciate your assistance in advertising the Summer School to interested students. Additional information can be found on the 'Summer School' page of the TACL 2013 web site.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Submissions to the Conference<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">-------------------------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Contributed presentations will be of two types:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">o 20 minutes long presentations in parallel sessions and<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">o featured, 30 minutes long, plenary presentations.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;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>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Important Dates<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">----------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">April 8, 2013: Abstract submission deadline<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">April 21, 2013: Conference support request deadline<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">April 21, 2013: Summer School support request deadline<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">May 1, 2013: Notification to authors and summer school applicants<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">June 1, 2013 - Deadline for early online registration and payment<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">July 24 - 27: Summer School<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">July 28-August 1, 2013: Conference<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Program Committee<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">---------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Steve Awodey, Carnegie Mellon University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Guram Bezhanishvili, New Mexico State University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">David Gabelaia, Razmadze Mathematical Institute, Tbilisi<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Nick Galatos (co-chair), University of Denver<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Mai Gehrke, LIAFA, University of Paris Diderot<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Rob Goldblatt, Victoria University, Wellington<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">John Harding, New Mexico State University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Ramon Jansana, University of Barcelona<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Peter Jipsen, Chapman University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Achim Jung, University of Birmingham<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Alexander Kurz (co-chair), University of Leicester<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Vincenzo Marra, University of Milan<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Hiroakira Ono, Japan Advanced Institute of Science and Technology<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Alessandra Palmigiano, University of Amsterdam<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Hilary Priestley, St Anne's College, Oxford<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">James Raftery, University of KwaZulu-Natal, Durban<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Thomas Streicher, Technical University of Darmstadt<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Kazushige Terui, Kyoto University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Constantine Tsinakis, Vanderbilt University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Yde Venema, University of Amsterdam<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Michael Zakharyaschev, Birkbeck College, University of London<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Organizing Committee<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">-------------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Chris Conidis, Vanderbilt University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Lianzhen Liu, Jiangnan University, China<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Warren McGovern, Florida Atlantic University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Francesco Paoli, University of Cagliari<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Rebecca Steiner, Vanderbilt University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Constantine Tsinakis (chair), Vanderbilt University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">William Young, Vanderbilt University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">Expression of interest<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">------------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;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>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">More Information<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black">-----------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;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>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;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>
<p class="MsoNormal"><span style="font-size:9.5pt;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:9.5pt;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>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>