**Certified Approximation Algorithms for the Fermat Point and n-Ellipses**- 29th European Symp. on Algorithms (ESA 2021), Lisbon, Portugal. Sep 6-8, 2021.

**Solving Irregular Triangular Systems: a Truly Local Approach**- Special Session on
*Hybrid Symbolic-Numeric Computation*, at

Applications of Computer Algebra, (ACA 2021, online), Waterloo, Canada. July 23--27, 2021.

- Special Session on
**Novel Range Functions via Recursive Lagrange Interpolation, and its effectiveness in Real Root Isolation**- Special Session on
*Symbolic and Numerical Computation with Polynomials*, at

Mathematical Congress of the Americas (MCA), Buenos Aires. July 12-16 & 19--24, 2021.

- Special Session on
**Novel Range Functions via Taylor Expansions and Recursive Lagrange Interpolation with application to Real Root Isolation**- 46th ISSAC, St.Petersburg, Russia. Jul 18-23, 2021.

**Towards Soft Exact Computation**(Invited Speaker)- Computer Algebra in Scientific Computing (21st CASC), Moscow, Russia. Aug 26-30, 2019.

**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)- Prof. Wen-tsun Wu's Centenary, Int'l Workshop on Mathematics Mechanization, Chinese Academy of Science, Beijing. May 12-17, 2019.

**FIND-PATH as a Paradigmic Problem for AI and Symbolic Computation**(Keynote Speaker)- 13th Int'l Conf. on Artificial Intelligence and Symbolic Computation (AISC), Shanghai. Sep 16-19, 2018.

**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.

- (4)
**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.

- (3)
**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.

- (3)

Page last modified on June 29, 2021, at 09:18 PM

PmWiki/Adapt/Yap2