13th International Conference on integrated Formal Methods (iFM 2017)
PAPER AWARDS
The Program Committee of the
13th International Conference on integrated Formal Methods has granted the Springer sponsored:
- remove
iFM 2017 Best Paper Award to
Triggerless Happy: Intermediate Verification with a First-Order Prover
by YuTing Chen and Carlo A. Furia
(picture)
- remove
iFM 2017 Best Tool Paper Award to
Complexity Analysis for Java with AProVE
by Florian Frohn and Jürgen Giesl
(picture)
The award were handed over at the social dinner of iFM 2017 by Steve Schneider (iFM 2017 PC chair) and Ferruccio Damiani (iFM 2017 general chair) in Torino.