FoVeOOS 2010


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