Papers We Love Kyiv, Spring 2019

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:

• Time, Clocks, and the Ordering of Events in a Distributed System (Laslie Lamport)
• https://lamport.azurewebsites.net/pubs/time-clocks.pdf