News Archive

Navigation: • 2020'19'18'17'16'15'14

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.