Dear all, The next date of the ItaCa Fest will be May 24 2023, at 3 pm CET. We will be hosting 15:00 - 15:40 F. Guffanti, "A doctrinal view of logic" 15:40 - 16:20 M. Menni, "Decidable objects and molecular toposes" 16:20 - 17:00 P. Freni, "What should strong vector spaces be?" at the following link: https://cs-ox-ac-uk.zoom.us/j/97878376376?pwd=QithMyt5NzdOeE1EWGJRcjBxamxnUT... As always, we welcome a good discussion and you can stick with us for a chat after the last talk. You can find the abstracts and more on our seminar at the Fest's page: https://progetto-itaca.github.io/pages/fest23.html Hope to see you soon! Cheers, Beppe, Ivan, Fosco, Paolo and Greta. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]