Project-Team Fun
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home | Next next

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


previous Previous | up Home | Next next