I am invited to give an invited talk at the 10th Indian Conference on Logic and its Applications (ICLA) in Indore, India, March 3-5, 2023.

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