Papers We Love Kyiv, Spring 2019

This is a past event

31 people went

Lva Tolstoho St, 57

Lva Tolstoho St, 57 · Kyiv

How to find us

Big Hall, 7th floor

Location image of event venue

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:
- Time, Clocks, and the Ordering of Events in a Distributed System (Laslie Lamport)
- https://lamport.azurewebsites.net/pubs/time-clocks.pdf