I am invited to give a talk in the Logic Seminar at CMU on April 20th, 2021 at 3:30pm Pittsburgh time (which is 9:30pm Vienna time). This one hour talk will be for a general audience. Afterwards I will give a 90min talk in the reading group where I will give more technical details. This seminar will take place virtually via zoom.

Title and abstract for this talk will be announced in due course.