Home

The FMBC workshop is a forum to identify theoretical and practical approaches of formal methods for blockchain technology. Topics include, but are not limited to:

The current organisers are

Feel free to them.

Editions