Conferences  >  Physics  >  Computational Physics and Numerical Simulation  >  China

Institute for Advanced Study in Mathematics (IASM) in Hangzhou, China

Recursion theory measures the complexity of mathematical objects in terms of what is computable, in other words, what can be determined by a computer with no space or time limitations. We can define, for example, computable sets of natural numbers, computable (continuous) functions on the real numbers, or computably enumerable open subsets of the reals. Adding an oracle---an outside source of information---allows us to extend the reach of recursion theory beyond the computable. For example, every continuous function on the real numbers is a computable function relative to some oracle. For another example, a set of real numbers has Hausdorff dimension zero if and only if there is an oracle relative to which every real in the set can be significantly compressed. In this way, recursion theory offers a fine-grained way to analyze some of the most central notions in mathematics. This has recently led to deep applications to analysis, number theory, and set theory. The focus of this workshop is on understanding and extending these applications of recursion theory.

Qilu Normal University & Department of Education of Shandong Province &Purple Mountain Observatory, Chinese Academy of Sciences &National Supercomputing Jinan Center

Astronomy is facing the challenges and opportunities of big data. China played an important role in the development of basic disciplines of astronomy in the past two decades. Some large-scale ground-based and space-based astronomical equipments have been put into use, such as the ground-based 500-meter aperture spherical radio telescope FAST, the large-scale area multi-target optical fiber spectroscopic telescope LAMOST, the high-altitude cosmic ray observatory LHAASO, the space-based high-energy satellites DAMPE Wukong, HXMT Huiyan, GeCam Huairou-1, solar satellites Xihe and ASOS. And the chinese space station telescope CSST, Einstein EP and Sino-French cooperation satellite SVOM are preparing for launch. These large scientific equipments provide astronomical researchers with massive amounts of high-quality data, pushing astronomy research to the era of big data.

Local Organizing Committee;     Phone: [+8613518615092];     Email: menquan@qlnu.edu.cn

Astronomical big data analysis processing and mining, construction of China's astronomical big data processing and sharing platform, astronomical big data algorithm, radio astronomy and compact star physics

Astronomy, Astrophysics and Cosmology,    Information & Knowledge Management, Big Data Computing

Institute for Advanced Study in Mathematics (IASM)

This symposium brings together mathematicians, computer scientists, chemists and physicist to address a truly multidisciplinary issue of enabling large-scale atomistically-resolved, ab initio materials modeling. Such modeling capabilities are required for understanding and rational design of materials ranging from alloys to solid electrolytes for fuel cells. There is a substantial gap in theory and computing techniques which on one hand would be able to model phenomena intrinsically requiring models with millions of atoms and on the other hand provide accuracy and insight which is today routinely achievable only for unrealistically small model systems . This is a gap between a model and a reality. To bridge it, this symposium makes brains from different research fields pull in one direction. Progress that this symposium will help accelerate will mean better computational support for the development of functional materials, with more of the development moved from time-, manpower-, and $-costly lab experimentation to in-silico design.

Mathematical Physics,    Condensed Matter Physics and Materials