Skip to content

Evaluating Logic-Based Smart Contracts

Over the summer, I was fortunate enough to attend RuleML 2016 to present our paper on “Evaluating Logic-based smart contracts” that I wrote with my lovely co-authors. This year the RuleML conference was held at the great Stony Brook University Campus and I would like to thank all of the organisers again for doing a great job.

Our submission was recently published if you would like to read up on the potential use of logic-based approaches for writing smart contracts. After some time, the recording of the presentations also became available recently, so you can now also hear and see me talk.

Published inArticle