Nomadic Labs is the proud co-organizer and sponsor of FMCB’19 (The first edition of the Workshop on Formal Methods for Blockchains: https://sites.google.com/view/fmbc
FMBC’19 is part of the third World Congress on Formal Methods, in Porto: http://formalmethods2019.inesctec.pt/
The entire program can be viewed here: https://sites.google.com/view/fmbc/program