---------- Forwarded message ---------- [Apologies for multiple copies]
======================================================= TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2017) ======================================================= Conference: June 26 -- 30, 2017 (Prague) School: June 20 -- 24, 2017 (Olomouc) http://www.cs.cas.cz/tacl2017 The Eighth International Conference on Topology, Algebra and Categories in Logic organized by Institute of Computer Science, Czech Academy of Sciences Faculty of Arts, Charles University in Prague & & & & & & & & & & & & & & & & & & & & & & & The Third Summer School organized by Faculty of Science, Palacký University Olomouc 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 programme of the conference TACL 2017 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 eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier instalments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013) and Ischia (2015). Starting from 2013, the conference is preceded by a summer school. Featured topics ------------------ Contributed talks can be on with any topic involving the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Lattice theory * Lattices with operators * Many-valued and fuzzy logics * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Venues ------ The conference will be held at the campus of the Faculty of Arts, Charles University in Prague. The school will be held at the campus of the Faculty of Science, Palacký University Olomouc. (The two cities are two hours train trip apart.) Important dates ----------------- June 20 - June 24, 2017: School (Olomouc) June 26 - June 30, 2017: Conference (Prague) Programme Committee Chairs -------------------------- John Harding, New Mexico State University Rosalie Iemhoff, Utrecht University Steering Committee -------------------- Guram Bezhanishvili, New Mexico State University Mai Gehrke, University of Paris Diderot Rob Goldblatt, Victoria University, Wellington Ramón Jansana, University of Barcelona Achim Jung, University of Birmingham Hiroakira Ono, Japan Advanced Institute of Science and Technology Yde Venema, University of Amsterdam Michael Zakharyaschev, University of London Organizing Committees --------------------- Conference: Marta Bílková (chair), Faculty of Arts, Charles University in Prague Petr Cintula (chair), Institute of Computer Science, CAS Zuzana Haniková Rostislav Horčík Tomáš Lávička Ondrej Majer Tommaso Moraschini Carles Noguera Adam Přenosil Igor Sedlár Amanda Vidal Wandelmer School: Radomír Halaš (chair), Faculty of Science, Palacký University Olomouc Martin Broušek Jan Kuhr More Information ---------------- TACL 2017 web site: http://www.cs.cas.cz/tacl2017 Conference email: [email protected] School email: [email protected] -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhuoDGJd32QBwkXU2XtKiDxLo%2BGa%2BgY1shORx3L3OUqVQ%40mail.gmail.com.
