LoCaD 2025 brings together researchers in logic, algebra, and proof theory to explore formal methods for reasoning, categorization, and decision-making. The aim is to foster interaction across traditions—modal logic, algebraic logic, proof theory, category theory, knowledge representation, formal epistemology—and to identify common structures, tools, and research programmes.

LoCaD 2025 is organized on the occasion of PhD defenses.

LoCaD 2025 brings together researchers in logic, algebra, and proof theory to explore formal methods for reasoning, categorization, and decision-making. The aim is to foster interaction across traditions—modal logic, algebraic logic, proof theory, category theory, knowledge representation, formal epistemology—and to identify common structures, tools, and research programmes.

LoCaD 2025 is organized on the occasion of PhD defenses.

Would you like to put your research in the spotlight, but are unsure how to approach the media? Or are you afraid that journalists will twist your story? In this basic introduction, UvA press officers will give you the tools to help you confidently deal with news media.

This workshop also takes place on 2 December in Dutch. More dates (both in NL and EN) are available next year.

LoCaD 2025 brings together researchers in logic, algebra, and proof theory to explore formal methods for reasoning, categorization, and decision-making. The aim is to foster interaction across traditions—modal logic, algebraic logic, proof theory, category theory, knowledge representation, formal epistemology—and to identify common structures, tools, and research programmes.

LoCaD 2025 is organized on the occasion of PhD defenses.

LoCaD 2025 brings together researchers in logic, algebra, and proof theory to explore formal methods for reasoning, categorization, and decision-making. The aim is to foster interaction across traditions—modal logic, algebraic logic, proof theory, category theory, knowledge representation, formal epistemology—and to identify common structures, tools, and research programmes.

LoCaD 2025 is organized on the occasion of PhD defenses.

In this course we will use the Agda system to explore the central concepts of Type Theory. Topics include dependent types, dependent functions, propositions-as-types, and formal reasoning within type theory. If time permits, we will also discuss recent developments such as Homotopy Type Theory and its implementation in Cubical Agda. This is an introductory lecture - no previous knowledge of Type Theory is required.

Registrations are accepted on a rolling basis, spots are limited.

The ILLC Midwinter Colloquium will feature two speakers under the theme "Technology and Society".

The colloquium is preceded by the Current Affairs meeting and followed by the Christmas Party.

All staff members, PhD candidates, MoL students and any guests of the ILLC are welcome to attend the colloquium.

LoCaD 2025 brings together researchers in logic, algebra, and proof theory to explore formal methods for reasoning, categorization, and decision-making. The aim is to foster interaction across traditions—modal logic, algebraic logic, proof theory, category theory, knowledge representation, formal epistemology—and to identify common structures, tools, and research programmes.

LoCaD 2025 is organized on the occasion of PhD defenses.

We kindly invite you to this year's first seminar of the AI, Culture, and Society Seminar Series organised by the AI, Culture, and Society (AIC&S) research group at the ILLC and the Multimedia Analytics research group at IvI.

This month's theme will be Digital Research Infrastructures and the Humanities, with contributions from Prof. Antoine Doucet (University of La Rochelle) and Dr. Marijn Koolen (Huygens Institute for the History of the Netherlands). The seminars will be followed by drinks!

LoCaD 2025 brings together researchers in logic, algebra, and proof theory to explore formal methods for reasoning, categorization, and decision-making. The aim is to foster interaction across traditions—modal logic, algebraic logic, proof theory, category theory, knowledge representation, formal epistemology—and to identify common structures, tools, and research programmes.

LoCaD 2025 is organized on the occasion of PhD defenses.

The Dutch Association for Logic and Philosophy of the Exact Sciences is known in Dutch as the Vereniging voor Logica en Wijsbegeerte van de Exacte Wetenschappen, commonly abbreviated as VvL. The fourth edition of the (in-person) Annual VvL Seminar will be organized by Leiden University. The event will also host the award ceremony of the VvL MSc Thesis Prize. The winners will give short presentations of their theses.

MSc Thesis Prize winners: Lingyuan Ye (Amsterdam), Andreea Minculescu (Groningen).
Main speakers: Rosalie Iemhoff (Utrecht) and David Mestel (Maastricht).

On the 15th of December 2025, the Dean of the Faculty of Science, Susan te Pas, will visit the ILLC for an informal introduction to the institute. All are invited to attend.

The 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