[logic-ml] [TACL 2017] First announcement

[小野 寛晰]

[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 <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 <http://www.cs.cas.cz/tacl2017>
Conference email: tacl2017 at cs.cas.cz <mailto:tacl2017 at cs.cas.cz>
School email: school2017 at upol.cz <mailto:school2017 at upol.cz>


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160704/a1e0a8ee/attachment.html>