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 Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. 

With this year's edition, the Amsterdam Colloquium turns half a century old!  To celebrate the 50th anniversary we will host a Special Session on The Past and Future of Semantics. In addition to the general program and the special session, the 25th Amsterdam Colloquium will feature a workshop on Semantics and Non-classical Logics. The Colloquium will also include a poster session and an evening lecture by Prof. Nicholas Asher, jointly organised with the E. W. Beth Foundation.

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.

While classical cryptographic schemes always have to fear the risk of being broken, in particular with the possibility that quantum computers are built, quantum cryptography promises unconditional security solely based on the laws of physics. This field of research is currently in an exciting phase in which theoretical concepts and ideas are not only experiencing the transition to experimental implementations, but are also attracting the interest of industry.

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

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.

Summer school in Logic organized by Italian Association for Logic (AILA). Further information on AILA's website (in Italian) or via email.

The second edition of the Beta in Bestuur & Beleid (STEM in Governance & Policy) Summer School will take place at Kasteel Spelderholt in Beekbergen. Are you considering a move to the public sector and would you like to discover how you, as a STEM professional, can make an impact in policy and governance? Then sign up via this link.

The aim of ICTCS is to foster cross-fertilization of ideas across different areas of theoretical computer science and to provide an environment where junior researchers and PhD students can interact with senior researchers.

ICTCS 2026 includes three special tracks devoted to significant application domains of theoretical computer science. The aim is to solicit contributions that, while not primarily situated within theoretical computer science, address substantive theoretical questions emerging from applied research problems. The three special tracks are listed on the website.

The aim of the event is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

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.

The 2026 edition is organized in collaboration with Universiteit Gent. The Masterclass is intended to be a fully interactive in-person event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers with an opportunity to discuss their ongoing work in a helpful and constructive environment.

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

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 Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). The next edition will be held from 21 to 24 September 2024 in Würzburg, Germany (noon until noon to allow travel on the same day). The conference will cover the whole range of mathematical logic and the foundations of the exact sciences.

In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

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.

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.

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.

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.