10-21 Jun 2019
=================================================================
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/
--
[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