Hosted by the Association for the Advancement of Artificial Intelligence (AAAI), the Annual AAAI Conference on Artificial Intelligence (AAAI) is one of the oldest and most comprehensive top-tier conferences in the field of AI. At AAAI 2026, a Bridge Program on "Logic & AI" will be featured. This two-day Bridge Program on Logic & AI aims to thoroughly explore and expand the intersection of AI and Logic. It will be a platform for systematic discussion about new applications of various logical methods in AI, with special interest in the logical and symbolic reasoning abilities of LLMs. We hope this Bridge Program will explore various approaches to enhancing the capabilities of LLMs in solving complex logical tasks. In addition, this exploration could serve as a valuable model for integrating neural networks with symbolic methods.

The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories. 

Registration deadline: 22 March 2026 (AoE)

The Zagreb Logic Conference (ZLC) encompasses various branches of logic, such as higher order logic, modal logic, set theory, proof theory, model theory, but also philosophy of logic, history of logic, and applications of logic in computer science, computability and complexity. The venue is the Department of Mathematics, University of Zagreb. Invited speakers: Ivan Tomašić (Queen Mary University of London).

The early-career researchers of the CRC Negation in Language and Beyond (NegLaB) at Goethe University Frankfurt, are organizing Nothing but Negation: Young Researchers' Conference 2026.

The aim of this conference is to provide a dedicated space for junior researchers to explore negation from diverse theoretical and empirical perspectives, ranging from syntax, morphology, and semantics to pragmatics and cognitive science.

The annual ILLC PhD Day is coming up! We look forward to another inspiring day of research and exchange within the ILLC community. The programme will feature presentations and posters by our PhD candidates, as well as opportunities to meet fellow researchers and discuss ongoing work across the four ILLC research units.

Logic and game theory are foundational disciplines that have significantly developed, influencing diverse fields such as computer science, economics, artificial intelligence, and social choice theory. Recent trends highlight innovative applications of logic to model strategic interactions, analyse equilibria, and design systems with rational agents, as well as advancements in game-theoretic reasoning for logic-based systems. This conference aims to bring together researchers to explore the latest research, tools, and applications at the intersection of logic and game theory.  

The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.

We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.

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.

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 Linguistics and English Language Postgraduate Conference is an annual event hosted by the School of Philosophy, Psychology and Language Sciences at the University of Edinburgh, and is open to students and recent graduates from all over the world. The event is held in-person only (no online or hybrid options available).

The aim of this special issue is to collect state of the art research on Constrained Horn Clauses (CHCs). Many program verification and synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in Constrained Logic Programming and Computer Aided Verification have centered around efficiently solving problems presented as Horn clauses. Thus, CHCs are an enabling technology for state of the art verification and synthesis techniques. CHCs are relevant for several communities like Constraint / Logic Programming, Program Verification, and Automated Deduction.

Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent, transition systems, petri-nets, smart contracts) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Machine learning and automated reasoning - CHC encoding of analysis and verification problems - Resource analysis - Case studies and tools - Challenging problems.

The JURIX conference has provided an international forum for research on the intersection of Artificial Intelligence and Information Systems with Law for decades, under the auspices of the JURIX Foundation for Legal Knowledge Systems.

The purpose of the JURIX conference series is to foster scientific exchange between researchers, practitioners, students, dedicated to exploring recent advancements, challenges, and opportunities of technologies applied to legal and para-legal activities.

Software systems are rapidly becoming more intelligent in the functionality they offer to users. They are also becoming more decentralized, with components that act autonomously and must communicate among themselves or with human users to achieve their goals. Examples of such systems include those in healthcare, disaster management, e-business, and smart grids. A multi-agent perspective is crucial to the proper conceptualization, deployment, and governance of these systems. Rooted in solid computational and software engineering foundations, this perspective offers abstractions such as intelligent agents, protocols, norms, organizations, trust and incentives, among others. As a large, but still growing research field of artificial intelligence, multi-agent systems today remain a unique enabler of interdisciplinary research.

