[Club2] Einladung: "Development of a Distributed Build Platform for Isabelle" - Mi 7. Sep. 2022 14:00 - 14:20 (MESZ) (club2 at in.tum.de)
piller at in.tum.de
piller at in.tum.de
Wed Aug 17 09:37:32 CEST 2022
"Development of a Distributed Build Platform for Isabelle"
Mittwoch 7. Sep. 2022 ⋅ 14:00 – 14:20
Mitteleuropäische Zeit - Berlin
Speaker: Mokhtar RiahiType: BA Thesis PresentationAbstract: Presentation of
thedistributed build system. I will present the details of the cluster and
theimplementation of the tool. The results will be discussed. We
estimate thetheoretical lower bound of the total build time. We also
estimate this lowerbound using high-end consumer CPUs
Gäste
club2 at in.tum.de
mohamedmokhtar.riahi at tum.de
Alle Gästeinformationen ansehen
https://calendar.google.com/calendar/event?action=VIEW&eid=MWF0MmNuc2ExZ2Rvc2sxZjV1bWltOWw1M2EgY2x1YjJAaW4udHVtLmRl&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTM0ZTExNjFjYzkyMGI4MGJjYTI1MzQ0ZjllMmU5OWJkOTZiOThiNjM&ctz=Europe%2FBerlin&hl=de&es=0
Für club2 at in.tum.de antworten und weitere Details ansehen
https://calendar.google.com/calendar/event?action=VIEW&eid=MWF0MmNuc2ExZ2Rvc2sxZjV1bWltOWw1M2EgY2x1YjJAaW4udHVtLmRl&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTM0ZTExNjFjYzkyMGI4MGJjYTI1MzQ0ZjllMmU5OWJkOTZiOThiNjM&ctz=Europe%2FBerlin&hl=de&es=0
Ihre Anwesenheit ist optional.
~~//~~
Einladung von Google Kalender: https://calendar.google.com/calendar/
Sie erhalten diese E-Mail, weil Sie ein Gast des Termins sind. Wenn Sie
keine weiteren Informationen zu diesem Termin erhalten möchten, lehnen Sie
die Einladung ab.
Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an
den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem
könnte er weitere Nutzer einladen und Ihre Antwort ändern.
Weitere Informationen
https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20220817/c476ec2c/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 1892 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20220817/c476ec2c/attachment-0001.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 1933 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20220817/c476ec2c/attachment-0001.bin>
More information about the Club2
mailing list