This event provides young shcolars with an opportunity to present their research in the field of applied linguistics (language use, language acquisition, language education, language proficiency, or communication). Both lectures and poster presentations are welcome. Lectures shall last 15 minutes. Additionally, the annual Anéla-VIOT Thesis Award for the best MA-thesis in the field will be awarded on this day.

We are inviting members of the University of Amsterdam's Language Sciences for Social Good (LSG) Consortium to join a networking event on Thursday, May 28th, from 14:00 - 18:00 at LAB42 aimed at the consortium members and industry partners. We want to provide a forum to connect members of the consortium with each other and with industry partners, to discuss expectations and intentions from both sides, and to showcase what is already being done as part of this consortium.

The event will include short pitches by the industry partners, as well as poster presentations by researchers in the LSG. If you are a consortium member, you are welcome to present a poster at this event (this can be a poster that you already prepared for a different conference). If you are interested in presenting a poster, please provide us with a title and short description for the program before March 13th. You can do so by sending an e-mail to one of the organizers.

FOIS is a meeting point for all researchers with an interest in formal ontology. FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology.

Common application areas include conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics and scientific research in general, geographic information science, information retrieval, library and information science, as well as the Semantic Web.

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.

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

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

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.  

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

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.

RuleML+RR 2026 aims to bring together researchers and practitioners interested in the foundations and applications of rules and reasoning.  

This year's edition will be co-located with several events as part of 

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading venue in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, it provides a forum for stimulating cooperation between different communities focused on the research, development, and applications of rule-based systems. 

The RuleML+RR 2026 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2026 and the Reasoning Web Summer School 2026.

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.

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.

The conference will focus on construal in linguistics, encompassing, though not limited to, cognitive linguistics, forensics, discourse studies, pragmatics, social interaction, narrative, storytelling, and literature. By bringing all these approaches together, the conference aims to establish construal as a unifying concept for understanding meaning in language and discourse.

The conference adopts a flexible view of the relationship between construal and linguistic expression/coding. Construal refers broadly to how events, participants, relations, inferences, evaluations, and temporal structures are conceptualised, framed, and made salient, while verbal and non-verbal resources—lexical, grammatical, prosodic, gestural, visual, and multimodal—are among the means through which such construals are communicated and negotiated in discourse.

In recent years, digital democracy has become a subject of academic research and is being put into practice around the world. However, the scientific investigations and practices of digital democracy are currently still living mostly in separate universes. The aim of this conference is to further advance digital democracy, by bringing together academics and practitioners actively working on or with digital democracy. This way we want to foster collaboration and knowledge exchange. 

In line with this aim, the conference will feature contributed talks, social and interactive sessions and both academic and non-academic keynote speakers, such as Manon Revel (Google Deepmind) and Graham Wetherall-Grujic (The Innovation in Politics Institute, Berlin).

This one-day symposium aims to bring together game theory researchers from across the Netherlands, with a special emphasis on early-career researchers and PhD-students. 

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.

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)

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.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc.

The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

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.

DA2PL-2026 (From Multiple-Criteria Decision Aid to Preference Learning) aims to bring together researchers from decision analysis and machine learning. It provides a forum for discussing recent advances and identifying new research challenges in the intersection of both fields, thereby supporting a cross-fertilisation of these disciplines.

Join us for the 4th edition of the Amsterdam/Saint-Etienne Workshop on Social Choice, jointly organised by GATE and ILLC. This edition will take place in Saint-Etienne, France. Registration is free but required (students also welcome).

Travel grants for a small number of participants are available. To be considered, register and submit your contribution by 20 February 2026. For more information, visit the workshop's website.

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.

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 Czech Academy of Sciences, Institute of Philosophy, announces Logica 2026, the 38th in the series of annual international symposia devoted to logic, to be held in Hejnice (in northern Bohemia, about 2.5 hours from Prague). The symposium welcomes submissions addressing any of the wide range of logical problems, with the exception of those focusing on specific technical applications. We especially welcome submissions that cover topics of interest to both 'philosophically' and 'mathematically' oriented logicians.

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.

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 conference focuses on empirical research in various areas of linguistics. The event aims at junior researchers to provide them with a platform for the presentation and discussion of research with their international peers. Contributions related to any world languages of all modalities are welcome.

The course has the aim of bringing together researchers working in diverse areas of logic to present and discuss key contemporary research themes, ranging from proof theory to the semantics of non-classical logics. Particular attention is given to both technical developments and their philosophical significance. The programme consists of a series of lectures designed to introduce participants to current lines of research and ongoing debates in logic, while also providing young researchers with a broad overview of the field.

The Scuola Normale Superiore will award 15 scholarships, ensuring gender balance, covering accommodation and meals (travel expenses to Pisa are not included). Applicants must hold at least a Master's degree in Logic or a related discipline. Applications - including an up-to-date Curriculum Vitae - must be submitted through the designated online form by 31 March 2026. Selection will be based on the evaluation of the submitted CV.

LOFT 2026 will be the 16th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. 

This two-day workshop brings together an international line-up of female researchers working at the intersection of philosophy, theoretical linguistics, computational linguistics, logic, formal semantics and pragmatics, psychology, and political and social science. The event explores diverse perspectives on the semantics–pragmatics distinction, highlighting how interdisciplinary approaches can advance our understanding of meaning, context, and interpretation.

The workshop is in-person only. Attendance is free of charge, but registration is mandatory as places are limited. To register, please email Tamara Dobler.

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.

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.

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.

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.

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. 

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.

The Computable 90 initiative includes a strong focus on Academic Engagement, with a dedicated Conference element. This is intended to foster high-level discussion and increase public understanding of Alan Turing's enduring influence in computer science.

The Conference itself is targeted at the academic community, though everyone who has an interest in Alan Turing's 1936 paper and the ideas it has sparked will be stimulated and are welcome to attend. For a more general audience, we are offering a Public Lecture which will take place in the afternoon of Thursday 17 September 2026.