NoDI-sponsored events

AISC 2018

13th International Conference on Artificial Intelligence and Symbolic Computation

September 16-19, 2018 · Suzhou, China

The aim of the conference is to provide a forum for the exchange of ideas and the presentation of new tools and solutions. Another goal is to foster personal contacts among researchers from different fields related to AI and Symbolic Computation. The conference is concerned with all aspects of research, including theory, implementations and applications. Conferences in this series are usually held every two years. The previous five ones took place in Sevilla (Spain), Paris (France), Birmingham (United Kingdom) , Beijing (China) and Linz (Austria). AISC 2018 will take place in Suzhou, China.

More information

ADG 2018

12th International Conference on Automated Deduction in Geometry

September 11-14, 2018 · Nanning, China

ADG is a forum dedicated to the exchange of ideas and views, to the presentation of research results and progress, and to the demonstration of software tools on the intersection between geometry, computation, and automated reasoning. ADG organized a workshop every two years. The previous editions were held in Strasbourg (France) 2016, Coimbra (Portugal) 2014, Edinburgh (UK) 2012, Munich (Germany) 2010, Shanghai (China) 2008, Pontevedra (Spain) 2006, Gainesville (USA) 2004, Linz (Austria) 2002, Zurich (Switzerland) 2000, Beijing (China) 1998, and Toulouse (France) 1996. The twelfth conference ADG 2018 will take place in Nanning, China, in memory of Wen-tsün Wu, founder of the Chinese school of mathematics mechanization.

More information

SSSC 2017

5th Summer School in Symbolic Computation

July 16-22, 2017 · Nanning, China

This summer school will provide an opportunity for Chinese students, young researchers and teachers to learn basic techniques on selected topics of symbolic computation. It will also be a forum for senior researchers working in the area and related areas to discuss recent advances and future developments and expansion of symbolic computation in China. Chinese and English will be the working languages in the summer school.

More information

GC 2015

International Seminar on Geometric Computation

February 2-4, 2015 · Nanning, China

The seminar GC 2015 will provide a forum for participants to discuss and present recent results, new ideas, and ongoing work on the development of efficient methods and software tools for approximate, exact, or certified computation with geometric objects and relations, to report on novel applications of geometric computation in science, engineering, and industry, and to initiate or strengthen research collaborations on multidisciplinary subjects. The seminar will bring together in particular researchers from the areas of symbolic computation and computational geometry to exchange views on the significance and trends of research of numeric or symbolic and algebraic methods for exact or certified geometric computation. The scientific program of the seminar will feature invited talks and contributed presentations.

More information

CDZ Workshop GZ1115

The Sino-German Workshop on Computation and Reasoning with Constraints

November 23–29, 2014 · Beijing, China

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.

More information

ICMS 2014

4th International Congress on Mathematical Software

August 5-9, 2014 · Seoul, Korea

ICMS 2014 is a satellite conference of International Congress of Mathematicians 2014. Mathematics has a wide variety of branches, from Algebra to Analysis, from Geometry to Number Theory, and many more. One theme across all these branches is the notion of effectivity: mathematical theories often predict the existence of objects with certain properties and it might be important to find such objects. Conversely, to formulate conjectures and new mathematical theories, we may need to explore the space of such objects, and use them to prove new theorems. Mathematical software is the common tool in such quests.

More information

PAS 2014

3rd International Seminar on Program Verification, Automated Debugging and Symbolic Computation

July 17-18, 2014 · Vienna, Austria

PAS 2014 will provide a forum for researchers and software developers actively involved or interested in developing, using, and applying methods and software tools of symbolic computation for program verification and automated debugging to exchange ideas and views, to review the state of the art and discuss prospects, to present research results and experiments, and to build up contacts for future cooperation. The scientific program of the seminar will feature invited talks and contributed presentations.

More information