[finite-model-theory] [Vardi-list] The 3rd Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies