Programme
Date: Friday 27th September 2019
Location: ULMS, Seminar Room 4
Opening
2:00 PM: Eyal Winter (Lancaster U. and Hebrew U.), Challenges of Research in the Field of Decentralised Justice3: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: Olga Gorelkina (ULMS), Token Curated Registries: A Mechanism Design Approach
event ends at 5 PM