On the occasion of his retirement, Michiel van Lambalgen will give a valedictory lecture entitled Time. People are cordially invited to attend this lecture in the Aula.

A live stream of the event is available here.

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.

Arvo Pärt is one of the most popular contemporary composers. In fact, according to one count, he was the most performed contemporary composer in eight successive years from 2011 to 2018. Who would have expected that from algorithmically composed music? Indeed, that is how Pärt arguably composes: his style, known as tintanibulli, heavily relies on the use of simple mathematical procedures. They can regulate everything from the structure of a piece to the duration of individual notes. To better understand that process, we analyze and formalize Pärt's composition Summa. The algorithm we implement almost completely reconstructs the work: it outputs a musical score that matches the original in over 93% of the notes. In fact, as a result of dependencies between the notes, only 3.5% of the notes really remains to be corrected. Our work not only demonstrates that Pärt's approach to composition is deeply formal, it also invites new algorithmic compositions in his style.

Please contact the organizer to join this online talk.

Second meeting this year of the Philosophy of Mathematics Reading Group.
This week we will discuss the 1st chapter from "Mathematical Intuition" by Richard Tieszen.

Unfortunately this DIP colloquium had to be cancelled

Arvo Pärt is one of the most popular contemporary composers. In fact, according to one count, he was the most performed contemporary composer in eight successive years from 2011 to 2018. Who would have expected that from algorithmically composed music? Indeed, that is how Pärt arguably composes: his style, known as tintanibulli, heavily relies on the use of simple mathematical procedures. They can regulate everything from the structure of a piece to the duration of individual notes. To better understand that process, we analyze and formalize Pärt's composition Summa. The algorithm we implement almost completely reconstructs the work: it outputs a musical score that matches the original in over 93% of the notes. In fact, as a result of dependencies between the notes, only 3.5% of the notes really remains to be corrected. Our work not only demonstrates that Pärt's approach to composition is deeply formal, it also invites new algorithmic compositions in his style.

In relation to the first chaptemnr of "Mathematical Intuition" by Richard Tiszen, we will discuss some notions of Husserl's phenomenology that pertain to the categorial intuition. We focus on intentionality, synthetic and eidetic intuition and then see how Tieszen posits it in his program.

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.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .