Invited Talk

TBD

We are looking for volunteers! If you would like to give a keynote speech on a topic relevant to formal methods and blockchain, please do not hesitate to contact the organizers