Reducing complexity in algebra, logic, combinatorics

project REDCOM funded by Fondazione Cariverona, program “Ricerca Scientifica di Eccellenza 2018”

Third Workshop             

September 19-21, 2022 - Brixen

Participants       Fotos

Program

Monday, September 19, 2022

9:00-12:30
Aula Aparallel sessions (logic group)
Aula B  parallel session (algebra group)

12:30 – 15:30 lunch break


15:30-18:00
Aula Aparallel sessions (logic group)
Aula B  parallel session (algebra group)


Tuesday, September 20, 2022

9:00-12:30
Aula Aparallel sessions (logic group)
Aula B  parallel session (algebra group)

excursion

 
Wednesday, September 21, 2022
Aula B  - plenary session
 
9:00
Jorge Vitória, University of Padova
Mutations and derived equivalences in the representation theory of commutative rings   abstract

10:00
Federico Campanini, University of Padova
Some recent results on pretorsion theories in lextensive categories    abstract

11:00-11:30 coffee break

11:30
Daniel
Wessel, University of Verona

A formal approach to Menger's theorem    abstract

12:30 – 14:00 lunch break

14:00

Ingo Blechschmidt, University of Augsburg
Revisiting divisible, injective and flabby abelian groups from a constructive point of view   abstract

15:00-15:30 coffee break

15:30
Francesca Mantese, Università di Verona
Irreducible representations of the free algebra through Leavitt path algebras abstract