CfP: [extended deadline] TACL 2024: The 11th International Conference "Topology/ Algebra and Categories in Logic", 25 - 28 June & 1

Logic List Mailing Archive

CfP: [extended deadline] TACL 2024: The 11th International Conference "Topology/ Algebra and Categories in Logic", 25 - 28 June & 1 - 5 July 2024, Barcelona (Spain)

[ A quick info about TACL 2024 deadline extension. If you no longer wish to
  receive emails about TACL series of conferences and adjacent events please
  let me know. Tomas Jakl  ]

=====================================================
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/

**************** DEADLINE EXTENSION ****************

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.

Important dates
---------------------

March 7, 2024: Extended abstract submission deadline April 20, 2024: Notification to authors June 25 - 28, 2024: School July 1 - 5, 2024: Conference

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

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


Venue
------------

The conference will be held in the main building of the University of Barcelona.


Registration
------------------

The registration will open in April.


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

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php