SNC 2014


Algorithms that combine techniques from symbolic and numeric computation have been of increasing importance and interest over the past decade. The necessity to work reliably with imprecise and noisy data, and for speed and accuracy within algebraic and hybrid-numerical problems, has encouraged a new synergy between the numerical and symbolic computing fields. Novel and exciting problems from industrial, mathematical and computational domains are now being explored and solved.

The goal of the present workshop is to support the interaction and integration of symbolic and numeric computing. Earlier meetings in this series include the SNAP 96 Workshop, held in Sophia Antipolis, France, the SNC 2005 meeting, held in Xi'an, China, SNC 2007 held in London, Canada, SNC 2009, held in Kyoto, and SNC 2011, held in San Jose, California USA.

This forthcoming International Workshop on Symbolic-Numeric Computation will be held July 28 to 31 in Shanghai, China. It is a satellite meeting of the 2014 International Congress of Mathematicians, to be held in Seoul, and immediately follows the ISSAC 2014 Symposium to be held in nearby Kobe, Japan.

Invited Speakers

Erich Kaltofen

North Carolina State University

Lawrence Paulson

University of Cambridge

Bernd Sturmfels

University of California, Berkeley

Cleaning-Up Data for Sparse Model Synthesis:
When Symbolic-Numeric Computation Meets Error-Correcting Codes

Automated Theorem Proving For Special Functions:
The Next Phase

The Euclidean Distance Degree

Call for Papers

The second announcement and call for papers (now closed) is available at

Conference Topics

Specific topics of SNC 2014 include, but are not limited to:

Important dates

Paper submission deadline: 10 April 2014 [23:59 Hawaii] (extended)
Notification of acceptance/rejection: 9 May 2014
Camera-ready copy due: 2 June 2014 (19 May for conditionally accepted)

The submission site is .

Submission details may be found in the call for papers.

Organizing Committee

General Chair:Lihong Zhi, Chinese Academy of Sciences, MMRC<>
Program Committee Chair: Stephen Watt, Western University<>
Program Committee Vice Chair: Jan Verschelde<>
Local Organization Chair:Zhengfeng Yang, East China Normal University<>

Program Committee

Dario BiniUniversità di Pisa(Italy)
Jin-San ChengChinese Academy of Sciences(China)
Rob CorlessUniversity of Western Ontario(Canada)
André GalligoUniversité de Nice-Sophia Antipolis(France)
Patrizia GianniUniversità di Pisa(Italy)
Mark GiesbrechtUniversity of Waterloo(Canada)
Ilias KotsireasWilfrid Laurier University(Canada)
Bernard MourrainINRIA Sophia Antipolis(France)
Kosaku NagasakaKobe University(Japan)
Victor PanLehman College, City University of New York(USA)
Mohab Safey El DinUniversité Paris 6(France)
Michael SagraloffMax-Planck-Institut fër Informatik(Germany)
Tateaki SasakiUniversity of Tsukuba(Japan)
Hiroshi SekigawaTokyo University of Science(Japan)
Elias TsigaridasINRIA Rocquencourt(France)
Nikolay VassilievSteklov Institute of Mathematics at St.Petersburg(Russia)
Jan VerscheldeUniversity of Illinois at Chicago(USA)
Stephen WattUniversity of Western Ontario(Canada)
Wenyuan WuChongqing Inst. Green and Intelligent Technology(China)
Zhonggang ZengNortheastern Illinois University(USA)

Local Arrangements

Min WuEast China Normal University
Zhengfeng Yang    East China Normal University
Zhenbing ZengEast China Normal University