From 11–13 May, Pedro Henrique Azevedo de Amorim will visit the STyLo Team of Henning in Leiden. The purpose is to discuss common interests in coalgebra and categorical logic.