Logic and the philosophy of mathematics are central and foundational sub-disciplines in philosophy. However, graduate students working in these areas often struggle to find access to forums in which they can discuss their work with peers. The aim of this conference is to provide graduate students working in these and related areas with such a forum.

Additionally, the conference has been co-founded by the ILLC's own Luca Incurvati!

The meeting welcomes researchers and students interested in category theory and its connections with logic, computer science, algebra and topology. Registration is free. Submission deadline is 29 October, and registration closes on 5 November.

CLMPST is the premier forum on Logic, Methodology and Philosophy of Science and Technology. Its aim is to bring together active researchers in this broad field. CLMPST has a long history — it started in 1960, and has been held every four years since then in capital cities and/or by leading university centres in this field. Recent previous CLMPST Congresses were held in Buenos Aires (2023), Prague (2019), Helsinki (2015), Nancy (2011), and Beijing (2007).

We are organizing a thematic school with a strong interdisciplinary focus centered on linguistics, logic, the role of diachrony in conditional constructions, and corpus studies. Following three successful thematic schools in 2019, 2022, and 2024, the upcoming Conditionals school will take place at INALCO in Paris from October 26 to 30, 2026. Invited speakers include Hadil Karawani (Konstanz), Stefan Kaufmann (Connecticut), Dean McHugh (Edinburgh), Ezra la Roi (Ghent and Leuven), and Alex Reuneker (Leiden).

The DADL workshop aims to connect researchers and students interested in algebra, duality theory non-classical logics (especially intuitionistic modal logics) and definability problems in these topics (uniform interpolation, higher-order quantifier elimination, normal forms, free algebra constructions, etc). Participation is free and no registration is required.

The workshop is co-located with the PhD defense of Rodrigo Almeida. The defense is public and will be held on the 30 of October at 14:00 at the Aula of the University of Amsterdam (Singel 411, Amsterdam).

Workshop at the UvA Education Day 2026

How do you have meaningful conversations with students about AI in public communication? Using Amsterdam's 'AI imagineering' case and the Moral Data City Hunt, you work with concrete dilemmas around AI‑generated imagery, such as trust, inclusion and responsibility. You make underlying values and tensions visible and discover how to use this approach to put academic citizenship into practice by facilitating dialogue and contributing to responsible innovation.

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.

The Dutch Association for Logic and Philosophy of the Exact Sciences is pleased to announce its 2026 Logic at Large Lecture. Professor Susanne Bobzien (Oxford and Princeton) will deliver a lecture entitled 'Stoic Propositional Logic — more relevant than you think'.

The event will be held online and is open to all. No registration is required, simply join via this Zoom link: https://uva-live.zoom.us/j/68948380418.

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.

Founded in 2016, the G10 Festival is one of the most special “think festivals” in Europe. Speakers are selected for their distinctive approach to unconventional thinking.

The Systematicity Argument tells us that there must be symbols (“concepts”) inside agents who display linguistic capacities: the argument has been enormously influential in Philosophy, Linguistics, Cognitive Science, and now in AI, but is the argument a good one?
Invited Speakers: D. Rothschild (UCL), M. Lewis (ILLC, UvA), S. Gerlek (ASCA, UvA).
Applications are welcome from Master and PhD students.

The workshop will take place before the 2026 Amsterdam Colloquium, which interested participants are also invited to attend https://events.illc.uva.nl/AC/AC2026/.

Invited Speakers : Martha Lewis (UvA, ILLC), Daniel Rothschild (UCL), Selin Gerlek (UvA, ASCA)

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: Before, at, and after the birth of the Amsterdam Colloquium. A history of the Amsterdam Colloquium can be found on the website of its Proceedings.

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.

ICLA 2027 is the 12th edition of the biennial conference organised by the Association for Logic in India (ALI). It serves as a forum that brings together researchers from a variety of disciplines in which formal logic plays a significant, and often foundational, role, including Mathematics, Computer Science, Philosophy, Linguistics, and Cognitive Science. A distinctive feature of ICLA is its inclusion of research on systems of logic in the Indian tradition, as well as historical studies of logic.

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.