FMBC: Keynote and Preliminary Program

Check out our preliminary program for FMBC: We are looking forward to exciting talks about verification of Smart Contracts and Consensus Protocols. Moreover, our invited speaker Ilya Sergey will give a talk about The Scilla Journey: From Proof General to Thousands of Nodes.

Kommentar verfassen Antwort abbrechen

Gib hier deinen Kommentar ein ...

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

E-Mail (erforderlich) (Adresse wird niemals veröffentlicht)

Name (erforderlich)

Website

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

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

Verbinde mit %s

I am a member of the steering committee of the FMBC workshop series.

In addition I am currently serving in the program comittee of the following venues:

I was also involved in the following events in the past:

I was reviewer for the following Journals:

I was also subreviewer for the following conferences:

%d Bloggern gefällt das: