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 Torrents
Universitat: 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 provers
Resum: In this talk, we will introduce proof assistants, pieces of softwarethat formally verify mathematical proofs.Lean has a very extensivedatabase with mathematical results at the undergraduate level for-mally verified, and it is even used to verify new research. This hasseveral applications, including teaching, automatically verifying publi-cations, and even automated theorem proving. At the end of this talk,we will carry out a demo of Lean to show the basics and how you canget started.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.