El proper dimecres, 2 de juny, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa). Speaker: Eloi TorrentsUniversitat: Universitat Autònoma de Barcelona Data: Wednesday, June 2nd, 2021.Hora: 12:00,virtual coffee break; 12:20, talk.Lloc: Zoom (the link will be posted on our website).Idioma: English. Títol: An introduction to theorem proversResum: In... Continue Reading →