FoVeOOS 2010BEST STUDENT PRESENTATION AWARDBased 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
| 