Talks

Exploring Scenario Exploration, 8 Apr 2015 4/8/2015:
By Nuno Macedo, HASLab/INESC TEC & Universidade do Minho
An exercise in formalisation (and what it gets you): blockchain transactions

By Sergey Goncharov, Friedrich-Alexander-Universität Erlangen-Nürnberg.