The goal of the workshop is to engage students in discussions on the current state of the art and open problems in the area of formal methods. The workshop will have 26 student talks, 20 min each (15 min for the presentation + 5 min for the questions).
