2020-2024 Grant-in-Aid for Transformative Research Areas, MEXT, Japan
Algorithmic Foundations for
Social Advancement (AFSA)
Creation and Organization of Innovative Algorithmic Foundations for
Algorithms, the theories, techniques and logical procedures of information processing, perform a key part of the recent sophisticated information society. Our project aims to develop and organize state-of-the-art techniques for algorithms. The results will be provided as open academic resources for many scientists and engineers in various fields, to be utilized for social advancement. Based on the recent drastic progress of computation power, upcoming innovative computation devices, and new concepts from social sense of values, we will reformulate and organize practical computation models to bridge theory and practice. We will also create and organize computational theories and state-of-the-art techniques for algorithms, such as discrete structure manipulation, constraint satisfaction problem solving, enumeration, discrete optimization, quantum computation theory, etc. Our results will be presented as the innovative Algorithmic Foundations for Social Advancement (AFSA).
The AFSA-project consists of six research groups in two categories A and B. The groups in A (A01 and A02) investigate the interface layer to bridge theory and practice, and the groups in B (B01, B02, B03, and B04) investigate specific theories and techniques to support the interface layer. We also have a steering committee group and plan an open call for about 15-17 participants to work on additional related research topics.
- Application procedures for Publicly Offered Research has been released. (Jan. 27, 2020)
- Project overview appears. (Dec. 24, 2020)
- Temporary site opend. (Dec. 18, 2020)
Last update: Mar. 21, 2020.