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
XML PDF e-pub
PDF e-Pub

Section: Highlights of the Year

Highlights of the Year


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

Best Paper Award:
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 ]