The ISSAC 2020 Distinguished Poster Award was given to A. Chalkis, V. Fisikopoulos, P. Repouskos, and E. Tsigaridas for Sampling the feasible sets of SDPs and volume approximation.
The ISSAC 2020 Distinguished Software Demonstration Award was given to C. Crowley, J.I. Rodriguez, J. Weiker and J. Zoromski for MultiRegeneration for polynomial system solving.
SIGSAM sponsors the Distinguished Paper Awards at the annual ISSAC conference.
In 2020 the Distinguished Paper Award was given to S. Falkensteiner, C. Garay-López, M. Haiech, M.P. Noordman, Z. Toghani, and F. Boulier for The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry.
The Distinguished Student Author Awards were given to S. Birmpilis for A Las Vegas Algorithm for Computing the Smith Form of a Nonsingular Integer Matrix (with George Labahn, and Arne Storjohann) and R. Rieu-Helft for WhyMP, a Formally Verified Arbitrary-Precision Integer Library (with Guillaume Melquiond).
Prof. Schicho was chosen by the current and recent editorial board members by a three month long process involving a number of outstanding candidates.He follows Founding Editor-in-Chief Bruno Buchberger, and the Outgoing Editor-in-Chief, Hoon Hong. SIGSAM thanks Prof. Hong for his long service to the Symbolic Computation community as Editor-in-Chief of JSC.
The 2019 Richard D. Jenks Memorial Prize for Excellence in Software Engineering Applied to Computer Algebra has been awarded to Michael Stillman for the Macaulay and Macaulay2 computer algebra systems.
Macaulay, released 1983, was the first CAS devoted to Groebner basis computation while Macaulay2, released 1996, included a new user level language designed to read more like mathematics. Over 2000 papers on arXiv refer to Macaulay2 and since 2006 there have been over 200 Macaulay2 packages developed.
The award will be presented as part of ISSAC 2020.
Coventry University (UK) has a three year postdoctoral researcher position advertised, to start Autumn 2020. The position is to work on the EPSRC funded project, Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition with Dr Matthew England.
Click here for the advert.
Following the worldwide pandemic of COVID19 there have been many effects on academic conferences. FoCM 2020 has been cancelled, ACA 2020 will be postponed, ICMS 2020 will be help online. A decision on ISSAC 2020 is expected by the end of April. Check conference websites for the latest details.
Issue 210 (Vol 53:4) of ACM Communications in Computer Algebra (CCA) is now available.
It can be accessed via the ACM Digital Library here. This requires an ACM DL subscription (provided with SIGSAM membership).
The issue contains the abstracts from the recent International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization.