[FOM] TACL 2019 First announcement
Ramon Jansana
jansana at ub.edu
Mon Oct 8 09:39:16 EDT 2018
I would appreciate very much if you distribute to the FOM list the
following announcement.
=================================================================
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 at unice.fr
School web site: https://math.unice.fr/tacl/2019/school/
--
Ramon Jansana
Departament de Filosofia
Universitat de Barcelona
Montalegre, 6
08001 Barcelona
Spain
Phone: 34-934037993
Aquest correu electrònic i els annexos poden contenir informació
confidencial o protegida legalment i està adreçat exclusivament a la
persona o entitat destinatària. Si no sou el destinatari final o la
persona encarregada de rebre’l, no esteu autoritzat a llegir-lo,
retenir-lo, modificar-lo, distribuir-lo, copiar-lo ni a revelar-ne el
contingut. Si heu rebut aquest correu electrònic per error, us preguem que
n’informeu al remitent i que elimineu del sistema el missatge i el material
annex que pugui contenir. Gràcies per la vostra col·laboració.
Este correo electrónico y sus anexos pueden contener información
confidencial o legalmente protegida y está exclusivamente dirigido a la persona
o entidad destinataria. Si usted no es el destinatario final o la persona
encargada de recibirlo, no está autorizado a leerlo, retenerlo, modificarlo,
distribuirlo, copiarlo ni a revelar su contenido. Si ha recibido este
mensaje electrónico por error, le rogamos que informe al remitente y
elimine del
sistema el mensaje y el material anexo que pueda contener. Gracias por su
colaboración.
This email message and any documents attached to it may contain
confidential or legally protected material and are intended solely for the
use of the individual or organization to whom they are addressed. We remind
you that if you are not the intended recipient of this email message or the
person responsible for processing it, then you are not authorized to read,
save, modify, send, copy or disclose any of its contents. If you have
received this email message by mistake, we kindly ask you to inform the
sender of this and to eliminate both the message and any attachments it
carries from your account. Thank you for your collaboration.
__________________________
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20181008/0eac6c7f/attachment.html>
More information about the FOM
mailing list