ISSAC 2017 Awards
Distinguished Paper Award
Sponsored by SIGSAM.
Authors: Dmitry Lyakhov, Vladimir Gerdt and Dominik Michels.
Title: Algorithmic Verification of Linearizability for Ordinary Differential Equations.
Distinguished Student Author Award
There have been two distinguished student author awards at ISSAC'2017.Sponsored by SIGSAM.
- Author: Thi Xuan Vu (with Vincent Neiger).
Paper Title: Computing canonical bases of modules of univariate relations. - Author: Timothee Pecatte (with Ignacio Garcia Marco and Pascal Koiran).
Paper Title: Reconstruction algorithms for sums of affine powers.
Distinguished Poster Award
Sponsored by Fachgruppe Computeralgebra and Maplesoft.
-
Authors: Dean Kieffer and Luca De Feo.
Poster Title: Isogeny-based cryptography in Julia/Nemo: a case study.
Distinguished Software Demonstration Award
Sponsored by Fachgruppe Computeralgebra and Maplesoft.
-
Author: Sardar Haque, Xin Li, Farnam Mansouri, Davood Mohajerani, Marc Moreno Maza and Wei Pan.
Title: CUMODP: A CUDA Library for Modular Polynomial Computation.