BEST STUDENT PRESENTATION AWARD
Based on the comments given by the reviewers in the first stage of reviewing, and the presentation at the conference, the programme committee will give a best student presentation award.
Eligible papers are those whose presentation is given by a PhD student.
The best student paper and presentation award was given to two students:
- Christoph Gladisch for the talk Satisfiability Solving and Model Generation for Quantified First-order Logic Formulas
- Mattias Ulbrich for the talk A Dynamic Logic for Unstructured Programs with Embedded Assertions