First announcement

Conference: June 17 - 21, 2019  in Nice
School:     June 10 - 15, 2019  in Île de Porquerolles


Organized by Laboratoire J. A. Dieudonné, Université Côte d’Azur.


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.

TACL 2019 is the ninth 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), Ischia (2015), and Prague

Featured topics

Contributed talks are intended to be about topological, algebraic
or categorical methods used in mathematical or computer science
logic. This includes, but is not limited to, the following areas:

  * Algebraic logic
  * Algebraic structures in CS
  * Categorical methods in logic
  * Coalgebra
  * Domain theory
  * Fuzzy and many-valued logics
  * Lattice theory
  * Lattices with operators
  * Modal logics
  * Non-classical logics
  * Ordered algebraic structures
  * Ordered topological spaces
  * Pointfree topology
  * Proofs and types
  * Residuated structures
  * Semantics
  * Stone-type dualities
  * Substructural logics
  * Topological semantics of modal logic

Invited speakers

  * Samson Abramsky
    Department of Computer Science, University of Oxford
  * Johan van Benthem
    Department of Philosophy, Stanford University
  * Marcel Erné
    Institute of Algebra, Number Theory and Discrete Mathematics, Leibniz University Hannover
  * Sam van Gool
    Institute for Logic, Language and Computation, University of Amsterdam
  * Wesley Holliday
    Department of Philosophy, University of California Berkeley
  * Agi Kurucz
    Department of Informatics, King’s College London
  * Tommaso Moraschini
    Institute of Computer Science, Czech Academy of Sciences
  * Daniela Petrisan
    Institut de Recherche en Informatique Fondamentale, Université Paris Diderot
  * Hilary Priestley
    Mathematical Institute, University of Oxford
  * Boris Zilber
    Mathematical Institute, University of Oxford

Lecturers at the Summer School

  * Maria Manuel Clementino - Category Theory
    Coimbra University
  * André Joyal - Topos Theory
    University of Quebec in Montreal
  * George Metcalfe - Algebraic Methods in Proof Theory
    University of Bern
  * Yde Venema - Duality Theory
    University of Amsterdam

Submission instructions

Authors can submit an Extended Abstract of 2 pages (including
references) at the EasyChair conference system:


Important dates

School:                   June 10 - 15, 2019
Conference:               June 17 - 21, 2019

Contributed talks:
Submission deadline:      February 27, 2019
Notification to authors:     April 10, 2019

The school's programme will start on Tuesday June 11 in the
morning and will end on Saturday June 15 in the afternoon.
Arrival on the island will be on Monday June 10 in the evening
and departure at the end of the day on Saturday June 15. A bus
transfer from and to Nice will be arranged by the organisers. The
conference programme will start on Monday June 17 in the morning
and will end on Friday June 21 in the afternoon.

Program Committee

Silvio Ghilardi, University of Milan, Italy (PC co-chair)
Ramon Jansana, University of Barcelona, Spain (PC co-chair)
Mai Gehrke, CNRS and Université Côte d’Azur, France (liaison with local organizing committee)
Nick Bezhanishvili, University of Amsterdam, Netherlands
Marta Bílková, Charles University, Czech Republic
Agata Ciabattoni, TU Vienna, Austria
David Gabelaia, Tbilisi State University, Republic of Georgia
Jean Goubault-Larrecq, ENS Cachan, France
John Harding, New Mexico State University, USA
Rosalie Iemhoff, Utrecht University, Netherlands
Vincenzo Marra, University of Milan, Italy
Paul-André Melliès, CNRS and Paris Diderot University, France
Jorge Picado, University of Coimbra, Portugal
Aleš Pultr, Charles University, Czech Republic
James Raftery, University of Pretoria, South Africa
Anna Romanowska, Warsaw Polytechnic, Poland
Valentin Shehtman, Moscow State University, Russia
Isar Stubbe, University Côte d’Opale, France
Fred Wehrung, CNRS and University of Caen, France
Michael Zakharyaschev, University of London, United Kingdom

Steering Committee

Guram Bezhanishvili, New Mexico State University, United States
Mai Gehrke, CNRS and Université Côte d’Azur, France
Silvio Ghilardi, University of Milan, Italy
Rob Goldblatt, Victoria University Wellington, New Zealand
Ramón Jansana, University of Barcelona, Spain
Hilary Priestley, University of Oxford, United Kingdom
James Raftery, University of Pretoria, South Africa
Yde Venema, University of Amsterdam, Netherlands

Organizing Committee

Mai Gehrke
Étienne Lozes
Frédéric Patras
Luigi Santocanale
Clemens Berger
Carlos Simpson
Célia Borlido
Tomáš Jakl
Brett McLean
Axel Osmond
Luca Reggio
Mehdi Zaïdi

More Information

Information about registration and potential applications for
reduced fees as well as suggested hotels will be forthcoming in
future announcements. Since hotels on the riviera fill up quickly
it is important to book early.

If you want to be sure to receive future announcements, please
send a message to this effect to the conference e-mail address.

TACL 2019 web site: https://math.unice.fr/tacl/2019/
Conference email:   tacl@unice.fr
School web site:    https://math.unice.fr/tacl/2019/school/