Tomorrow I will leave for Sweden for scientific visits to Götheborg and Stockholm.

I will be in Götheborg for participating in the

Workshop in Honour of Thierry Coquand’s 60th Birthday

My talk, entitled “Relative toposes as a generalization of locales“, will be on Thursday 25th at 10:15.

Then I shall leave for Stockholm, where I will give a colloquium lecture for the Stockholm Mathematics Centre (KTH and Stockholm University) on Wednesday 31st at 15:15.

Thanks again to the organisers of these events for their invitations, and looking forward to this trip!