Home / Conference Listings / Mathematics / Mathematical Logic and Foundations / Spain

Conferences  >  Mathematics  >  Mathematical Logic and Foundations  >  Spain

Select a location
Argentina (1)  Austria (2)  Belgium (1)  China (1)  Czech Republic (1)  Estonia (1)  France (1)  Germany (4)  Greece (1)  Iceland (2)  India (1)  Italy (1)  Mauritius (1)  Norway (2)  Poland (1)  Spain (2)  Sweden (1)  United Kingdom (1)  United States (1)
Spain
1
TACL 2024 – Summer School — Topology, Algebra, and Categories in Logic
25 Jun 2024 - 28 Jun 2024 • Barcelona, Spain
Abstract:
Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science, philosophy, 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 semantic study of logics and their applications: algebraic, categorical, and topological methods.
Event listing ID:
1617371
Event website:
https://iiia.csic.es/tacl2024/
2
TACL 2024 – Conference — Topology, Algebra, and Categories in Logic
01 Jul 2024 - 05 Jul 2024 • Barcelona, Spain
Abstract:
Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science, philosophy, 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 semantic study of logics and their applications: algebraic, categorical, and topological methods.
Event listing ID:
1617449
Event website:
https://iiia.csic.es/tacl2024/


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 2 May 2024