Hallo allerseits.
Ich habe mich das letzte Jahr über im Rahmen meiner Masterarbeit viel mit formalen Modellen für schwache Speicherkonsistenz in Multiprozessorsystemen (sogenannte "Weak Memory Models") beschäftigt. Während dieser Zeit war ich wenig im Hackspace und habe ein bisschen den Kontakt zum Vereinsleben verloren :(
Da ich allerdings von ein paar Leuten Interesse an solchen Themen vernommen habe, würde ich spontan vorschlagen, wir unterhalten uns zur beiderseitigen Synchronisation mal ein wenig und machen morgen, am
Mittwoch, den 24. Januar 2018 ab 19:00 Uhr in der W17 (also auf dem Wizards-of-Dos-Treffen)
sozusagen eine kleine informelle Runde zu formalen Methoden. Ich kann dabei gerne auch ein bisschen was am Whiteboard erzählen. Ob einsteigerfreundlich oder lieber detailliert würde ich, ganz interaktiv, euch überlassen. Wir können auch was praktisches mit Isabelle [1] ausprobieren, wenn ihr mögt.
[1] https://isabelle.in.tum.de/
Viele Grüße Waldteufel