TACL 2019 First announcement

TACL 2019 First announcement

[Tomáš Jakl]

=================================================================
       TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2019)

                     First announcement
=================================================================

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

https://math.unice.fr/tacl/2019/

Organized by Laboratoire J. A. Dieudonn??, Universit?? C??te d???Azur.


Scope
-----

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
(2017).


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:

https://easychair.org/conferences/?conf=tacl2019


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/


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]