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.

  1. State of the Art
  2. Foundations, Conceptions, and Methodologies
  3. Milestones on the Time Axis
    • Symbolic Computation Since 1970
    • Symbolic Computation from 2021 to 2050
  4. Layers of the Discipline
    • Theories
    • Algorithms
    • Software
    • Applications
  5. Spectrum of Domains
    • Computer Algebra
    • Algebraic Geometry
    • Geometric Computation
    • Symbolic Analysis
    • Computational Combinatorics
    • Symbolic-Numerics
    • Formal Reasoning
  6. Interfaces with Basic Science
    • Mathematics
    • Computer Science
    • Artificial Intelligence
Confirmed Invited Speakers (with tentative titles of talks)

    Bruno Buchberger (Symbolic Computation from 2021 to 2050)
    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)