Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

17 - 21 June 2019, Topology, Algebra, and Categories in Logic 2019 (TACL 2019), Nice, France

Date: 17 - 21 June 2019
Location: Nice, France
Deadline: Wednesday 27 February 2019

Studying logic 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 2019 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods.

Contributed talks are intended to be about topological, algebraic
or categorical methods used in mathematical or computer science
logic. Authors can submit an Extended Abstract of 2 pages (including references) at the EasyChair conference system.

For more information, see https://math.unice.fr/tacl/2019/ or contact TACL team at .

Please note that this newsitem has been archived, and may contain outdated information or links.