2022 AFSA 1st General Meeting

Dates: May 26, 2022 – May 28, 2022 (Plenary meetings will be held on May 27 and 28 only)
Meeting Style: Hybrid style with both in-person and online via Zoom
Location: National Institute of Informatics, 12th-floor conference room (Jimbocho, Chiyoda-ku, Tokyo)
※Second venue is 19th floor, Room 1902 + Room 1903
Eligible participants: AFSA’s principal investigators, AFSA’s research assistants, AFSA’s research collaborators, and other interested parties
Admission: Free (advance registration is required or walk-in is accepted)

How to participate via Zoom: The Zoom ID will be provided to those who register.
Registration site:


May 26 (Thu), Afternoon
 Each planned research group will set up individual information exchange meetings. Each group will provide the style of meetings (online/in-person), location, and time individually.
 Please join a planned research group you belong to or whose theme is closest to yours.
 A01: Meeting at Kanda lab 14:00- (in-person)
 A02・B01: Jointly held Discussion at NII 13:00- (in-person)

We are planning to discuss mainly two topics: 1) the competition under planning and 2) methods of converting logical formulas considering the efficiency of modern SAT solvers. We’ll also discuss free topics which team members will bring.
It’s a hybrid in-person/virtual meeting. For virtual connecting (Webex), please contact Dr. Yasuda.

 B02: no meeting
 B03: no meeting
 B04: Research Proposal Exchange Meeting 15:00- (in-person) (please get in touch with the group leader)

May 27 (Fri.)
(Those who will leave on Friday morning from distant places and participate in-person will use for travel time.)
9:30 – 11:30 Pre-event discussions
       Introduction and discussion of open problems x 2
13:15 – 13:25 Opening greeting from the representative and business contacts
13:25 – 14:10 Invited Lecture (1) by Dr. Mihoko Otake (Team Leader, RIKEN AIP)
     「語彙量から見た認知症予防」(“Dementia Prevention from the Viewpoint of Vocabulary Size” )
14:10 – 14:30 Break
14:30 – 14:55 Recent progress in entire AFSA (Minato)
14:55 – 15:10 Group A01 “New Problem Formulation on Next Generation Informatics and Researches on their Algorithms”
       Status Report (Prof. Uno) (15 min.)
15:10-15:25 Group B01 “Algorithmic Foundations Based on Large-Scale Discrete Structures”
       Status Report(Prof. Horiyama) (15 minutes)
15:25 – 15:40 Group A02 “Socially-Oriented Algorithm Implementation”
       Status report (Dr. Yasuda) (15 minutes)
15:40 – 16:20 Break
16:20 – 16:35 Group B02 “New Computational Models for Algorithms and Discrete Optimization”
       Status Report (Prof. Kawarabayashi) (15 minutes)
16:35 – 16:50 Group B03 “Creation of Innovative Foundations to Bridge Theory and Practice of Quantum Algorithms”
       Current status report(Prof. Yamashita)(15min)
16:50 – 17:05 Group B04 “Exploration and Development of the Basic Theory of Algorithms”
       Recent status report (Prof. Ono) (15 min.)
17:05 – 17:15 Commemoration photo, business contacts
17:15 – 18:00 Free discussion time (Participants via Zoom will use breakout sessions)
18:00 Closing (For dinner, on your own)

May 28 (Sat.)
9:30 – 9:35 Opening of the 2nd day, business contacts
9:35 – 10:20 Invited Lecture (2) by Prof. Tasuku Soma (MIT / JSPS Overseas Postdoctoral Fellow)
      「MITポスドク体験記 ―コロナ禍の海外留学―」(“MIT Postdoctoral Fellowship Experience — Study Abroad amid COVID-19 pandemic –“)
10:20 – 10:35 Commemoration photo, Break
10:35 – 10:55 Poster Sessions and Flash Talks
       ①Kumiyo Nakakoji(Future University Hakodate)「『函館市史:統計史料編』を取り巻く問いの諸相」
       ②Niranka Banerjee(Kyoto University)“Dynamic and Fault Tolerant Algorithms”
       ③Takuya Mieno(The University of Electro-Communications)「フィボナッチ文字列の最小文法」
       ④Duc A. Hoang(Kyoto University)“On Reconfiguration Graph of Independent Sets under Token Sliding”
       ⑤Vorapong Suppakitpaisarn(The University of Tokyo)“Worst-Case Analysis of LPT Scheduling on Small Number of Non-Identical Processors”
       ⑥Tesshu Hanaka (Nagoya University)“Capacitated Network Design Games on a Generalized Fair Allocation Model”
       ⑦Hidetomo Nabeshima(Yamanashi University)「決定的並列SATソルバーのためのフレームワーク」(on-line)
10:55 – 12:00 Hybrid Poster Sessions (7 posters)
12:00 – 13:30 Lunch break (breakout rooms available)
12:30 – 13:30 Advisory meeting (interested parties only, hybrid)
13:30 – 13:45 Poster and Flash Talks
       ①Kazuki Maeyama (SOKENDAI)「コンピュータ≠Computer ー日本計算史の視座ー」
       ②Ryotaro Mitsuboshi(Kyushu University)“Extended formulation via decision diagram representations”
       ③Francois Le Gall(Nagoya University)「実用的な問題に対する量子アルゴリズムの優位性と脱量子化について」
       ④Kengo Nakamura(NTT Communication Science Laboratories)「ネットワーク信頼性の分散値計算」
       ⑤Shigeru Yamashita(Ritsumeikan University)「RTOFを用いた量子ブール回路のコスト削減手法」
       ⑥Shuhei Denzumi(NTT Communication Science Laboratories)「組合せ集合族を扱う決定グラフ」
       ⑦Engels Christian(NII)“Lower Bounds for Succinct DFA Data Structures”(on-line)
13:45 – 14:50 Hybrid Poster Sessions (7 posters)
14:50 – 15:00 Future Outlook (Prof. Minato)
15:00 – 15:10 Closing and dismissal

Please contact: afsa-uketsuke[at]afsa.jp