- 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) School of Computing, KAIST
- 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) Applied Math and System Science (AMSS)
- 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