[Club2] Einladung: "Development of a Distributed Build Platform for Isabelle" - Mi 7. Sep. 2022 14:00 - 14:20 (MESZ) (club2 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>