BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Plone.org//NONSGML plone.app.event//EN
X-WR-TIMEZONE:Europe/Madrid
BEGIN:VEVENT
SUMMARY:Xerrada "Sobre el Lean Theorem Prover" a càrrec de Marc Masdeu (U
 AB)
DTSTART;TZID=Europe/Madrid:20220427T121500
DTEND;TZID=Europe/Madrid:20220427T150000
DTSTAMP:20260411T102647Z
UID:81f97189bd514a598fb5cd0031df0bd5@mat.upc.edu
CATEGORIES:MAT
CONTACT:https://leanprover.github.io
CREATED:20220422T142815Z
DESCRIPTION:Xerrada a càrrec de Marc Masdeu (UAB) sobre Lean Theorem Prov
 er
LAST-MODIFIED:20220422T162622Z
LOCATION:Aula 3.50 Edifici TR5 (ESEIAAT) Terrassa
URL:https://mat.upc.edu/ca/activitats/xerrada-sobre-el-lean-theorem-prover
 -a-carrec-de-marc-masdeu-uab
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Madrid
X-LIC-LOCATION:Europe/Madrid
BEGIN:DAYLIGHT
DTSTART:20220327T030000
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR