2020
Sunday 29th November 2021
Conferences in 2021
Despite the ongoing pandemic there are hopes of conferences to take place in 2021. ISSAC, CASC, CICM, SIAM:AG and MEGA are allannounced. See the SIGSAM Upcoming Conference List for more details.
Wednesday 30th September 2020
CCA Issue 212 (Vol 54:2)
Issue 212 (Vol 54:2) 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 an article by Abramov, Khmelnov, and Ryabenko on Checkpoints in searching for rational solutions of linear ordinary difference and differential systems and the ISSAC 2020 Poster Abstracts.
Thursday 20th August 2020
CCA Issue 211 (Vol 54:1)
Issue 211 (Vol 54:1) 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 an article by J. van der Hoeven and G. Lecerf entitled Ultimate complexity for numerical algorithms and an obituary for Jacques Calmet.
Monday 20th July 2020
ISSAC 2020 Poster and Software Demo Prizes
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.
Monday 20th July 2020
ISSAC 2020 Distinguished Paper Awards
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).
Wednesday 15th July 2020
Next JSC Editor-in-Chief
The Journal of Symbolic Computation is dedicated to Computer Algebra and Symbolic Computation. They have announced that the next Editor-in-Chief will be Professor Josef Schicho.
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.
Friday 19th June 2020
2019 Jenks Prize Decision
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.
Monday 1st June 2020
ISSAC 2020 and CASC 2020 Announcements
Both ISSAC 2020 and CASC 2020 have decided to go ahead as online conferences due to the COVID19 pandemic. Check conference websites for the latest details.
Monday 20th April 2020
Job Opportunity
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.
Thursday 2nd April 2020
COVID 19 Conferences Updates
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.
Thursday 19th March 2020
CCA Issue 210 (Vol 53:4)
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.
