**Towards Soft Exact Computation**(Invited Speaker)- Computer Algebra in Scientific Computing (21st CASC), International Workshop, 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 November 02, 2019, at 08:14 PM

PmWiki/Adapt/Yap2