The FMCAD 2022 Student Forum

The Student Forum at the International Conference on Formal Methods in Computer-Aided Design (FMCAD) gives undergraduate and graduate students the opportunity to introduce their research to the Formal Methods community and receive feedback. In 2022, the event took place in Trento, Italy. Twenty one students were invited to give a short talk and present a poster of their work.