Research Theme: formal proof

Tokenomics is an international forum for theory, design, analysis, implementation and applications of blockchains and smart contracts. The goal of the conference is to bring together economists, computer science researchers and practitioners working on blockchains in a unique program featuring...

Our aim with this workshop is to sollicit contributions from both academia and industry, focused on addressing fundamental, timely and important questions at the centre of DeFi. As such, we offer two submission formats, as follows...