It's really useful post, thanks for sharing your informationSee more details Europe email list

No, the recordings will only include talks.

No, as far as I remember.

It would really be premature for me to discuss about the issues you mention before our work is completed. We will be happy to get back to you once it ...

I was indeed referring to the implicit, but not explicit, presence of parameters in the classical formalization of geometric logic (the one modelled o...

@matthias-hutzler Concerning (geometric) logical characterizations of geometric constructions, I suggest to check out this paper.

@steve-vickers Indeed, your references emphasize the use of geometric constructions, while section 2.1.3 of my book provides a more formal logical tre...

This is explained in detail in section 2.1.3 ("Interpretations and geometric morphisms") of my book "Theories, Sites, Toposes".

@jake_gillberg Hi Jake, I have sent you again the e-mail with the Zoom link and the other relevant information. Have you received it now?

@alberto-navarro Hi Alberto, Yes, the talks and lectures will be made available on the YouTube channel of IHES after the end of the event.

@pdu Thanks, I have just corrected it!

Hello Olivia, Thanks for organizing the event! I find there is a typo in the timetable: "Friday 27 June" should be "Friday 25 June". Best Peng