ACA 2020 Special Session Symbolic Computation MMXX Athens, Greece, July 17-18, 2020
|
Organizers: Dongming Wang and Bruno Buchberger |
Important Update: the special session of ACA 2020 on Symbolic Computation MMXX has been cancelled due to concerns with COVID-19. This session will present stereopictures of Symbolic Computation captured from different points and angles of view in the complex universe of science and engineering. It will feature invited talks on the concepts, methodologies, and subjects structured below.
David Cox (Multiplication Maps, Syzygies, and Symbolic Computation) James Davenport (Symbolic Computation: State of the Art) Hoon Hong (Symbolic Computation Since 1970) Tetsuo Ida (Formal Reasoning) Erich Kaltofen (Symbolic Computation: Foundations, Conceptions, and Methodologies) Deepak Kapur (Interface of Symbolic Computation with Artificial Intelligence) Ilias Kotsireas (Applications of Symbolic Computation) Chenqi Mou (Computer Algebra) Mohab Safey El Din (Geometric Computation) Carsten Schneider (Computational Combinatorics) Éric Schost (Algorithms for Symbolic Computation) Michael Stillman (Algebraic Geometry) Stephen Watt (Softeare for Symbolic Computation) Franz Winkler (Symbolic Computation Theories) Chee Yap (Interface of Symbolic Computation with Computer Science) |