Computational Contracts

Alexander Ariel will give a short talk based on his recently submitted dissertation on the the formation and enforcement of smart contracts as contracts under English law.

Martin Clausen will give a talk on computational contracts. Topics will include a basic introduction to the notion of computational contracts, how they are like and different from smart contracts, and a demo of a prototype domain specific language capable of modelling, executing and analysing computational contracts.

Refreshments will be provided courtesy of Gorrissen Federspiel.

Doors close at 18:45 - please call +45 61 55 50 95 if you arrive later than that.

Other talks/topics and most welcome and highly encouraged.