FMBC – List of Accepted Papers

This year we got 18 high quality submissions for FMBC of which we accepted 10 research papers and 5 additional extended abstracts for lightning talks.

The list of accepted papers and lightning talks is available from the FMBC website: https://fmbc.gitlab.io/2020/program.html

Thanks again at all the authors for submitting a paper to FMBC2020!

FMBC will take place virtually on July 20 and 21 from 6AM-8AM PDT.

There will be a keynote by Grigore Rosu, Professor at University of Illinois at Urbana-Champaign, USA and Founder of Runtime Verification.

Registration to FMBC 2020 is free but required. It is done through the CAV 2020 registration form:
http://i-cav.org/2020/attending/ Please register before July 10, 2020.

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