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 Dutch Categories And Types Seminar is an inter-university seminar on type theory, category theory, and the interaction between these two fields. It provides a forum for discussion, collaboration, and dissemination to researchers in type theory and category theory working in the Netherlands.
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).
To mark Daniil's PhD defence, we are organising a workshop dedicated to the study of group agency, broadly understood, via mathematical methods, broadly understood. The themes include, but are not limited to, modal logics of strategic and cooperative reasoning and philosophical aspects of mathematical and computational models of social interactions. Invited speakers are Davide Grossi, Olivier Roy, and Valentin Goranko.
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 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.
We welcome abstracts for contributed talks on category theory and its connections with algebra, topology, logic and computer science.
Please submit your abstract by 29 October 2026, using the LaTeX template available on the seminar website. Send both the .tex source and the compiled PDF, together with the completed registration form in the email body, to mmc at mat.uc.pt with the subject “PCS-2026 SUBMISSION”.
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!
This is an unrivalled opportunity for graduate students interested in logic, philosophy of mathematics, and other formal areas of philosophy to present their work. A representative, but nonexclusive, list of subdisciplines would be: philosophy of mathematics, logic and philosophy of logic, applications of logic to epistemology and metaphysics, formal epistemology, decision theory, and applications of formal methods to the philosophy of science.
Papers should be no longer than 4000 words (including footnotes and appendices, excluding references) and suitable for a 40 minute presentation. They should also be accompanied by an abstract of no more than 150 words. The submission deadline is adjusted for the UK time.
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.
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.
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).
Welcomed are papers and symposia from across all areas of logic, philosophy of science, and philosophy of technology. The aim is to feature presentations from across the wide array of topics pertaining to our fields, from mathematical logic to metaphilosophy, from the foundations of the exact sciences to philosophy of the humanities and social sciences, from philosophy of technology to historical perspectives on the sciences, presented by researchers from around the world. CLMPST is particularly enthusiastic about proposals that reach across disciplines, that incorporate speakers from different countries or regions, that explore public engagement and/or social implications of academic work, or that reflect on relationships and contributions of different knowledge systems.