Previous | 
Home
Section: Highlights of the Year
Highlights of the Year
Awards
-
Christoph Weidenbach received the Skolem test-of-time award of CADE, the international conference on automated deduction, for his paper Towards an Automated Analysis of Security Protocols[72].
-
Martin Bromberger, Mathias Fleury, Simon Schwarz and Christoph Weidenbach received the best student paper award at CADE 27 for their paper SPASS-SATT: A CDCL(LA) Solver .
Best Paper Award:
[31]SPASS-SATT: A CDCL(LA) Solver, in: 27th International Conference on Automated Deduction (CADE-27), Natal, Brazil, P. Fontaine (editor), Lecture Notes in Computer Science, 2019, vol. 11716, pp. 111-122. [ DOI : 10.1007/978-3-030-29436-6_7 ]
https://hal.inria.fr/hal-02405524