These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << July 2026 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
4
|
|||
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
|
26
|
27
|
28
|
29
|
30
|
31
|
|
29 June - 3 July 2026, Advances in Modal Logic 2026 (AiML 2026), Amsterdam, The Netherlands
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2026 is organized by the ILLC. Information about the AiML series can be obtained at http://www.aiml.net.
29 June - 3 July 2026, Advances in Modal Logic 2026 (AiML 2026), Amsterdam, The Netherlands
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2026 is organized by the ILLC. Information about the AiML series can be obtained at http://www.aiml.net.
29 June - 3 July 2026, Advances in Modal Logic 2026 (AiML 2026), Amsterdam, The Netherlands
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2026 is organized by the ILLC. Information about the AiML series can be obtained at http://www.aiml.net.
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence (ESSAI 2026), Vienna [A]
ESSAI is an annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI is the largest school of broad AI in Europe.
The ESSAI 2026 will offer an intensive 5-day program featuring various AI courses and tutorials. With over 30 lecturers from multiple fields, participants will have the opportunity to engage in 5+ parallel tracks of sessions each day.
6 - 10 July 2026, AUTOMATA & ACRI 2026, Ghent [BE]
The University of Gdańsk's Faculty of Mathematics, Physics and Informatics and Ghent University's Faculty of Bioscience Engineering co-organise 2026's essential event on cellular automata and other discrete dynamical systems.
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence (ESSAI 2026), Vienna [A]
ESSAI is an annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI is the largest school of broad AI in Europe.
The ESSAI 2026 will offer an intensive 5-day program featuring various AI courses and tutorials. With over 30 lecturers from multiple fields, participants will have the opportunity to engage in 5+ parallel tracks of sessions each day.
6 - 10 July 2026, AUTOMATA & ACRI 2026, Ghent [BE]
The University of Gdańsk's Faculty of Mathematics, Physics and Informatics and Ghent University's Faculty of Bioscience Engineering co-organise 2026's essential event on cellular automata and other discrete dynamical systems.
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence (ESSAI 2026), Vienna [A]
ESSAI is an annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI is the largest school of broad AI in Europe.
The ESSAI 2026 will offer an intensive 5-day program featuring various AI courses and tutorials. With over 30 lecturers from multiple fields, participants will have the opportunity to engage in 5+ parallel tracks of sessions each day.
6 - 10 July 2026, AUTOMATA & ACRI 2026, Ghent [BE]
The University of Gdańsk's Faculty of Mathematics, Physics and Informatics and Ghent University's Faculty of Bioscience Engineering co-organise 2026's essential event on cellular automata and other discrete dynamical systems.
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence (ESSAI 2026), Vienna [A]
ESSAI is an annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI is the largest school of broad AI in Europe.
The ESSAI 2026 will offer an intensive 5-day program featuring various AI courses and tutorials. With over 30 lecturers from multiple fields, participants will have the opportunity to engage in 5+ parallel tracks of sessions each day.
6 - 10 July 2026, AUTOMATA & ACRI 2026, Ghent [BE]
The University of Gdańsk's Faculty of Mathematics, Physics and Informatics and Ghent University's Faculty of Bioscience Engineering co-organise 2026's essential event on cellular automata and other discrete dynamical systems.
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence (ESSAI 2026), Vienna [A]
ESSAI is an annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI is the largest school of broad AI in Europe.
The ESSAI 2026 will offer an intensive 5-day program featuring various AI courses and tutorials. With over 30 lecturers from multiple fields, participants will have the opportunity to engage in 5+ parallel tracks of sessions each day.
6 - 10 July 2026, AUTOMATA & ACRI 2026, Ghent [BE]
The University of Gdańsk's Faculty of Mathematics, Physics and Informatics and Ghent University's Faculty of Bioscience Engineering co-organise 2026's essential event on cellular automata and other discrete dynamical systems.
12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.
The ISR is open to master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. Participants can follow one of two tracks: basic or advance.
12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.
The ISR is open to master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. Participants can follow one of two tracks: basic or advance.
12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.
The ISR is open to master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. Participants can follow one of two tracks: basic or advance.
12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.
The ISR is open to master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. Participants can follow one of two tracks: basic or advance.
15 - 17 July 2026, IACAP 2026 – International Association for Computing and Philosophy Conference, University of Kansas, Lawrence KS [US]
IACAP has a long tradition of promoting philosophical dialogue and interdisciplinary research on all aspects of computing. Its members have contributed to the philosophical and ethical debates about computing, information technologies, and artificial intelligence. The 2026 annual conference will continue this tradition by bringing together researchers from various fields who are interested in the topics covered in various tracks.
The International Association for Computing and Philosophy (IACAP) is pleased to put out this call for abstracts for its next conference in 2026.
For submissions, visit the conference website and follow the steps as laid out here: https://www.iacap.org/2025/10/10/iacap-2026-kansas/
12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.
The ISR is open to master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. Participants can follow one of two tracks: basic or advance.
15 - 17 July 2026, IACAP 2026 – International Association for Computing and Philosophy Conference, University of Kansas, Lawrence KS [US]
IACAP has a long tradition of promoting philosophical dialogue and interdisciplinary research on all aspects of computing. Its members have contributed to the philosophical and ethical debates about computing, information technologies, and artificial intelligence. The 2026 annual conference will continue this tradition by bringing together researchers from various fields who are interested in the topics covered in various tracks.
The International Association for Computing and Philosophy (IACAP) is pleased to put out this call for abstracts for its next conference in 2026.
For submissions, visit the conference website and follow the steps as laid out here: https://www.iacap.org/2025/10/10/iacap-2026-kansas/
15 - 17 July 2026, IACAP 2026 – International Association for Computing and Philosophy Conference, University of Kansas, Lawrence KS [US]
IACAP has a long tradition of promoting philosophical dialogue and interdisciplinary research on all aspects of computing. Its members have contributed to the philosophical and ethical debates about computing, information technologies, and artificial intelligence. The 2026 annual conference will continue this tradition by bringing together researchers from various fields who are interested in the topics covered in various tracks.
The International Association for Computing and Philosophy (IACAP) is pleased to put out this call for abstracts for its next conference in 2026.
For submissions, visit the conference website and follow the steps as laid out here: https://www.iacap.org/2025/10/10/iacap-2026-kansas/
17 - 19 July 2026, 24th International Workshop on Nonmonotonic Reasoning, Lisbon [PT]
NMR is the premier forum for results in the area of Nonmonotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications. Visit also the general NMR webpage: https://nmr.krportal.org/.
Reseracher are invited to submit full papers or extended abstracts. Areas of interest include (but are not limited to): Categorical logic, Computability theory, History of Logic, Logic in Computer Science, Logic in Human Reasoning, Model theory Nonclassical and modal logics, Philosophical logic, Proof theory, Reasoning in AI, Set theory.
Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style. Submissions will happen through EasyChair.
17 - 19 July 2026, NMR 2026 – 24th International Workshop on Nonmonotonic Reasoning, Lisbon [PT]
NMR is the premier forum for results in the area of Nonmonotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
Two types of submissions are invited: full papers and extended abstracts. Special focus is on papers on systems and applications, as well as position papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers. Workshop activities will include invited talks and presentations of technical papers.
All submissions should be formatted in CEUR style (1-column). Paper registration closes on 03 April, but submissions remain open until 10 April.
17 - 19 July 2026, 39th International Workshop on Description Logics (DL 2026), Lisbon [PT]
The DL workshop is the major annual event of the description logic research community. It aims to bring together researchers from academia and industry that work in this field or in related fields. The workshop is co-located with KR 2026, the 23rd International Conference on Principles of Knowledge Representation and Reasoning as part of FLOC 2026, the Federated Logic Conference.
Two submission categories are open: extended abstracts (2-4 pages) and full papers (max. 11 pages).
Invited are contributions on all aspects of description logics, including, but not limited to: - Foundations of description logics - Extensions of description logics - Integration of description logics with other formalisms - Applications of description logics - Systems and tools of all kinds around description logics.
17 - 19 July 2026, 24th International Workshop on Nonmonotonic Reasoning, Lisbon [PT]
NMR is the premier forum for results in the area of Nonmonotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications. Visit also the general NMR webpage: https://nmr.krportal.org/.
Reseracher are invited to submit full papers or extended abstracts. Areas of interest include (but are not limited to): Categorical logic, Computability theory, History of Logic, Logic in Computer Science, Logic in Human Reasoning, Model theory Nonclassical and modal logics, Philosophical logic, Proof theory, Reasoning in AI, Set theory.
Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style. Submissions will happen through EasyChair.
17 - 19 July 2026, NMR 2026 – 24th International Workshop on Nonmonotonic Reasoning, Lisbon [PT]
NMR is the premier forum for results in the area of Nonmonotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
Two types of submissions are invited: full papers and extended abstracts. Special focus is on papers on systems and applications, as well as position papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers. Workshop activities will include invited talks and presentations of technical papers.
All submissions should be formatted in CEUR style (1-column). Paper registration closes on 03 April, but submissions remain open until 10 April.
17 - 19 July 2026, 39th International Workshop on Description Logics (DL 2026), Lisbon [PT]
The DL workshop is the major annual event of the description logic research community. It aims to bring together researchers from academia and industry that work in this field or in related fields. The workshop is co-located with KR 2026, the 23rd International Conference on Principles of Knowledge Representation and Reasoning as part of FLOC 2026, the Federated Logic Conference.
Two submission categories are open: extended abstracts (2-4 pages) and full papers (max. 11 pages).
Invited are contributions on all aspects of description logics, including, but not limited to: - Foundations of description logics - Extensions of description logics - Integration of description logics with other formalisms - Applications of description logics - Systems and tools of all kinds around description logics.
17 - 19 July 2026, 24th International Workshop on Nonmonotonic Reasoning, Lisbon [PT]
NMR is the premier forum for results in the area of Nonmonotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications. Visit also the general NMR webpage: https://nmr.krportal.org/.
Reseracher are invited to submit full papers or extended abstracts. Areas of interest include (but are not limited to): Categorical logic, Computability theory, History of Logic, Logic in Computer Science, Logic in Human Reasoning, Model theory Nonclassical and modal logics, Philosophical logic, Proof theory, Reasoning in AI, Set theory.
Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style. Submissions will happen through EasyChair.
17 - 19 July 2026, NMR 2026 – 24th International Workshop on Nonmonotonic Reasoning, Lisbon [PT]
NMR is the premier forum for results in the area of Nonmonotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
Two types of submissions are invited: full papers and extended abstracts. Special focus is on papers on systems and applications, as well as position papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers. Workshop activities will include invited talks and presentations of technical papers.
All submissions should be formatted in CEUR style (1-column). Paper registration closes on 03 April, but submissions remain open until 10 April.
17 - 19 July 2026, 39th International Workshop on Description Logics (DL 2026), Lisbon [PT]
The DL workshop is the major annual event of the description logic research community. It aims to bring together researchers from academia and industry that work in this field or in related fields. The workshop is co-located with KR 2026, the 23rd International Conference on Principles of Knowledge Representation and Reasoning as part of FLOC 2026, the Federated Logic Conference.
Two submission categories are open: extended abstracts (2-4 pages) and full papers (max. 11 pages).
Invited are contributions on all aspects of description logics, including, but not limited to: - Foundations of description logics - Extensions of description logics - Integration of description logics with other formalisms - Applications of description logics - Systems and tools of all kinds around description logics.
20 - 23 July 2026, 23rd Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2026), Lisbon, Portugal
Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge.
KR2026 will be part of the Federated Logic Conference (FLoC 2026).
We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.
20 - 23 July 2026, 23rd Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2026), Lisbon, Portugal
Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge.
KR2026 will be part of the Federated Logic Conference (FLoC 2026).
We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.
20 - 23 July 2026, 23rd Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2026), Lisbon, Portugal
Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge.
KR2026 will be part of the Federated Logic Conference (FLoC 2026).
We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.
20 - 23 July 2026, 23rd Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2026), Lisbon, Portugal
Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge.
KR2026 will be part of the Federated Logic Conference (FLoC 2026).
We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.
27 - 31 July 2026, Computability in Europe 2026 (CiE 2026), Trier [D]
Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.
CiE 2026 will be colocated with other conferences and workshops:
Two types of contributions are welcome: abstracts and full papers.
27 - 31 July 2026, TACL 2026 – 12th Int’l Conference on Topology, Algebra and Categories in Logic, Krakow [PL]
The programme of TACL 2026 will focus on three interconnected mathematical themes that are central to the semantic study of logic and its applications: algebraic, categorical, and topological methods.
Contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science are welcome. 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.
27 - 31 July 2026, Computability in Europe 2026 (CiE 2026), Trier [D]
Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.
CiE 2026 will be colocated with other conferences and workshops:
Two types of contributions are welcome: abstracts and full papers.
27 - 31 July 2026, TACL 2026 – 12th Int’l Conference on Topology, Algebra and Categories in Logic, Krakow [PL]
The programme of TACL 2026 will focus on three interconnected mathematical themes that are central to the semantic study of logic and its applications: algebraic, categorical, and topological methods.
Contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science are welcome. 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.
27 - 31 July 2026, Computability in Europe 2026 (CiE 2026), Trier [D]
Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.
CiE 2026 will be colocated with other conferences and workshops:
Two types of contributions are welcome: abstracts and full papers.
27 - 31 July 2026, TACL 2026 – 12th Int’l Conference on Topology, Algebra and Categories in Logic, Krakow [PL]
The programme of TACL 2026 will focus on three interconnected mathematical themes that are central to the semantic study of logic and its applications: algebraic, categorical, and topological methods.
Contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science are welcome. 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.
27 - 31 July 2026, Computability in Europe 2026 (CiE 2026), Trier [D]
Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.
CiE 2026 will be colocated with other conferences and workshops:
Two types of contributions are welcome: abstracts and full papers.
27 - 31 July 2026, TACL 2026 – 12th Int’l Conference on Topology, Algebra and Categories in Logic, Krakow [PL]
The programme of TACL 2026 will focus on three interconnected mathematical themes that are central to the semantic study of logic and its applications: algebraic, categorical, and topological methods.
Contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science are welcome. 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.
27 - 31 July 2026, Computability in Europe 2026 (CiE 2026), Trier [D]
Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.
CiE 2026 will be colocated with other conferences and workshops:
Two types of contributions are welcome: abstracts and full papers.
27 - 31 July 2026, TACL 2026 – 12th Int’l Conference on Topology, Algebra and Categories in Logic, Krakow [PL]
The programme of TACL 2026 will focus on three interconnected mathematical themes that are central to the semantic study of logic and its applications: algebraic, categorical, and topological methods.
Contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science are welcome. 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.