Talks

  • FIND-PATH as a Paradigmic Problem for AI and Symbolic Computation
  • Soft Foundation for Geometric Computation
    • (1) Spring School on Discrete and Computational Geometry
      • Simons Center for Geometry and Physics, Stony Brook University, Apr 17-21, 2017.
    • (2) Reliable Computation and Complexity on the Reals
      • Dagstuhl Seminar 17481, Nov 26-Dec 01, 2017.
    • (3) Computational Mathematics Colloquium
      • Centre for Computational Mathematics, Industry and Commerce. University of Waterloo. Dec 12, 2017.
    • (4) School of Computing, KAIST
      • Daejeon, Korea. May 13-14, 2018.
  • Global Identifiability of Parametric ODE Systems
    • (1) Differential/Difference Algebrais Systems with Applications (DASA)
      • SMS Center, Guangxi University for Nationalities, Nanning. Jan 29-30, 2018.
    • (2) Institute of Green and Intelligent Technology
      • Chinese Academy of Sciences, Chongqing. Mar 15-16, 2018
    • (3) Applied Math and System Science (AMSS)
      • Chinese Academy of Sciences, Beijing, Apr 20, 2018.
  • Effective Subdivision Algorithm for Isolating Simple Roots of Real Systems, with Complexity Analysis
    • (1) CMS/AMS Joint Meeting
      • Fudan University, Shanghai. June 10-14, 2018.
    • (2) Applied Math and System Science (AMSS)
      • Chinese Academy of Sciences, Beijing. Jul 5, 2018.
Page last modified on September 18, 2018, at 06:08 AM
PmWiki/Adapt/Yap2