D. Wang's Invited Talks and Tutorials
Video
- Workshop
in Honor of Vladimir Gerdt (Saint Petersburg, Russia via Zoom, July 18, 2021)
- Workshop on Algebraic and Differential Equations Solving (RISC-JKU, Austria via Zoom, July 1, 2021)
- Eighth
ICCM-CAM Annual Workshop (Hefei, China, December 27-30, 2019)
- International
Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization
(Beijing, China, May 12-17, 2019)
- Seventh International
Conference on Mathematical Aspects of Computer and Information Sciences
(Vienna, Austria, November 15-17, 2017)
- 19th International
Symposium on Symbolic and Numeric Algorithms for Scientific Computing
(Timisoara, Romania, September 21-24, 2017)
- Fifth Summer
School in Symbolic Computation (Nanning, China, July 16-22, 2017)
- Semantic
Representation of Mathematical Knowledge Workshop
(Toronto, Canada, February 3-5, 2016)
- Eighth
Mathematical Society of Japan, Seasonal Institute "Current Trends on Gröbner Bases"
(Osaka, Japan, July 1-10, 2015)
- Workshop
on Theoretical and Computational Methods in Dynamical Systems and Fractal Geometry
(Maribor, Slovenia, April 7-11, 2015)
- Ninth International Workshop
on Automated Deduction in Geometry (Edinburgh, UK, September 17-19, 2012)
- Second
Conference on Symbolic Computation and Its Applications (Aachen, Germany, May 17-20, 2012)
- Tunisia-Japan
Workshop on Symbolic Computation in Software Science (Gammarth, Tunisia,
September 22-24, 2009)
- Third Summer
School in Symbolic Computation (Chengdu, China, August 10-16, 2009)
- International Conference
on Mathematics Mechanization (Beijing, China, May 11-13, 2009)
- Tenth International
Symposium on Symbolic and Numeric Algorithms for Scientific Computing
(Timisoara, Romania, September 26-29, 2008)
- 2007 Annual Meeting of the Chinese Mathematical Society (Beijing, China,
November 2-4, 2007)
- SCORE
Summer Workshop on Symbolic Computation and Software
Verification (Fuji Susono, Japan, August 31 - September 3, 2007)
- KIAS Workshop
"The Zero Problem: Theory and Applications"
(Seoul, Korea, July 19-21, 2007)
- International
Symposium on Differential Equations with Applications to Biological
Sciences (Wenzhou, China, June 3-5, 2007)
- KIAS-RIMS
Joint Workshop on Computer Algebra (Seoul, Korea, July 27-29,
2006 and Kyoto, Japan, July 31 - August 4, 2006)
- First International Conference on Algebraic Biology
(Tokyo, Japan, November 28-30, 2005)
- International Conference "Mathematics 2005: Opportunity and
Challenge" (Weihai, China, July 25-29, 2005)
- Spring Tutorial Seminar on Computer Assisted Proofs:
Numeric and Symbolic Approaches (Kyushu University, Japan,
March 5-8, 2005)
- Special
Year in Number Theory and Combinatorics (Department of Mathematics,
University of Florida, USA, 2004-2005)
- Sixth International Workshop on Mathematics Mechanization
(Zhujiajiao/Shanghai, China, May 19-21, 2004)
- Fifth National Annual Conference on Mathematical Biology
(Wenzhou, China, May 14-17, 2004)
- Ninth
Rhine Workshop on Computer Algebra (Nijmegen, The Netherlands, March 25-26, 2004)
- Kolchin
Seminar in Differential Algebra (The City College of New York, USA, March 16, 2002)
- Workshop on Mathematics and Mathematics Mechanization
(Beijing, China, May 22-24, 1999)
- International
Conference "33 Years of Gröbner Bases" (Hagenberg, Austria, February 2-4, 1998)
- Third International Conference on Artificial Intelligence
and Symbolic Mathematical Computation (Steyr, Austria, September 23-25, 1996)