<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">======================================================<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2013)<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> Conference and Summer School<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> (Abstract Submission Deadline: April 1, 2013)<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> (Support Request Deadline: April 21, 2013)<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">======================================================<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">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></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Conference and Shanks Lectures: July 28 - August 1, 2013<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Summer School: July 24 - 27, 2013<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Department of Mathematics, Vanderbilt University<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Nashville, Tennessee USA<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "><a href="http://www.math.vanderbilt.edu/~tacl2013/" style="color: purple; ">http://www.math.vanderbilt.edu/~tacl2013/</a><o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">=============================================<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Sponsors<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">-------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">National Science Foundation<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Association for Symbolic Logic<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Shanks Endowment<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Vanderbilt University<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Consortium for Order in Algebra and Logic <o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Invited Speakers (Conference)<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">-------------------------------------------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Vladimir Voevodsky, Institute for Advanced Studies (Shanks Lecturer)<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Nick Bezhanishvili, Utrecht University</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Leo Cabrer, University of Oxford</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Silvio Ghilardi, University of Milan</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Rostislav Horcik, Academy of Sciences of the Czech Republic</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">George Metcalfe, University of Bern</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Alex Simpson, University of Edinburgh</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Summer School Invited Speakers and Courses<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">-------------------------------------------------------------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Grigori Mints, Stanford University (on Proof Theory)<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Lawrence Moss, Indiana University (on Recursion and Circularity)</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Francesco Paoli, University of Cagliari (on Algebraic Logic)</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Peter Selinger, Dalhousie University (on Categorical Logic)</span><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Scope of the Conference<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">---------------------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">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></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Featured topics<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">---------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">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></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">* Algebraic structures in CS<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Algebraic logic</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Coalgebra</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Categorical methods in logic</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Domain theory</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Lattice theory</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Lattices with operators</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Many-valued and fuzzy logics</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Modal logics</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Non-classical logics</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Ordered topological spaces</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Ordered algebraic structures</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Point-free topology</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Proofs and Types</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Residuated structures</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Semantics</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Stone-type dualities</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Substructural logics</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">* Topological semantics of modal logic</span><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">The Summer School<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">----------------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">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></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">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></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">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" style="color: purple; ">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></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Submissions to the Conference<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">-------------------------------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Contributed presentations will be of two types:<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">o 20 minutes long presentations in parallel sessions and<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">o featured, 30 minutes long, plenary presentations.</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">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></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Important Dates<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">----------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">April 1, 2013: Abstract submission deadline<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">April 21, 2013: Conference support request deadline</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">April 21, 2013: Summer School support request deadline</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">May 1, 2013: Notification to authors and summer school applicants</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">June 1, 2013 - Deadline for early online registration and payment</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">July 24 - 27: Summer School</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">July 28-August 1, 2013: Conference</span><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Program Committee<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">---------------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Steve Awodey, Carnegie Mellon University<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Guram Bezhanishvili, New Mexico State University</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">David Gabelaia, Razmadze Mathematical Institute, Tbilisi</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Nick Galatos (co-chair), University of Denver</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Mai Gehrke, LIAFA, University of Paris Diderot</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Rob Goldblatt, Victoria University, Wellington</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">John Harding, New Mexico State University</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Ramon Jansana, University of Barcelona</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Peter Jipsen, Chapman University</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Achim Jung, University of Birmingham</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Alexander Kurz (co-chair), University of Leicester</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Vincenzo Marra, University of Milan</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Hiroakira Ono, Japan Advanced Institute of Science and Technology</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Alessandra Palmigiano, University of Amsterdam</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Hilary Priestley, St Anne's College, Oxford</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">James Raftery, University of KwaZulu-Natal, Durban</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Thomas Streicher, Technical University of Darmstadt</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Kazushige Terui, Kyoto University</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Constantine Tsinakis, Vanderbilt University</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Yde Venema, University of Amsterdam</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Michael Zakharyaschev, Birkbeck College, University of London</span><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Organizing Committee<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">-------------------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Chris Conidis, Vanderbilt University<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Lianzhen Liu, Jiangnan University, China</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Warren McGovern, Florida Atlantic University</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Francesco Paoli, University of Cagliari</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Rebecca Steiner, Vanderbilt University</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">Constantine Tsinakis (chair), Vanderbilt University</span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; ">William Young, Vanderbilt University</span><span style="font-family: Calibri, sans-serif; font-size: 8.5pt; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">Expression of interest<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">------------------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">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></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">More Information<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">-----------------------<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">TACL 2013 web site: <a href="http://www.math.vanderbilt.edu/~tacl2013/" style="color: purple; ">http://www.math.vanderbilt.edu/~tacl2013/</a><o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">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></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 8.5pt; font-family: Calibri, sans-serif; ">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" style="color: purple; ">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" style="color: purple; ">tacl2013oc@vanderbilt.edu</a>. <o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><span style="font-size: 11pt; font-family: Calibri, sans-serif; "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div><div style="margin: 0in 0in 0.0001pt; font-size: 12pt; font-family: 'Times New Roman', serif; "><o:p> </o:p></div></body></html>