The Formal Methods Europe association is collecting feedback on FM 2018, and on how the FM participants appreciated our participation in FLOC last year.
For this reason, we kindly ask you to fill this form (if you did not participate in FM 2018, please only answer the other questions).
The deadline is 25th, March 2019, AoE.
Thanks for your cooperation.