On June 01, 2019 I am invited to give a talk at the Logic Fest in the Windy City in Chicago, USA.

Title and Abstract for this talk will be announced later.