D. Wang's Academic Activities
- Editor-in-Chief for the journal
Member of the Editorial Boards for the
Member of the Advisory Board for the journal
Member of the International Advisory Board for the
Editor for the
- Book Series in Computational Science (published by
Tsinghua University Press, Beijing).
2008-2017: Executive Associate Editor-in-Chief for the journal
2008-2012: Executive Associate Editor-in-Chief for the journal
2007-2016: Founding Managing Editor for the journal
2007-2018: Member of the Editorial Board for the journal
- General Chair of the
- 6th Summer School in Symbolic
Computation (SSSC 2019) (Chongqing, China, July 21-27, 2019),
- 12th International Conference on
Automated Deduction in Geometry (ADG 2018) (Nanning, China, September 11-14, 2018),
- 2007 International
Symposium on Symbolic and Algebraic Computation (ISSAC 2007)
(Waterloo, Canada, July 28 - August 1, 2007),
- 8th International Conference
on Artificial Intelligence and Symbolic Computation (AISC 2006) (Beijing,
China, September 20-22, 2006).
General Co-chair of the
- 44th International
Symposium on Symbolic and Algebraic Computation (ISSAC 2019)
(Beijing, China, July 15-18, 2019),
- 13th International Conference
on Artificial Intelligence and Symbolic Computation (AISC 2018) (Suzhou,
China, September 16-19, 2018),
- 5th International
Conference on Mathematical Aspects of Computer and Information Sciences
(MACIS 2013) (Nanning, China, December 9-13, 2013),
- 4th International Conference on
Mathematical Aspects of Computer and Information Sciences (MACIS 2011)
(Beijing, China, October 19-21, 2011).
Co-chair of the
Chair of the Program Committees for the
Co-chair of the Program Committees for the
- 4th International Seminar on
Program Verification, Automated Debugging and Symbolic Computation
(PAS 2015) (Beijing, China, October 21-23, 2015),
- 1st International
Conference on Symbolic Computation and Cryptography
(SCC 2008) (Beijing, China, April 28-30, 2008),
- International
Workshop on Symbolic-Numeric Computation
(SNC 2005) (Xi'an, China, July 19-21, 2005),
- 4th Asian
Symposium on Computer Mathematics
(ASCM 2000) (Chiang Mai, Thailand, December 17-21, 2000),
- 3rd International Workshop on Automated
Deduction in Geometry
(ADG 2000) (Zurich, Switzerland, September 25-27, 2000).
Software Exhibits Chair for the
Chair of the Scientific Committees for the
Co-chair of the Scientific Committee for the
Vice Chair of the International Program Committee for the
- Member of the Program Committees for the
- International Symposium on
Wen-Tsun Wu's Academic Thought and Mathematics Mechanization
(Wu 2019) (Beijing, China, May 12-17, 2019),
- 9th International Symposium on
Symbolic Computation in Software Science (SCSS 2021)
(Linz, Austria, Sempter 8-10, 2021),
- 8th
International Symposium on Symbolic Computation in Software Science (SCSS 2017)
(Gammarth, Tunisia, April 6-9, 2017),
- 7th
International Symposium on Symbolic Computation in Software Science (SCSS 2016)
(Tokyo, Japan, March 28-31, 2016),
- 6th
International Symposium on Symbolic Computation in Software Science (SCSS 2014)
(Gammarth, Tunisia, December 7-11, 2014),
- 2nd International Workshop on
Hybrid Systems and Biology (HSB 2013) (Taormina, Italy, September 2, 2013),
- 16th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computing (SYNASC 2014) (Timisoara, Romania,
September 22-25, 2014),
- 15th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computing (SYNASC 2013) (Timisoara, Romania,
September 23-26, 2013),
- 14th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computing (SYNASC 2012) (Timisoara, Romania,
September 26-29, 2012),
- Technical Session
at ICCSA 2011 on Symbolic Computing for Dynamic Geometry (SCDG 2011)
(Santander, Spain, June 20-23, 2011),
- 9th International Conference
on Mathematical Knowledge Management (MKM 2010) (Paris, France, July 8-10, 2010),
- International Conference on Knowledge
Engineering and Ontology Development (KEOD 2009) (Madeira, Portugal,
October 6-8, 2009),
- Conference
on Symbolic Computation and Its Applications (SCA 2010) (Maribor, Slovenia, June 30 - July 2, 2010),
- 9th Asian Workshop on
Foundations of Software (AWFS 2012) (Chengdu, China, June 23-24, 2012),
- 7th Asian Workshop on
Foundations of Software (AWFS 2010) (Beijing, China, May 14-16, 2010),
- 6th Asian Workshop on
Foundations of Software (AWFS 2009) (Tokyo, Japan, April 6-8, 2009),
- 2nd International
Conference on Mathematical Aspects of Computer and Information Sciences
(MACIS 2007) (Paris, France, December 5-7, 2007),
- 3rd
International Workshop on Symbolic-Numeric Computation (SNC 2009)
(Kyoto, Japan, August 3-5, 2009),
- 2nd
International Workshop on Symbolic-Numeric Computation (SNC 2007)
(London, Canada, July 25-27, 2007),
- 9th ACIS International
Conference on Software Engineering,
Artificial Intelligence, Networking, and Parallel/Distributed Computing
(SNPD 2008) (Phuket, Thailand, August 6-8, 2008),
- 8th ACIS International
Conference on Software Engineering,
Artificial Intelligence, Networking, and Parallel/Distributed Computing
(SNPD 2007) (Qingdao, China, July 30 - August 1, 2007),
- International
Conference on Algebraic and Numeric Biology (ANB 2010) (Hagenberg,
Austria, July 31 - August 2, 2010),
- 4th
International Conference on Algebraic Biology (AB 2009) (Research Triangle
Park, North Carolina, USA, June 21-23, 2009) [canceled],
- 3rd
International Conference on Algebraic Biology (AB 2008) (Hagenberg,
Austria, July 31 - August 2, 2008),
- 2nd
International Conference on Algebraic Biology (AB 2007) (Hagenberg,
Austria, July 2-4, 2007),
- 1st International Conference on
Algebraic Biology (AB 2005) (Tokyo, Japan, November 28-30, 2005),
- Special Semester
on Gröbner Bases and Related Methods 2006 (Linz, Austria,
February - July 2006),
- Algorithmic Algebra and Logic 2005
(A3L) (Passau, Germany, April 3-6, 2005),
- 2004
International Symposium on Symbolic and Algebraic Computation (ISSAC 2004)
(Santander, Spain, July 4-7, 2004),
- 12th
International Conference on Artificial Intelligence and Symbolic
Computation (AISC 2014) (Sevilla, Spain, December 11-13, 2014),
- 10th
International Conference on Artificial Intelligence and Symbolic
Computation (AISC 2010) (Paris, France, July 5-6, 2010),
- 9th
International Conference on Artificial Intelligence and Symbolic
Computation (AISC 2008) (Birmingham, UK, July 31 - August 2, 2008),
- 7th
International Conference on Artificial Intelligence and Symbolic
Computation (AISC 2004) (Linz, Austria, September 22-24, 2004),
- 6th International
Conference on Artificial Intelligence and Symbolic
Computation (AISC 2002) (Marseille, France, July 1-5, 2002),
- 5th International Conference
on Artificial Intelligence and Symbolic Computation (AISC 2000)
(Madrid, Spain, July 17-19, 2000),
- 4th
International Conference on Artificial Intelligence and Symbolic
Computation (AISC '98) (Plattsburgh, USA, September 16-18, 1998),
- 14th
International Conference on Automated Deduction in Geometry
(ADG 2023) (Belgrade, Serbia, September 20-22, 2023),
- 13th International Conference on
Automated Deduction in Geometry (ADG 2020) (Hagenberg, Austria, July 13-15, 2020) [postponed
to ADG 2021 (Hagenberg, Austria, September 15-17, 2021)],
- 11th
International Workshop on Automated Deduction in Geometry
(ADG 2016) (Strasbourg, France, June 27-29, 2016),
- 10th
International Workshop on Automated Deduction in Geometry
(ADG 2014) (Coimbra, Portugal, July 9-11, 2014),
- 9th
International Workshop on Automated Deduction in Geometry
(ADG 2012) (Edinburgh, UK, September 17-19, 2012) [resigned from the PC
while accepted to be an invited speaker],
- 8th
International Workshop on Automated Deduction in Geometry
(ADG 2010) (Munich, Germany, July 22-24, 2010),
- 7th
International Workshop on Automated Deduction in Geometry
(ADG 2008) (Shanghai, China, September 22-24, 2008),
- 6th
International Workshop on Automated Deduction in Geometry
(ADG 2006) (Pontevedra, Spain, August 31 - September 2, 2006),
- 5th
International Workshop on Automated Deduction in Geometry
(ADG 2004) (Gainesville, USA, September 16-18, 2004),
- 4th
International Workshop on Automated Deduction in Geometry
(ADG 2002) (Linz, Austria, September 4-6, 2002),
- International Congress
of Mathematical Software
(ICMS 2002) (Beijing, China, August 17-19, 2002),
- 8th Asian
Symposium on Computer Mathematics (ASCM 2007) (Singapore,
December 15-17, 2007),
- 6th Asian
Symposium on Computer Mathematics
(ASCM 2003) (Beijing, China, April 17-19, 2003),
- 5th Asian Symposium
on Computer Mathematics
(ASCM 2001) (Matsuyama, Japan, September 26-28, 2001),
- 7th Asian
Technology Conference in Mathematics
(ATCM 2002) (Multimedia University, Malaysia, December 17-21, 2002),
- 6th Asian
Technology Conference in Mathematics
(ATCM 2001) (Melbourne, Australia, December 15-19, 2001),
- 5th Asian
Technology Conference in Mathematics
(ATCM 2000) (Chiang Mai, Thailand, December 17-21, 2000),
- 16th International
Conference on Automated Deduction
(CADE-16) (Trento, Italy, July 7-10, 1999),
- 15th
International Conference on Automated Deduction
(CADE-15) (Lindau, Germany, July 5-10, 1998),
- 14th
International Conference on Automated Deduction
(CADE-14) (Townsville, Australia, July 13-17, 1997),
- 13th
International Conference on Automated Deduction
(CADE-13) (New Brunswick, USA, July 27 - August 3, 1996),
- CALCULEMUS
Workshop (Trento, Italy, July 11-12, 1999),
- 2nd IMACS Conference
on Applications of Computer Algebra (IMACS ACA '96)
(Hagenberg, Austria, July 17-20, 1996).
Member of the Advisory Program Committees for the
Member of the Tutorial Subcommittee for the
Member of the Scientific Committees for the
- 6th International Conference on Numerical
and Symbolic Computation (SYMCOMP 2023) (Évora, Portugal, March 30-31, 2023),
- 5th International Conference on Numerical
and Symbolic Computation (SYMCOMP 2021) (Évora, Portugal, March 25-26, 2021),
- 4th International Conference on Numerical
and Symbolic Computation (SYMCOMP 2019) (Porto, Portugal, April 11-12, 2019),
- 3rd International Conference on Numerical
and Symbolic Computation (SYMCOMP 2017) (Guimarães, Minho, Portugal, April 6-7, 2017),
- Intensive Course on Research
Management (ICRM 2009) (Beijing, China, August 22-30, 2009) [canceled],
- 3rd Summer School
in Symbolic Computation (SSSC 2008) (Chengdu, China, July 10-16, 2008)
[postponed to August 10-16, 2009],
- International Symposium
on Differential Equations with Applications to Biological Sciences
(ISDEABS 2007) (Wenzhou, China, June 3-5, 2007).
Member of the Organizing Committees for the
- International
Workshop on Certified and Reliable Computation (CRC 2011) (Nanning, China,
July 17-20, 2011),
- Intensive Course on Research
Management (ICRM 2009) (Beijing, China, August 22-30, 2009) [canceled],
- International Conference
on Mathematics Mechanization (ICMM 2009) (Beijing, China, May 11-13, 2009),
- Second
Chinese-SALSA Workshop (Beijing, China, April 25-27, 2008),
- First
Chinese-SALSA Workshop (Beijing, China, June 25-28, 2007),
- Special Year in Computer
Mathematics (China, 2006).
- Co-chair of the Track on Symbolic Computation at the
Organizer of the Special Sessions on
- Polynomial Algebra at the
International
Congress on Mathematical Software (ICMS 2002) (Beijing, China, August 17-19, 2002),
- Polynomial Elimination: Algorithms and Applications at the
2nd IMACS Conference on Applications
of Computer Algebra (IMACS ACA '96) (Hagenberg, Austria, July 17-20, 1996),
- Computer Algebra and Automated Theorem Proving at the
1st IMACS Conference
on Applications of Computer Algebra (Albuquerque, USA,
May 16-20, 1995).
Co-organizer of the Special Sessions on
- Symbolic Computation MMXX at the
26th International Conference
on Applications of Computer Algebra (ACA 2020) (Athens, Greece, July 15-18, 2020) [cancelled],
- Software of Polynomial Systems at the
5th International
Congress on Mathematical Software (ICMS 2016) (Berlin, Germany, July 11-14, 2016),
- Software for Geometry at the
4th International
Congress on Mathematical Software (ICMS 2014) (Seoul, Korea, August 5-9, 2014),
- Computer Algebra and Automated Deduction at the
7th Asian Symposium
on Computer Mathematics (ASCM 2005) (Seoul, Korea, December 8-10, 2005).
Co-organizer and Program Co-chair of the
- International Seminar on
Differential, Difference, and algebraic systems with applications
(Dasa 2018) (Nanning, China, January 29-31, 2018),
- Dagstuhl Seminar 15471:
Symbolic Computation and Satisfiability Checking ((SC)² 2015)
(Dagstuhl, Germany, November 15-20, 2015),
- International Seminar on
Geometric Computation (GC 2015) (Nanning, China, February 2-4, 2015),
- Third International Seminar on
Program Verification, Automated Debugging and Symbolic Computation
(PAS 2014) (Vienna, Austria, July 17-18, 2014),
- Second International Seminar on
Program Verification, Automated Debugging and Symbolic Computation
(PAS 2013) (Beijing, China, October 23-25, 2013),
- International Seminar on
Program Verification, Automated Debugging and Symbolic Computation
(PAS 2012) (Beijing, China, October 10-12, 2012),
- Workshop
on Gröbner Bases in Symbolic Analysis (Linz, Austria, May 8-17, 2006),
- International Seminar on
Symbolic Computation in Education (SCE 2006) (Beijing, China, April 12-14, 2006),
- Seminar on Differential Equations
with Symbolic Computation (DESC 2023) (Beijing, China, September 16-17, 2023),
- Seminar on Differential Equations
with Symbolic Computation (DESC 2004) (Beijing, China, April 14-16, 2004),
- Seminar on Geometric Computation
(SGC 2002) (Hefei, China, April 24-26, 2002),
- 2nd International Workshop
on Automated Deduction in Geometry
(ADG '98) (Beijing, China, August 1-3, 1998),
- International Workshop on Automated
Deduction in Geometry
(ADG '96) (Toulouse, France, September 27-29, 1996),
- Workshop on Algebraic
Approaches to Geometric Reasoning
(AAGR '92) (Schloß Weinberg, Austria, August 17-19, 1992).
Program Co-chair of the
Local Co-organizer of the