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.