El proper dimecres, 6 d'octubre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa). Speaker: Daniel Gil MuñozUniversitat: Charles University in Prague Data: Wednesday, October 6th, 2021.Hora: 12:00,virtual coffee break; 12:20, talk.Lloc: Zoom (the link will be posted on our website).Idioma: English. Títol: On the possible ranks of universal... Continue Reading →
SIMBa: An introduction to theorem provers
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 →


