Talks

  • Towards Soft Exact Computation (Invited Speaker)
  • Rods and Rings: Soft Subdivision Planner for R^3 x S^2
    • 35th SoCG Portland, Oregon. June 18-21, 2019.
  • Mechanization of Mathematics: Growth of an Idea (Plenary Speaker)
  • FIND-PATH as a Paradigmic Problem for AI and Symbolic Computation (Keynote Speaker)
  • Soft Foundation for Geometric Computation
    • (4) School of Computing, KAIST
      • Daejeon, Korea. May 13-14, 2018.
    • (3) Computational Mathematics Colloquium
      • Centre for Computational Mathematics, Industry and Commerce. University of Waterloo. Dec 12, 2017.
    • (2) Reliable Computation and Complexity on the Reals
      • Dagstuhl Seminar 17481, Nov 26-Dec 01, 2017.
    • (1) Spring School on Discrete and Computational Geometry
      • Simons Center for Geometry and Physics, Stony Brook University, Apr 17-21, 2017.
  • Global Identifiability of Parametric ODE Systems
    • (3) Applied Math and System Science (AMSS)
      • Chinese Academy of Sciences, Beijing, Apr 20, 2018.
    • (2) Institute of Green and Intelligent Technology
      • Chinese Academy of Sciences, Chongqing. Mar 15-16, 2018
    • (1) Differential/Difference Algebraic Systems with Applications (DASA)
      • SMS Center, Guangxi University for Nationalities, Nanning. Jan 29-30, 2018.
  • Effective Subdivision Algorithm for Isolating Real Zeros of Nonlinear Systems, with Complexity Analysis
    • (3) 44th ISSAC, Beijing, Jul 2019.
    • (2) Applied Math and System Science (AMSS)
      • Chinese Academy of Sciences, Beijing. Jul 5, 2018.
    • (1) CMS/AMS Joint Meeting
      • Fudan University, Shanghai. June 10-14, 2018.
Page last modified on November 03, 2019, at 12:10 AM
PmWiki/Adapt/Yap1