Date: Friday, 27.9.2019

Location: University of Liverpool Management School, Seminar Room 5

Registration: The event is free, but space is limited and registration is required.

2:00 PM

Olga Gorelkina (ULMS)

Introductory talk &

Token Curated Registries: A Mechanism Design Approach

3:00 PM

Coffee break

3:15 PM

Rasmus Ibsen-Jensen (CS)

Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies

3:45 PM

Alexei Lisitsa (CS)

Formal Modelling of Smart Contracts, Their Expressive Power and Verification

4:15 PM

Coffee break

4:30 PM

Robert R. Routledge (ULMS)

Information, Bertrand-Edgeworth Competition and the Law of One Price

6:00 PM

Workshop Dinner at PEN FACTORY, 13 Hope Street, Liverpool, L1 9BQ