Pilar Terrés, a PhD student from Universitat de Barcelona, is visiting the University of Bergen in the autumn semester. Pilar is writing about one of my favourite topics: logical pluralism and proof theory. She’s giving a talk in the department seminar on September 22nd.