ken-system: Advance Program - 2021-08-COMP-IPSJ-AL

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Special Interest Group on Algorithms (IPSJ-AL)

===============================================
Technical Committee on Theoretical Foundations of Computing (COMP)
Chair: Toshimitsu Masuzawa (Osaka Univ.) Vice Chair: Hirotaka Ono (Nagoya Univ)
Secretary: Fukuhito Ooshita (NAIST), Ei Ando (Senshu Univ.)
Assistant: Yota Otachi (Nagoya Univ)

DATE:
Wed, Aug 25, 2021 10:30 - 17:30
Thu, Aug 26, 2021 10:30 - 12:00

PLACE:
Online

TOPICS:

----------------------------------------
Wed, Aug 25 AM (10:30 - 11:30)
----------------------------------------

(1) 10:30 - 11:00
[AL] A Subquadratic-Time Distributed Algorithm for Exact Maximum Matching
○Naoki Kitamura (Nagoya Institute of Technology), Taisuke Izumi (Osaka University)

(2)/COMP 11:00 - 11:30
Lower Bounds for Induced Cycle Detection in Distributed Computing
Francois Le Gall, Masayuki Miyamoto (Nagoya Univ.)

----- Break ( 100 min. ) -----

----- FIT2021 Top Conference ( 120 min. ) -----

----- FIT2021 イベント企画「秘匿計算の最前線」 ( 120 min. ) -----

----------------------------------------
Wed, Aug 25 PM (15:30 - 17:30)
----------------------------------------

(3)/COMP 15:30 - 16:30
[Invited Talk]
Transportation Problem on a Graph Allowing Sending and Bringing-back
Tetsuo Asano (Kanazawa Univ.)

(4)/COMP 16:30 - 17:00
Rational sumcheck protocols for classically delegating quantum computing to a quantum server
Yuki Takeuchi (NTT), Tomoyuki Morimae (Kyoto Univ.), Seiichiro Tani (NTT)

(5)/COMP 17:00 - 17:30
Proving A Theorem of two-player TANHINMIN via Coq Proof Assistant
Katsuki Ohto (無所属)

----------------------------------------
Thu, Aug 26 AM (10:30 - 12:00)
----------------------------------------

(6) 10:30 - 11:00
[AL] オートマトンを用いたあみだくじの列挙
○熊谷滉士郎，ヘンリアンディプタラマ，吉仲亮，篠原歩 (東北大学)

(7) 11:00 - 11:30
[AL] 真区間グラフの高速な列挙アルゴリズムとその応用
○武田浩和，斎藤寿樹 (九州工業大学)

(8) 11:30 - 12:00
[AL] 区間順序上の最長増加部分列
○青池宥希 (横浜市立大学)，清見礼 (成蹊大学)，小林靖明 (京都大学)，大舘陽太 (名古屋大学)

# Information for speakers
General Talk will have 25 minutes for presentation and 5 minutes for discussion.

# CONFERENCE ANNOUNCEMENT:
- This workshop will be held in conjunction with FIT2021 ( https://www.ipsj.or.jp/event/fit/fit2021/ ). Please take care about registration procedure.
- If you attend FIT2021, you can also attend this workshop. Please register for FIT2021 from the FIT2021 page.
- If you attend only this workshop and you are not a student, please execute the following two procedures.
1. Register for the workshop from this system. The registration fee is 2000JPY for members and 3000JPY for non-members. If you have made an annual registration, you do not have to do this procedure.
2. Register for "the workshop only" from the FIT2021 page. This procedure is necessary to access Zoom.
- If you are a student, please register for FIT2021 from the FIT2021 page. The registration fee is free.

=== Special Interest Group on Algorithms (IPSJ-AL) ===
# FUTURE SCHEDULE:

Thu, Nov 18, 2021 - Fri, Nov 19, 2021: Online [Fri, Sep 17]

=== Technical Committee on Theoretical Foundations of Computing (COMP) ===
# FUTURE SCHEDULE:

Sat, Oct 23, 2021: Online [Wed, Aug 18]

# SECRETARY:
Ei Ando
Senshu University
Address: 2-1-1, Tama-Ku, Kawasaki, Kanagawa, 214-8580
E-mail: an