FMBC: List of Accepted Papers

Thanks to all the authors which sent their papers to FMBC: the 1st Workshop on Formal Methods for Blockchains @ FM.

Competition was fierce: we received 20 high-quality submissions out of which we accepted seven regular papers and three additional short papers.

The list of accepted papers is available at:

Congratulations to all the authors of accepted papers!

We are looking forward to meeting all of you in October for a day of inspiring discussions on Formal Methods for Blockchains!

Kommentar verfassen

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

Du kommentierst mit Deinem Abmelden /  Ändern )


Du kommentierst mit Deinem Twitter-Konto. Abmelden /  Ändern )


Du kommentierst mit Deinem Facebook-Konto. Abmelden /  Ändern )

Verbinde mit %s

%d Bloggern gefällt das: