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 |
Ricardo Campos (ETH Zürich, Switzerland) |
Graph complexes and configuration spaces of points
|
2017-04-19 |