Lecture Rooms
All lecture rooms are equipped with a white or black board, a data-show and an overhead projector.
Plenary talks will be in the Education Department (building 5 in the Campus Map below), Room 5.2.22:
Picture 1,
Picture 2. We will also provide an additional white board (120cm x 250cm).
Parallel sessions will be in the Mathematics Department (building 11 in the Campus Map), Rooms 11.1.3 and 11.1.10:
Picture.
Coffee breaks are to be held at "Bar de Matemática" located in the ground flour of the Mathematics Department.
Here you will find a map of the campus with the locations of Education and Maths Departments.
Here you will find a WALKING MAP of Aveiro.
Schedule
Overview
Sunday 14
| Time | Programme |
| 18:00 - 20:00 | Welcome Reception / Registration,
at the terrace of the Restaurant Olá Ria
(Location: green spot in this map).
|
Monday 15
| Time | Programme |
| 08:30 - 09:00 | Registration |
| 09:00 - 09:30 | Opening |
| 09:30 - 10:30 | R. Garner: The Campbell-Baker-Hausdorff adjunction |
| 10:30 - 11:00 | R. Paré: Skolem relations and profunctors |
| 11:00 - 11:30 | Coffee Break
|
| 11:30 - 12:00 | A. Joyal: Witt vectors and the James construction |
| 12:00 - 12:30 | J. Rosický: Classification theory for accessible categories |
| 12:30 - 13:00 | M. Fiore: Theory of para-toposes |
| 13:00 - 14:30 | Lunch
|
| 14:30 - 15:00 | T. Leinster: The reflexive completion |
| 15:00 - 15:30 | M. Johnson: Symmetrizing categories of lenses |
| 15:30 - 16:00 | J. Adámek: Reflective subcategories of locally presentable categories |
| 16:00 - 16:30 | Coffee Break
|
| 16:30 - 17:00 | Lucyshyn-Wright: A general theory of measure and distribution monads founded on the notion of commutant of a subtheory |
| 17:00 - 17:30 | G. Metere: Aspects of strong protomodularity, actions and quotients |
| 17:30 - 18:00 | A. Montoli: On the “Smith is Huq” condition in S-protomodular categories |
| 18:00 - 18:30 | M. Duckerts-Antoine: A classification theorem for normal extensions |
Tuesday 16
| Time | Programme |
| 09:00 - 10:00 | G. Böhm: Hopf monoids in duoidal categories |
| 10:00 - 10:30 | R. Wood: Waves and total distributivity |
| 10:30 - 11:00 | P. Johnstone: Functoriality of modified realizability |
| 11:00 - 11:30 | Coffee Break
|
| 11:30 - 12:30 | B. Lawvere: Alexander Grothendieck and the modern conception of Space |
| 12:30 - 13:00 | M. Menni: An 'algebraic' model of a bidirectional Euler continuum |
| 13:00 - 14:30 | Lunch
|
| 14:30 - 15:00 | P. Leung: The free tangent structure
| M. Dostál: Two-dimensional Birkhoff’s theorem |
| 15:00 - 15:30 | Z. Low: Generalising the functor of points approach
| V. Even: Central extensions and closure operators in the category of quandles |
| 15:30 - 16:00 | F. Lucatelli: Kan extensions and descent theory
| S. Moss: Another approach to the Kan-Quillen model structure |
| 16:00 - 16:30 | Coffee Break
|
| 16:30 - 17:00 | J.R. Montañez Puentes: Some topoi generated by topological spaces
| K. van Opdenbosch: Regularity for relational algebras and the case of approach spaces |
| 17:00 - 17:30 | G. Lima: Site characterisations for local geometric morphisms
| D. Pinto: An abstract approach to Glivenko’s theorem |
Wednesday 17
| Time | Programme |
| 09:00 - 10:00 | D. Rodelo: A tour through n-permutability |
| 10:00 - 11:00 | H. Krause: Stratification of triangulated categories |
| 11:00 - 11:30 | Coffee Break
|
| 11:30 - 12:00 | G. Janelidze: Exponentiable homomorphisms of algebras |
| 12:00 - 12:30 | R. Brown: A philosophy of modelling and computing homotopy types |
| 12:30 - 14:00 | Lunch
|
| 14:00 | Excursion
|
Thursday 18
| Time | Programme |
| 09:00 - 10:00 | C. Berger: Algebraic and homotopical nilpotency |
| 10:00 - 10:30 | S. Lack: Multiplier bimonoids, multiplier bicomonads, and comonads in a simplicial set |
| 10:30 - 11:00 | D. Bourn: Partial Mal’tsevness and category of quandles |
| 11:00 - 11:30 | Coffee Break
|
| 11:30 - 12:00 | G. Rosolini: Exact completions as homotopical quotients |
| 12:00 - 12:30 | L. Sousa: Categories of “lax fractions” |
| 12:30 - 13:00 | M. Zawadowski: Fibrations of polynomial and analytic functors and monads |
| 13:00 - 14:30 | Lunch
|
| 14:30 - 15:00 | N. Martins-Ferreira: Categories with 2-cell structures and their internal pseudocateg.
| J. Obradovic: On the various definitions of cyclic operads |
| 15:00 - 15:30 | D. Christensen: A characterization of univalent fibrations
| K. Emir: Pointed homotopy of 2-crossed module maps and groupoid structure |
| 15:30 - 16:00 | S. Solovjovs: On monoidal (co)nuclei and their applications
| M. Prasma: The Grothendieck construction for model categories |
| 16:00 - 16:30 | Coffee Break
|
| 16:30 - 17:00 | N. Guallart: A comparison between ITT and CoC
| R. Abud Alcalá: Comodules for coalgebroids |
| 17:00 - 17:30 | Y. Maruyama: Higher-order categorical substructural logics
| D. Chikhladze: Another perspective on skew monoidal structures |
| 17:30 - 18:00 | S. Koudenburg: Yoneda embeddings in double categories
| C. Sattler: Initial algebras for dependent from plain polynomial functors in quasicategories |
| |
|
| 19:30 | Conference Dinner
|
Friday 19
| Time | Programme |
| 09:00 - 10:00 | J. Bergner: Models for homotopical higher categories |
| 10:00 - 10:30 | R. Cockett: Itegories |
| 10:30 - 11:00 | Z. Janelidze: On a symmetric proof of the non-abelian snake lemma |
| 11:00 - 11:30 | Coffee Break
|
| 11:30 - 12:00 | E. Riehl: Virtual equipments for ∞-categories |
| 12:00 - 12:30 | D. Verity: The calculus of modules for ∞-categories |
| 12:30 - 13:00 | I. López-Franco: Aspects of lax orthogonal factorisation systems |
| 13:00 - 14:30 | Lunch
|
| 14:30 - 15:00 | G. Cruttwell: The Jacobi identity for tangent categories |
| 15:00 - 15:30 | J. Bourke: Skew structures in 2-category theory and homotopy theory |
| 15:30 - 16:00 | R. González Rodríguez: Equivalences and iterations for weak crossed products |
| 16:00 - 16:30 | Coffee Break
|
| 16:30 - 17:00 | N. Gurski: Distributive laws for quasicategories |
| 17:00 - 17:30 | P. North: Weak factorization systems for intensional type theory |
| 17:30 - 18:00 | T. Avery: Codensity and the Giry monad |
| 18:00 - 18:30 | M. Weber: Internal algebra classifiers as codescent objects of crossed internal categories |