What is the nature of cognition across different systems? What is the origin of life? What makes AI systems work? How should we think about causality? What makes an idea, a method or a model truly rigorous? Come join an intellectual vacation in the Mediterranean city of Valencia where you will be able to delve into these questions alongside a vibrant group of like-minded participants from a wide range of disciplines.
Places are limited, so be sure to follow the link above and register to secure your spot early. Participants in the SEMF Interdisciplinary School travelling to Valencia get access to sponsored accommodation at a reduced price and in an excellent location, minutes away from the School venue, and within walking distance of the beach and the city centre.
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.
ISR 2026 is organised by the Software Science group of Radboud University Nijmegen and the Theory group of VU Amsterdam. The school is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications.
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.
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.
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.
Broadly viewed, Craig Interpolation (CI), Beth Definability (BD), and Second-Order Quantifier Elimination (SOQE) concern the existence and computation of formulas that capture consequences or logical constraints under some syntactic restrictions. Since such existence/computation questions arise in many areas of computer science, CI, BD, and SOQE have been thoroughly investigated by different communities, which has led to a large number of results, from foundational issues to practical applications. Relevant fields include proof theory, model theory, proof complexity, automated reasoning, automata theory, knowledge representation, program verification and databases as well as philosophy and linguistics.
The aim of the workshop is to bring together researchers from the many relevant fields to exchange experiences and findings about approaches, techniques, ongoing research and important open problems. We strongly believe that CI, BD, and SOQE – beyond sharing a similar historical background – offer a common basis for fruitful cross-disciplinary exchange.
Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.
CiE 2026 will be colocated with other conferences and workshops:
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.
The registration is open for the 37th European Summer School in Logic, Language and Information (ESSLLI).
ESSLLI is a yearly recurring event, which has been organized since 1989. It provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science. Courses (foundational, introductory and advanced) and workshops cover a wide variety of topics within three interdisciplinary areas of interest: language and computation, logic and language, and logic and computation. In addition to the workshops and courses there are usually four evening lectures, given by prominent researchers, on topics that are at the forefront of research in logic, language and computer science, also from wider scientific, historical, and philosophical perspectives. Its relevance to students of artificial intelligence is evident.
The 26th Trends in Logic international conference is organized by the chair of Philosophy of Logical Analysis at the Graduate School of Information Sciences at Tohoku University. Trends in Logic is the conference series of the journal Studia Logica.
This year's edition of the conference series will be dedicated to recent developments in non-classical logics, non-classical mathematics and related philosophical questions.
This year's edition of the conference series will be dedicated to recent developments in non-classical logics, non-classical mathematics and related philosophical questions. Any papers relating to an aspect of the conference topic are welcome. Submissions of extended abstracts (up to three pages) should be submitted as pdf documents by sending them to sara.ayhan.c7 at tohoku.ac.jp and hitoshiomori at gmail.com.
At least one author of each accepted paper must register for, and attend, the conference to present their work.
The World Pride is calling for you! The WPC programming is developed with input from activists and Pride organizers all over the World and overseen by our Advisory Board. Four main themes will be central: Rights & Governance, Health & Well-being, Legacies & Prospects, Resilience & Liberation. These themes can be approached from every perspective: Gender, Sex and Sexuality, Trans, non-binary and non-conforming identities, Sexual orientation spectrum and fluidity, Intersex awareness and body diversity.
Please reach out to Pride Amsterdam or Boy Menist via email if you are interested in contributing.
The World Pride is calling for you! The WPC programming is developed with input from activists and Pride organizers all over the World and overseen by our Advisory Board. Four main themes will be central: Rights & Governance, Health & Well-being, Legacies & Prospects, Resilience & Liberation. These themes can be approached from every perspective: Gender, Sex and Sexuality, Trans, non-binary and non-conforming identities, Sexual orientation spectrum and fluidity, Intersex awareness and body diversity.
Please reach out via email if you are interested in contributing.
Summer school in Logic organized by Italian Association for Logic (AILA). Further information on AILA's website (in Italian) or via email.
icSoftComp2026 is the 8th comprehensive soft computing conference dealing with all aspects of soft computing. It is a leading international opportunity for AI (in general) and soft computing (in particular) professionals and users to investigate innovative ideas and outcomes, and to exchange experiences on various aspects of soft computing.