Skip to content

Details

We're proud to announce our next PWL meetup in Kyiv!

Update 27/03 #2:
Our second speaker tomorrow will be Ruslan Shevchenko with papers about Labelled Transition Systems (Hennessy-Milner logic).

Update 27/03:
Unfortunately due to personal issues Paweł Szulc will not be able to attend PWL Kyiv this time. We're looking for replacement.

Details
First PWL Kyiv meetup this year!

  • The time: Thursday, 28th of March, 6.00 p.m.
  • The place: 101 Tower, 7th floor (Lva Tolstoho St, 57, Kyiv, 01032)
  • Time, Clocks, and the Ordering of Events in a Distributed System by Max Klymyshyn (~30 min)
  • Time, Clocks, and the Ordering of Events in a Distributed System by Max Klymyshyn (~30 min)
  • Labelled Transition Systems (Hennessy-Milner logic) by Ruslan Shevchenko

Details:

Events in Kyiv, UA

Members are also interested in