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.

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic.  It will be held in conjunction with the British Logic Colloquium 2026. 

The conference is hosted by the Logicians in the newly founded Robert Recorde Centre for Fundamental Studies and the Theoretical Computer Science group at Swansea. Robert Recorde was a Welsh Mathematician and Philosopher who invented the = sign.

Research methods in economics and social sciences are changing quickly with AI-driven analytics, Large Language Models, and causal machine learning. New Internet and Big Data sources support fresh approaches to measurement, inference, and theory testing. As these tools become more interdisciplinary, CARMA 2026 offers a forum for researchers and practitioners to share advances in computational and data-intensive methods applied to social and economic issues, and to discuss their opportunities and challenges.

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.

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic.  It will be held in conjunction with the British Logic Colloquium 2026. 

The conference is hosted by the Logicians in the newly founded Robert Recorde Centre for Fundamental Studies and the Theoretical Computer Science group at Swansea. Robert Recorde was a Welsh Mathematician and Philosopher who invented the = sign.

Research methods in economics and social sciences are changing quickly with AI-driven analytics, Large Language Models, and causal machine learning. New Internet and Big Data sources support fresh approaches to measurement, inference, and theory testing. As these tools become more interdisciplinary, CARMA 2026 offers a forum for researchers and practitioners to share advances in computational and data-intensive methods applied to social and economic issues, and to discuss their opportunities and challenges.

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.

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic.  It will be held in conjunction with the British Logic Colloquium 2026. 

The conference is hosted by the Logicians in the newly founded Robert Recorde Centre for Fundamental Studies and the Theoretical Computer Science group at Swansea. Robert Recorde was a Welsh Mathematician and Philosopher who invented the = sign.

Research methods in economics and social sciences are changing quickly with AI-driven analytics, Large Language Models, and causal machine learning. New Internet and Big Data sources support fresh approaches to measurement, inference, and theory testing. As these tools become more interdisciplinary, CARMA 2026 offers a forum for researchers and practitioners to share advances in computational and data-intensive methods applied to social and economic issues, and to discuss their opportunities and challenges.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. This conference series, which take place once every 2 or 3 years, hopes to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the world interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and to the initiative Logic, Methodology and Philosophy of Science by Alfred Tarski and others. The aim is to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.

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.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. This conference series, which take place once every 2 or 3 years, hopes to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the world interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and to the initiative Logic, Methodology and Philosophy of Science by Alfred Tarski and others. The aim is to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.

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.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. This conference series, which take place once every 2 or 3 years, hopes to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the world interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and to the initiative Logic, Methodology and Philosophy of Science by Alfred Tarski and others. The aim is to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.

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.

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.

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.

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.

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. 

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.

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. 

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.

There is a remarkable divide in the field of Logic in Computer Science between two distinct strands: one focuses on semantics and compositionality (“Structure”), the other on expressiveness and complexity (“Power”). These two traditions are studied by almost disjoint research communities using distinct technical languages and methods. We believe that bringing these communities and research fields together is an important objective for Computer Science, which may hold the key to fundamental advances in the field.

The aim of this workshop is to attract researchers working at the boundary of these two strands, as well as those on either side of the divide who are interested in establishing new connections.

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. 

This year's edition is a part of the Federated Logic Conference FLoC’26.

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. 

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.

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. 

This year's edition is a part of the Federated Logic Conference FLoC’26.

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

The 2026 edition of the summer school is open to women and members of other groups that are under-represented in mathematical philosophy. These groups include under-represented gender identities, races and ethnicities, people with disabilities, people from low income and non-academic family backgrounds. The target level is master students and last year-bachelor students.

The school's aim is to encourage students to engage with mathematical and scientific approaches to philosophical problems, and thereby help to redress the under-representation of women and other marginalized groups in mathematical philosophy. It offers the opportunity for study in an informal and interdisciplinary setting, for lively debate, and for the development of a network of students and professors interested in the application of formal methods to philosophy.

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

The 2026 edition of the summer school is open to women and members of other groups that are under-represented in mathematical philosophy. These groups include under-represented gender identities, races and ethnicities, people with disabilities, people from low income and non-academic family backgrounds. The target level is master students and last year-bachelor students.

The school's aim is to encourage students to engage with mathematical and scientific approaches to philosophical problems, and thereby help to redress the under-representation of women and other marginalized groups in mathematical philosophy. It offers the opportunity for study in an informal and interdisciplinary setting, for lively debate, and for the development of a network of students and professors interested in the application of formal methods to philosophy.

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

The 2026 edition of the summer school is open to women and members of other groups that are under-represented in mathematical philosophy. These groups include under-represented gender identities, races and ethnicities, people with disabilities, people from low income and non-academic family backgrounds. The target level is master students and last year-bachelor students.

The school's aim is to encourage students to engage with mathematical and scientific approaches to philosophical problems, and thereby help to redress the under-representation of women and other marginalized groups in mathematical philosophy. It offers the opportunity for study in an informal and interdisciplinary setting, for lively debate, and for the development of a network of students and professors interested in the application of formal methods to philosophy.

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

The 2026 edition of the summer school is open to women and members of other groups that are under-represented in mathematical philosophy. These groups include under-represented gender identities, races and ethnicities, people with disabilities, people from low income and non-academic family backgrounds. The target level is master students and last year-bachelor students.

The school's aim is to encourage students to engage with mathematical and scientific approaches to philosophical problems, and thereby help to redress the under-representation of women and other marginalized groups in mathematical philosophy. It offers the opportunity for study in an informal and interdisciplinary setting, for lively debate, and for the development of a network of students and professors interested in the application of formal methods to philosophy.

The 2026 edition of the summer school is open to women and members of other groups that are under-represented in mathematical philosophy. These groups include under-represented gender identities, races and ethnicities, people with disabilities, people from low income and non-academic family backgrounds. The target level is master students and last year-bachelor students.

The school's aim is to encourage students to engage with mathematical and scientific approaches to philosophical problems, and thereby help to redress the under-representation of women and other marginalized groups in mathematical philosophy. It offers the opportunity for study in an informal and interdisciplinary setting, for lively debate, and for the development of a network of students and professors interested in the application of formal methods to philosophy.

Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.

CiE 2026 will be colocated with other conferences and workshops:

• MCU 2026: Machines, Computability, Universality,
• CCA 2026: Computability and Complexity in Analysis,
• GSW 2026: Grammar Systems Workshop

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. 

Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.

CiE 2026 will be colocated with other conferences and workshops:

• MCU 2026: Machines, Computability, Universality,
• CCA 2026: Computability and Complexity in Analysis,
• GSW 2026: Grammar Systems Workshop

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. 

Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.

CiE 2026 will be colocated with other conferences and workshops:

• MCU 2026: Machines, Computability, Universality,
• CCA 2026: Computability and Complexity in Analysis,
• GSW 2026: Grammar Systems Workshop

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. 

Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.

CiE 2026 will be colocated with other conferences and workshops:

• MCU 2026: Machines, Computability, Universality,
• CCA 2026: Computability and Complexity in Analysis,
• GSW 2026: Grammar Systems Workshop

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. 

Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.

CiE 2026 will be colocated with other conferences and workshops:

• MCU 2026: Machines, Computability, Universality,
• CCA 2026: Computability and Complexity in Analysis,
• GSW 2026: Grammar Systems Workshop

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.