Schedule
Friday March 31st
20:00 Gathering for Drinks
Day 1
Saturday April 1st
8:30 - 9:00 Welcome & Registration
9:00 - 9:30 Giuseppe Rosolini ''Grothendieck topologies, weak limits and elementary doctrines'' Slides
9:30 - 10:00 Jacopo Emmenegger ''Groupoids in a fibration and the Benabou-Roubaud Theorem'' Slides
10:00 - 10:30 Fabio Pasquali ''Relational doctrines and quotients''
10:30 - 11:00 Federico Campanini ''Some recent results on pretorsion theories in lextensive categories'' Slides
11:00 - 11:30 Coffee break
11:30 - 12:00 Manuel Mancini ''Weak representability of actions of non-associative algebras'' Slides
12:00 - 12:30 Aline Michel ''Central extensions of preordered groups'' Slides
12:30 - 13:00 Corentin Vienne ''Heyting semilattices and arithmetical categories''
13:00 - 13:30 Giuseppe Metere ''Groupal pseudofunctors and cohomology 2-groups'' Slides
13:30 - 16:00 Lunch & Visit to the Lyceum
16:00 - 16:30 Elena Dimitriadis-Bermejo ''A model for dg-categories'' Slides
16:30 - 17:00 Elena Caviglia ''Generalized principal bundles and quotient stacks'' Slides
17:00 - 17:30 George Raptis ''n-localic ∞-topoi and hypercompleteness''
17:30 - 18:00 Coffee break
18:00 - 18:30 Ming Ng ''Adelic geometry via topos theory''
18:30 - 19:00 Ioannis Markakis ''Computads for Generalised Signatures'' Slides
19:00 - 19:30 Asterios Gkantzounis ''On provings and sheaves''
20:30 Conference Dinner
Day 2
Sunday April 2nd
9:00 - 9:30 Nathanael Arkor ''The formal theory of relative monads'' Slides
9:30 - 10:00 Gabriele Lobbia ''A skew approach to enrichment for Gray-categories'' Slides
10:00 - 10:30 Florian De Leger ''Triple delooping for multiplicative higher operads'' Slides
10:30 - 11:00 Andrew Slattery ''Pseudocommutativity for relative pseudomonads'' Slides
11:00 - 11:30 Coffee break
11:30 - 12:00 Luca Mesiti ''Colimits in 2-dimensional slices'' Slides
12:00 - 12:30 Sori Lee ''Limits in indexed profunctors over 2-categories'' Slides
12:30 - 13:00 Giacomo Tendas ''Dualities in the theory of accessible categories'' Slides
13:00 - 13:30 Emmanuel Galatoulas ''Towards a quantum mechanics semantics for the quantaloidal calculus''
13:30 - 16:00 Lunch & Visit to the Acropolis Museum