EN FR
EN FR


Section: Highlights of the Year

Highlights of the Year

Awards

Paper [17] has been awarded best paper of the 34th ACM/SIGAPP Symposium On Applied Computing (SAC 2019).

Best Paper Award:
[17]
A. Blanchard, N. Kosmatov, F. Loulergue.

Logic against Ghosts: Comparison of Two Proof Approaches for a List Module, in: SAC 2019 - The 34th ACM/SIGAPP Symposium On Applied Computing, Limassol, Cyprus, April 2019. [ DOI : 10.1145/3297280.3297495 ]

https://hal.inria.fr/hal-02100515