20-30 Jun 2017
=======================================================
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: tacl2017@cs.cas.cz
School email: school2017@upol.cz
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam