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.
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.
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.
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.
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.
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.
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.