I am invited to give a plenary talk at the congress of the Italian Association of Logic and Applications in Udine, taking place September 3-6, 2024.

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