• https://mat.upc.edu/ca/activitats/xerrada-sobre-el-lean-theorem-prover-a-carrec-de-marc-masdeu-uab
• Xerrada "Sobre el Lean Theorem Prover" a càrrec de Marc Masdeu (UAB)
• 2022-04-27T12:15:00+02:00
• 2022-04-27T15:00:00+02:00
• Xerrada a càrrec de Marc Masdeu (UAB) sobre Lean Theorem Prover

Xerrada a càrrec de Marc Masdeu (UAB) sobre Lean Theorem Prover

Quan

27/04/2022 de 12:15 a 15:00

On

Aula 3.50 Edifici TR5 (ESEIAAT) Terrassa

URL de l'esdeveniment

Lloc web relacionat

Afegeix un esdeveniment al calendari

iCal

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