We kick off the academic year with William Tait’s compelling exposition of the tension between Truth and Proof in Mathematics. Are mathematical proofs constructed or discovered by means of a proof? In the decade-long debate between constructivist and platonists, Tait defends Platonism by attacking some of Dummett’s main claims in favour of intuitionism. By adopting a similar approach towards the relaionship between language and reality as Dummet’s, he aims to downsize the accusations intuitionists wage against mathematical realists, arguing that proofs are merely representations of mathematical truth. The issues Tait brings up in this paper are extremely engaging for Intuitionists and Platonists alike, so come plenty and take part in the discussion.

The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) is delighted to announce the Logic at Large Lecture 2025 aimed at a general audience. Now in its fifth year, this annual lecture consists of a one-hour talk followed by discussion and questions, and will take place on Wednesday 8 October 2025, 16:00-18:00 CEST.

We are pleased to welcome Professor Samson Abramsky (University College London), who will give a public lecture entitled: “The Logic of Quantum Paradoxes”. The event will be held online and is open to all. No registration is required.

We are delighted to invite you to our upcoming IDCN event, kindly hosted by IN Amsterdam. A big thanks to our partners for making this possible!

The International Dual Career Network (IDCN) is a global initiative that connects companies and accompanying partners (spouses) in a local talent pool. Members can take part in career events and networking opportunities, and some also contribute as volunteers. Last June, the IDCN Amsterdam Utrecht Area was launched, and we now look forward to welcoming partners, member companies, and new organisations interested to get to know IDCN to this event.

Speakers include: Fausto Barbero (Helsinki), Marianna Girlando (Amsterdam), Matilda Häggblom (Helsinki), Johannes Korbmacher (Utrecht), Robin Martinot (Bochum), Fan Yang (Utrecht)

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.

Join us on October 28 for a compelling talk by Prof. Bart Preneel (KU Leuven) as he revisits the Crypto Wars—exploring the clash between encryption, privacy, and national security. From the Clipper Chip to client-side scanning and the ProtectEU roadmap, this session dives deep into the evolving landscape of cryptographic policy and surveillance.
Part of IPN's 25-year celebration series, this online colloquium is open to all and promises insights for anyone interested in cybersecurity, privacy, and the future of tech.

This workshop takes place on the occasion of Raoul Koudijs' PhD defense. It features talks about deriving and/or revising logical concept based on data examples, as well as an introductory talk about Dafny, a Hoare-logic inspired language used for the formal specification and verification of programs.

Speakers: Jean Christoph Jung - TU Dortmondt, Ana Ozaki - University of Oslo, Montserrat Hermo - University of the Basque Country (*over zoom)

The QISS and InDeep research groups are pleased to invite you to a workshop exploring the synergies and challenges of AI and Quantum Technologies for society.
Novel computing technologies, including artificial intelligence and quantum computing, are rapidly transforming society. In this workshop, we will take stock of the recent advances in both fields, examine their ethical and legal dimensions and oversight, and discuss how to shape their societal impacts responsibly. To what extent do advances in these field reinforce one another? What lessons can successful interventions in one field offer the other? Join us for an engaging exchange at the intersection of technology, ethics, and society.

Participation is free of charge, but places are limited (registrations will be confirmed).
Find the registration and full programme of the Workshop on the QISSand InDeep event pages.