[categories] ItaCa Fest - 16th of June

Dear all, ItaCa Fest 2026 continues on Tuesday the 16th of June. We will start at 3:00 PM (Italian time) as usual. Here is the list of speakers for this episode: • M. Spadetto – *A conservativity proof strategy via 2-category theory*; • L. Ye – *The pro-étale site for first-order logic*; • G. Boccali – *Normalization for (co-)lax-idempotent 2-sketches*. You can find a precise schedule, the abstracts, and the Zoom link at the following page: https://progetto-itaca.github.io/fests/fest26.html Best wishes, Giacomo (On behalf of the Scientific Committee)