Report on the Sino-German Workshop on "Computation and Reasoning with Constraints"
The Sino-German Workshop on "Computation and Reasoning with Constraints", funded by the Sino-German Center for Research Promotion (SGC) took place at the Sino-German Center in Beijing during November 23–29, 2014. The workshop was co-organized by Zhikun She from the School of Mathematics and Systems Science at Beihang University and Thomas Sturm from the Max Planck Institute for Informatics in Saarbrücken. The participants included 12 German scientists from RWTH Aachen University, University of Bonn, University of Freiburg, University of Oldenburg, Saarland University, the MPI for Informatics, and Baden-Wuerttemberg Cooperative State University. 20 Chinese scientists came from Beihang University, Chinese Academy of Sciences, Peking University, Nanjing University, East China Normal University, National University of Defense Technology, Wenzhou University, Shanghai University, Guangxi University of Nationalities, and Tianjin Polytechnic University. In addition, there were two French scientists invited from INRIA Nancy and from the University of Lorraine.

The opening ceremony was attended by the assistant of the Chinese director of the SGC, Ms. Xiaoyi Shi. The coordinators appreciated the generous support by the sponsors and the dedication of numerous people supporting the local organization. They pointed at the possibility of subsequent grant applications with SGC, and encouraged all participants to seriously take this into consideration and use the workshop as venue to identify suitable topics and cooperation partners, or to deepen existing relationships.

The scientific program addressed a wide range of problems in the field of computation and reasoning with constraints. The topics covered recent scientific progress on first-order theorem proving with arithmetic constraints, satisfiability modulo theory solving, effective quantifier elimination methods, verification of probabilistic and hybrid systems, geometric and algebraic computation, and stability analysis for chemical and biological systems. In addition to the invited participants, many young scientists and graduate students from universities and institutes in Beijing took the chance to attended this workshop. One afternoon session took place at Beihang University, where the scientific program was supplemented with a tour on campus and presentations of the State Key Laboratory of Software Development Environment and the Key Laboratory of Mathematics, Informatics and Behavioral Semantics of the Chinese Ministry of Education.

The workshop provided an excellent platform for researchers to exchange ideas and views and to plan subsequent bilateral research projects. It strengthened the already close cooperation between German and Chinese specialists for productive research and development in the area of computation and reasoning with constraints and its applications. Furthermore, it promoted future cooperation on graduate education.