CRC 2011 - International Workshop on

Certified and Reliable Computation

NanNing,GuangXi, China, July 17-20, 2011

General Information

Introduction

There are important classes of computational problems in various areas of engineering science (robotics, biology, signal theory, etc.) and information technology (cryptology, coding theory, etc.) which require exact and/or certified algorithmic solutions. With such solutions the reliability of the results of computation is ensured. Depending on the targeted applications, different approaches (based, e.g., on symbolic/numeric techniques and fast algebraic methods) can be developed to tackle the problems.

This workshop will focus on nonlinear computational problems (in particular, those related to polynomial system solving and global optimization), aiming to provide a wide view of new and fruitful research directions in the area of Certified and Reliable Computation and to contribute to increase the synergies between different approaches.

The workshop will be organized under the support of the ANR (France)/ NSFC (China) project EXACTA (Exact/Certified Computation with Algebraic Systems), ECCA project of the Sino-French Lab for Computer Science, Automation and Applied Mathematics LIAMA, Guangxi University for Nationalities, and the China national 973 project "Mathematics Mechanization and Its Applications in Digital Design and Manufacture".

Confirmed Invited Speakers

Graziano Chesi (University of Hong Kong, Hong Kong)

Carlos Cid (University of London, United Kingdom)

Stef Graillat (Université Pierre et Marie Curie, France)

Erich Kaltofen (North Carolina State University， United States)

Wen-Shin Lee (University of Antwerp, Belgium)

Jiawang Nie (University of California, San Diego, United States)

Yiming Wei (Fudan University, China)

Eric Schost (University of Western Ontario, Canada)

Pierre-Yves Strub， INRIA / Microsoft Joint Center， France

Organization Committee

Xiaoji Liu (Guangxi University for Nationalities)

Mohab Safey El Din (Laboratoire d'Informatique de Paris 6 - UPMC)

Dongming Wang (Laboratoire d'Informatique de Paris 6 - CNRS)

Jinzhao Wu (Guangxi University for Nationalities)

Lihong Zhi (Key Laboratory of Mathematics Mechanization - CAS)