“Bizarre Concurrency” workshop

We organize a workshop on “Bizarre Concurrency” in Aachen, together with Roland Meyer, Markus Müller-Olm and Heike Wehrheim. It will take place March 24th and 25th. Topic: new concurrency theory for modern memory models of microprocessors and geo-replicated data (consistency). See here for the Workshop Programme SPP.