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

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