[Club2] Einladung: Verification of the Flow Framework from "Local Reasoning ... - Mi 30. Sep. 2020 14:00 - 14:35 (MESZ) (club2 at mailbroy.informatik.tu-muenchen.de)
maximilianhaslbeck at gmail.com
maximilianhaslbeck at gmail.com
Wed Sep 23 11:58:42 CEST 2020
Sie wurden zum folgenden Termin eingeladen.
Titel: Verification of the Flow Framework from "Local Reasoning for Global
Graph Properties"
Beschreibung:Speaker: Bernhard PöttingerType: Master's Thesis
PresentationAbstract: The Flow Framework introduces a separation algebra
that allows handlingthe potentially unbounded side-effects of modifications
to global graphproperties like reachability in a modular fashion. In this
thesis weformalize the Flow Framework as presented in ``Local Reasoning
forGlobal Graph Properties'' [Krishna,Summers,Wies;2019]. Subsequently,
wedemonstrate the application of the Flow Framework by verifying a
graphalgorithm. Finally, we present a significantly refined proof for
acentral theorem of the framework.
Wann: Mi 30. Sep. 2020 14:00 – 14:35 Mitteleuropäische Zeit - Berlin
Wo: In Garching (00.05.035) and online (https://bbb.rbg.tum.de/sim-h4f-emd)
Teilnahmeinformationen: Teilnehmen mit: Google Meet
https://meet.google.com/yzq-ifsb-naw
Kalender: club2 at mailbroy.informatik.tu-muenchen.de
Wer
* maximilianhaslbeck at gmail.com- Veranstalter
* club2 at mailbroy.informatik.tu-muenchen.de
* siddharth at cs.nyu.edu
* bpoettinger at gmx.de
Termininformationen:
https://www.google.com/calendar/event?action=VIEW&eid=MmRpMzgyNmFqbzExZGJiOGVrZHUxZm02ZWUgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWYwZThlZGY3NzgzOTkyZTdkZjI4ZDdhNWE2NjIzNDM3NmQxODJhMTg&ctz=Europe%2FBerlin&hl=de&es=0
Einladung von Google Kalender: https://www.google.com/calendar/
Sie erhalten diese E-Mail unter club2 at mailbroy.informatik.tu-muenchen.de,
da Sie ein Gast bei diesem Termin sind.
Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem
Termin zu erhalten. Sie können auch unter https://www.google.com/calendar/
ein Google-Konto erstellen und Ihre Benachrichtigungseinstellungen für
Ihren gesamten Kalender steuern.
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/20200923/c95a3013/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2563 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200923/c95a3013/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2613 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200923/c95a3013/attachment.bin>
More information about the Club2
mailing list