In the light of the rapid development of Generative Artificial Intelligence (GenAI), the GenAI & Creative Practices conference aims to gather together scholars, researchers, and practitioners from around the world to discuss and rethink:
· Creative Practices
· Values and Creative Work
· Scalable Responsible GenAI
· The Future of Creative Work
· The Political Economy of GenAI and Transformation of the Cultural Sector
· Governance and Regulation of GenAI

The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.

Keynote Speakers Carolin Antos (University of Konstanz), Marc Lange (UNC Chapel Hill), John Mumma (CSU San Bernardino), Elaine Pimentel (University College London), Akshay Venkatesh (Institute for Advanced Study) and Keith Weber (Rutgers University).

The Australasian Association for Logic is hosting a Southern Summer Logic Day in celebration of the UNESCO World Logic Day. To register for the event and to obtain a Zoom link, please reach out to Guillermo Badia.

Please note that the starting time in Amsterdam is indeed 00:01 on Wednesday, 14 January 2026.

The 2026 Dutch Winter School on Logic and Verification is a 3.5 day event aimed at PhD/graduate students in theoretical computer science with an interest in software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

The winter school is organized as part of the project "Cyclic Structures in Programs and Proofs".

Registration is open. Hotel block booking ends 24 Nov. Early registration ends 7 Dec 2025.

We are pleased to announce the AAAI-26 Workshop on Post-AI Formal Methods (P-AI-FM), which will take place in conjunction with AAAI-26, January 26th, 2026, in Singapore.

The workshop aims to bring together the communities of Formal Methods and Artificial Intelligence, exploring how symbolic reasoning, verification, and trustworthy AI can jointly address the challenges of modern AI systems.

This PLM workshop aims to bring together philosophers and scientists working on memory. The workshop focuses on the role of memory traces and engrams for remembering. We intend to foster interdisciplinary dialogue on the theoretical foundations and empirical underpinnings of traces and engrams across philosophy, neuroscience, psychology, and related disciplines.

CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.  CSL 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University.

The TLLM workshops aim to bring together logicians, philosophers, and linguists around a specific theme of common interest. For the 2026 event, the theme is unusually wide, and we welcome contributions on any general or particular aspect of the modalities in logic or language.

EuroGP is the premier annual conference on Genetic Programming (GP), the oldest and the only meeting worldwide explicitly devoted to this branch of evolutionary computation. It is always a high-quality, enjoyable, friendly event, attracting participants from all continents, and offering excellent opportunities for networking, informal contact, and exchange of ideas with fellow researchers. It will feature a mixture of oral presentations and poster sessions and invited keynote speakers. EuroGP 2026 will be held as part of EvoStar 2026.

ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2026 is the twenty-nineth event in the series.

Main conferences:
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FoSSaCS: Foundations of Software Science and Computation Structures
* TACAS: Tools and Algorithms for the Construction and Analysis of Systems

Several satellite workshops and other events will take place during the weekend before the main conferences.

The PODS symposium series, held in conjunction with the SIGMOD conference series, provides a premier annual forum for the communication of new advances in the theoretical foundation of database systems. The PODS community aims to provide a solid scientific basis for methods, techniques, and solutions for the data management challenges that continually arise in our data-driven society. It develops new ways of advancing data management to reflect the rich landscape of data requirements in applications nowadays. Our goal is to develop solutions that ensure high levels of efficiency, scalability, usability, expressiveness, robustness, security, clarity, and privacy, among others. The PODS community is an open space where researchers from various areas related to the principles of computer science can discuss, interact, and propose solutions to problems in data management.

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.

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

This workshop aims to teach participants the fundamentals of higher category theory using the proof assistant Rzk. The participants will learn both the classical point of view and the type theoretic point of view in two lecture series, and, in the exercise sessions, will learn how to use the proof assistant Rzk to prove basic higher categorical results.

Students with some familiarity with homotopy theory, category theory, homotopy type theory, and/or proof assistants who are interested in learning about ∞-categories are particularly encouraged.