<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><br class=""></div><div class=""><br class=""></div>[Apologies for multiple copies]<br class=""><br class="">=======================================================<br class="">TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2017)<br class="">=======================================================<br class=""><br class="">Conference: June 26 -- 30, 2017 (Prague)<br class="">School: June 20 -- 24, 2017 (Olomouc)<br class=""><br class=""><a href="http://www.cs.cas.cz/tacl2017" class="">http://www.cs.cas.cz/tacl2017</a><br class=""><br class="">The Eighth International Conference on Topology, Algebra<br class="">and Categories in Logic<br class=""><br class="">organized by<br class=""> Institute of Computer Science, Czech Academy of Sciences<br class=""> Faculty of Arts, Charles University in Prague<br class=""><br class="">& & & & & & & & & & & & & & & & & & & & & & &<br class=""><br class="">The Third Summer School<br class=""><br class="">organized by<br class=""> Faculty of Science, Palacký University Olomouc<br class=""><br class=""><br class="">Studying logics via semantics is a well-established and very active<br class="">branch of mathematical logic, with many applications, in computer<br class="">science and elsewhere. The area is characterized by results, tools<br class="">and techniques stemming from various fields, including universal<br class="">algebra, topology, category theory, order, and model theory.<br class="">The programme of the conference TACL 2017 will focus on three<br class="">interconnecting mathematical themes central to the semantical<br class="">study of logics and their applications: algebraic, categorical,<br class="">and topological methods. This is the eighth conference in the<br class="">series Topology, Algebra and Categories in Logic (TACL, formerly<br class="">TANCL). Earlier instalments of this conference have been organized<br class="">in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam<br class="">(2009), Marseille (2011), Nashville (2013) and Ischia (2015).<br class="">Starting from 2013, the conference is preceded by a summer school.<br class=""><br class=""><br class="">Featured topics<br class="">------------------<br class="">Contributed talks can be on with any topic involving the use of<br class="">algebraic, categorical or topological methods in either logic or<br class="">computer science. This includes, but is not limited to, the<br class="">following areas:<br class=""><br class="">* Algebraic structures in CS<br class="">* Algebraic logic<br class="">* Coalgebra<br class="">* Categorical methods in logic<br class="">* Domain theory<br class="">* Lattice theory<br class="">* Lattices with operators<br class="">* Many-valued and fuzzy logics<br class="">* Modal logics<br class="">* Non-classical logics<br class="">* Ordered topological spaces<br class="">* Ordered algebraic structures<br class="">* Pointfree topology<br class="">* Proofs and Types<br class="">* Residuated structures<br class="">* Semantics<br class="">* Stone-type dualities<br class="">* Substructural logics<br class="">* Topological semantics of modal logic<br class=""><br class=""><br class="">Venues<br class="">------<br class="">The conference will be held at the campus of the Faculty of Arts,<br class="">Charles University in Prague.<br class=""><br class="">The school will be held at the campus of the Faculty of Science,<br class="">Palacký University Olomouc.<br class="">(The two cities are two hours train trip apart.)<br class=""><br class=""><br class="">Important dates<br class="">-----------------<br class="">June 20 - June 24, 2017: School (Olomouc)<br class="">June 26 - June 30, 2017: Conference (Prague)<br class=""><br class=""><br class="">Programme Committee Chairs<br class="">--------------------------<br class="">John Harding, New Mexico State University<br class="">Rosalie Iemhoff, Utrecht University<br class=""><br class=""><br class="">Steering Committee<br class="">--------------------<br class="">Guram Bezhanishvili, New Mexico State University<br class="">Mai Gehrke, University of Paris Diderot<br class="">Rob Goldblatt, Victoria University, Wellington<br class="">Ramón Jansana, University of Barcelona<br class="">Achim Jung, University of Birmingham<br class="">Hiroakira Ono, Japan Advanced Institute of Science and Technology<br class="">Yde Venema, University of Amsterdam<br class="">Michael Zakharyaschev, University of London<br class=""><br class=""><br class="">Organizing Committees<br class="">---------------------<br class="">Conference:<br class="">Marta Bílková (chair), Faculty of Arts, Charles University in Prague<br class="">Petr Cintula (chair), Institute of Computer Science, CAS<br class="">Zuzana Haniková<br class="">Rostislav Horčík<br class="">Tomáš Lávička<br class="">Ondrej Majer<br class="">Tommaso Moraschini<br class="">Carles Noguera<br class="">Adam Přenosil<br class="">Igor Sedlár<br class="">Amanda Vidal Wandelmer<br class=""><br class="">School:<br class="">Radomír Halaš (chair), Faculty of Science, Palacký University Olomouc<br class="">Martin Broušek<br class="">Jan Kuhr<br class=""><br class=""><br class="">More Information<br class="">----------------<br class="">TACL 2017 web site: <a href="http://www.cs.cas.cz/tacl2017" class="">http://www.cs.cas.cz/tacl2017</a><br class="">Conference email: <a href="mailto:tacl2017@cs.cas.cz" class="">tacl2017@cs.cas.cz</a><br class="">School email: <a href="mailto:school2017@upol.cz" class="">school2017@upol.cz</a><div class=""><br class=""></div><div class=""><br class=""></div></body></html>