中文
Home / News & Events / News / Content

44th International Symposium on Symbolic and Algebraic Computation Held at Beihang

Release time:July 23, 2019 / Lyu Xingyun

From July 15th to 18th, the 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), jointly sponsored by the Association for Computing Machinery (ACM) and Beihang University, was successfully held at the Conference Center of New Main Building. More than 150 experts and scholars at home and abroad attended the conference.

The symposium was chaired by James H. Davenport, Professor of the University of Bath and Vice President of British Computer Society and Wang Dongming, Professor of Beihang University and member of the European Academy of Sciences. Prof. Manuel Kauers from Kepler University served as Program Committee Chair.

The conference featured three invited talks by Prof. Chen Yongchuan of Nankai University, Prof. Lorenzo Robbiano of the University of Genoa and Prof. Virginia Vassilevska Williams of Massachusetts Institute of Technology.

Prof. Lorenzo Robbiano, Prof. Chen Yongchuan and Prof. Virginia Vassilevska Williams (From left to right)

Besides the regular paper presentation session, the symposium also organized three tutorials and software demonstrations, which provided a communication and learning chance for participants to deeply understand the design and implementation of symbolic and algebraic algorithms. Poster sessions were also offered to foster the exchange between experts and young students.

This symposium aims at providing a platform for discussion and exchanging views on the theories, methods and applications of symbolic computation and computer algebra, covering such topics as computational algebraic geometry, complexity of algebraic algorithms and algebraic complexity, language design and type systems for symbolic computation, and applications of computer algebra and symbolic computation in other fields. The ISAAC 2019 proceedings will be published by the ACM.

The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra, which started in 1966. The symposium was first held in Beijing, China in 2005. The reconvening of ISSAC in China this year will further promote the development of symbolic computation,computer algebras and related interdisciplinary subjects in China.


Reported by Chen Xiaoyu

Reviewed by Yuan Xing

Edited by Gao Minjiang

Translated by Lyu Xingyun