Maria Manuel Clementino (CMUC, Univ. Coimbra) |
Topological groups have representable internal actions
|
2018-03-20 |
Martin Hyland (Univ. of Cambridge, UK) |
The category of Brouwer operations: a basis for an understanding of choice sequences
|
2018-01-23 |
Alexander Zakharov (CMUP, Univ. Porto) |
Right-angled Artin groups: commensurability classification and subgroup intersection problem
|
2017-12-13 |
Nora Szakács (CMUP, Univ. Porto) |
Inverse monoids and immersions of cell complexes
|
2017-10-17 |
Jorge Almeida (CMUP, Univ. Porto) |
Towards a pseudoequational proof theory
|
2017-07-13 |