The Eighth International Conference on Topology, Algebra and Categories in Logic

Страна: Чехия

Город: Prague

Тезисы до: 28.02.2017

Даты: 26.06.17 — 30.06.17

Область наук: Физико-математические;

Е-мейл Оргкомитета: tacl2017@cs.cas.cz

Организаторы: Institute of Computer Science , Czech Academy of Sciences & Faculty of Arts, Charles University

 

Background and scope. 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, tool 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 eight conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013) and Ischia (2015). Topics. 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: Algebraic structures in CS Lattices with operators Proofs and types Algebraic logic Modal logics Residuated structures Coalgebra Non-classical logics Semantics Categorical methods in logic Ordered topological spaces Stone-type dualities Domain theory Ordered algebraic structures Substructural logics Fuzzy and many-valued logics Pointfree topology Topological semantics of modal logic

Веб-сайт конференции: http://www.cs.cas.cz/tacl2017/