Logic List Mailing Archive
CfP: TACL 2024: The 11th International Conference "Topology/ Algebra and Categories in Logic", 25 - 28 June & 1 - 5 July 2024, Barcelona (Spain)
=====================================================
TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2024)
=====================================================
School: June 25 -- 28, 2024 (Barcelona)
Conference: July 1 -- 5, 2024 (Barcelona)
https://iiia.csic.es/tacl2024/
**************** SECOND CALL FOR ABSTRACTS ****************
The 11th International Conference "Topology, Algebra and Categories in Logic"
organized by
The University of Barcelona & the Artificial Intelligence Research Institute (CSIC);
Barcino: Barcelona research group in non-classical logic.
Studying logics 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 2024 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical and topological methods.
Invited speakers
----------------------
Juan Aguilera, Vienna University of Technology
Benno van den Berg, University of Amsterdam
Célia Borlido, University of Coimbra
Luca Carai, University of Milan
Ramon Jansana, University of Barcelona (Ret.)
Ganna Kudryavtseva, Ljubljana University
Matías Menni, CONICET and National University de La Plata
Aybüke Özgün, University of Amsterdam
Adam Přenosil, University of Barcelona
Luca Reggio, University College London
Luigi Santocanale, Aix-Marseille University
Sara Ugolini, IIIA - Spanish National Research Council
Invited tutorialists
----------------------
Samson Abramsky - University College London
David Fernández-Duque - University of Barcelona
Daniela Petrisan - University of Paris
Michael Pinsker - Vienna University of Technology
Featured topics
----------------------
We welcome contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas:
* Algebraic structures in CS
* Algebraic logic
* Coalgebra
* Categorical methods in logic
* Domain theory
* Lattice theory
* Lattices with operators
* Many-valued and fuzzy logics
* Modal logics
* Non-classical logics
* Ordered topological spaces
* Ordered algebraic structures
* Pointfree topology
* Proofs and types
* Residuated structures
* Semantics
* Stone-type dualities
* Substructural logics
* Topological semantics of modal logic
Submissions
-----------------
Abstracts of proposed contributions must be submitted through EasyChair and may be at most 2 pages, including references (using EasyChair style). Contributed presentations will be 30 minutes long.
https://easychair.org/conferences/?conf=tacl2024
http://www.easychair.org/publications/for_authors
Important dates
---------------------
February 29, 2024: Abstract submission deadline
April 20, 2024: Notification to authors
June 25 - 28, 2024: School
July 1 - 5, 2024: Conference
Venues
------------
The conference will be held in the main building of the University of Barcelona.
Registration
------------------
The registration will be open in early March 2024.
Programme Committee
------------------------------
Samson Abramsky, University of Oxford
Bahareh Afshari, University of Gothenburg
Jorge Almeida, University of Porto
Andrej Bauer, University of Ljubljana
Lev Beklemishev, Steklov Institute of Mathematics
Nick Bezhanishvili, ILLC - University of Amsterdam
Marta Bilkova, Academy of Sciences of the Czech Republic
Agata Ciabattoni, TU Wien
Maria Manuel Clementino, CMUC - Universidade de Coimbra
David Fernandez, University of Barcelona
David Gabelaia, TSU - Razmadze Mathematical Institute
Nikolaos Galatos, University of Denver
Brunella Gerla, University of Insubria
Mai Gehrke, LJAD, CNRS et Universite Cote d'Azur
Peter Jipsen, Chapman University
Peter Johnstone, University of Cambridge
Serafina Lapenta, University of Salerno
George Metcalfe, University of Bern
Tommaso Moraschini, University of Barcelona (co-Chair)
Jorge Picado, University of Coimbra
Luigi Santocanale, LIS, Aix-Marseille Universite
Luca Spada, Universita degli Studi di Salerno (co-Chair)
Yde Venema, ILLC - University of Amsterdam
Amanda Vidal, IIIA - Spanish National Research Council
Friedrich Wehrung, CNRS - University of Caen
Steering Committee
------------------------
Guram Bezhanishvili, New Mexico State University, USA
Mai Gehrke, Universite Cote d'Azur, Nice, France
Silvio Ghilardi, Universita degli Studi di Milano, Italy
Ramon Jansana, Universitat de Barcelona, Spain
Hilary Priestley, University of Oxford, UK
James Raftery, University of Pretoria, South Africa
Yde Venema, University of Amsterdam, Netherlands
Organizing Committee
--------------------------
Tommaso Flaminio
Damiano Fornasiere
Joan Gispert (co-Chair)
Lluis Godo
Isabel Hortelano
Miriam Kurtzhals
Ion Mikel Liberal
Miguel Martins
Tommaso Moraschini
Miguel Munoz
Adam Prenosil
Sara Ugolini (co-Chair)
Amanda Vidal
More Information
----------------------
TACL 2024 web site: https://iiia.csic.es/tacl2024/
Email: 2024TACL@gmail.com<mailto:2024TACL@gmail.com>
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php