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.

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

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.

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.

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 Symposium is an international logic conference bringing together researchers in philosophical logic, mathematical logic, and logic in computer science. It will take place from August 21 to August 23, 2026.

The Nordic Logic Summer School will take place immediately before the symposium, from August 17 to August 20, 2026. It is aimed primarily at PhD students and early-career researchers and offers introductory and advanced courses in logic and its applications.

The Symposium is an international logic conference bringing together researchers in philosophical logic, mathematical logic, and logic in computer science.

The Nordic Logic Summer School will take place immediately before the symposium. It is aimed primarily at PhD students and early-career researchers and offers introductory and advanced courses in logic and its applications.

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

ETAPS, established in 1998, is a confederation of four annual conferences with satellite workshops and one of the world's leading fora for research on software science. In addition to the conference, ETAPS also unites the software science community with activities such as a blog on software sciences, a PhD mentoring workshop, sessions on diversity, equity, and inclusion, and an ask-me-anything session.

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.

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.

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