IRIF has the great pleasure to welcome Sandra Alves, assistant professor at University of Porto and expert in type-theory, rewriting, and fundamental calculi, who is visiting the IRIF until the 8th of February.