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: https://sites.google.com/view/fmbc/program

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:

WordPress.com-Logo

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

Google Foto

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

Twitter-Bild

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

Facebook-Foto

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

Verbinde mit %s