Xerrada "Sobre el Lean Theorem Prover" a càrrec de Marc Masdeu (UAB)

La xerrada forma part dels "Mathematical-Gossip" de la secció del Campus de Terrassa del DMAT que tenen lloc els dimecres a les 12:15. Els  "Mathematical-Gossip" són trobades informals per xerrar de temes matemàtics que interessen o inquieten als professors i professores de la Secció del Campus de Terrassa. Les trobades tenen lloc a l'espai comú/biblioteca de la Secció del Campus de Terrassa, a l'aula 3.50 de l'Edifici TR5, de l'ESEIAAT (Terrassa). Aquesta sessió dels "Gossip" té un caràcter més formal, en comptar amb el professor Marc Masdeu de la UAB, com a convidat extern.

Data d'inici: 27/04/2022 12:15
Data finalització: 27/04/2022 15:00
Lloc: Aula 3.50 Edifici TR5 (ESEIAAT) Terrassa