|
|
| Chair |
|
Toshimitsu Masuzawa (Osaka Univ.) |
| Vice Chair |
|
Hirotaka Ono (Nagoya Univ) |
| Secretary |
|
Fukuhito Ooshita (NAIST), Ei Ando (Senshu Univ.) |
| Assistant |
|
Yota Otachi (Nagoya Univ) |
|
| Conference Date |
Fri, Oct 23, 2020 10:00 - 17:40 |
| Topics |
|
| Conference Place |
B101, Graduate School of Information Science and Technology, Osaka University + Online |
| Address |
Yamadaoka 1-5, Suita-shi, 565-0871 Japan |
| Transportation Guide |
https://www.ist.osaka-u.ac.jp/english/access/ |
Contact
Person |
Prof. Toshimitsu Masuzawa |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| Registration Fee |
This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on COMP. |
Fri, Oct 23 AM
10:00 - 11:45 |
| (1) |
10:00-10:35 |
Algorithms for uniform deployment of mobile agents in dynamic rings
Masahiro Shibata（Kyutech）・〇Yuichi Sudo（Osaka Univ.）・Junya Nakamura（Toyohashi Tech）・Yonghwan Kim（NITech） |
| (2) |
10:35-11:10 |
On a Complete Visibility for Autonomous Mobile Robots with Lights in Asynchronous scheduler on a Grid Plane  COMP2020-11 |
Yuno Ishida, Yonghwan Kim, Yoshiaki Katayama (NIT) |
| (3) |
11:10-11:45 |
Classical verification of quantum computing with the trusted center |
Tomoyuki Morimae (Kyoto Univ.) |
| |
11:45-13:15 |
Lunch Break ( 90 min. ) |
Fri, Oct 23 PM
13:15 - 14:15 |
| (4) |
13:15-14:15 |
[Invited Talk]
Index reduction for differential-algebraic equations with mixed matrices COMP2020-12 |
Satoru Iwata, Taihei Oki (The Univ. of Tokyo), Mizuyo Takamatsu (Chuo Univ.) |
| |
14:15-14:30 |
Break ( 15 min. ) |
Fri, Oct 23 PM
14:30 - 17:40 |
| (5) |
14:30-15:05 |
Mathematical Characterization and Computational Complexity of Anti-Slide Puzzles COMP2020-13 |
Ko Minamisawa, Ryuhei Uehara (JAIST), Masao Hara (Tokai Univ.) |
| (6) |
15:05-15:40 |
The odd depth tree problem COMP2020-14 |
Hiroshi Nishiyama (Kyushu Univ.) |
| (7) |
15:40-16:15 |
Optimal online packet scheduling for 2-bounded delay buffer management with lookahead COMP2020-15 |
Koji M. Kobayashi (UT) |
| |
16:15-16:30 |
Break ( 15 min. ) |
| (8) |
16:30-17:05 |
Efficient Enumeration of Non-isomorphic Distance-Hereditary Graphs and Ptolemaic Graphs COMP2020-16 |
Kazuaki Yamazaki, Qian Mengze, Ryuhei Uehara (JAIST) |
| (9) |
17:05-17:40 |
Polynomial Delay Enumeration for Steiner Problems COMP2020-17 |
Yasuaki Kobayashi (Kyoto Univ.), Kazuhiro Kurita (NII), Kunihiro Wasa (Toyohashi Tech) |
| Announcement for Speakers |
| General Talk | Each speech will have 30 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| COMP |
Technical Committee on Theoretical Foundations of Computing (COMP) [Latest Schedule]
|
| Contact Address |
Fukuhito Ooshita
Nara Institute of Science and Technology
Address: Takayama 8916-5, Ikoma, Nara 630-0192, Japan
E- : f-oosi  is  ist |
Last modified: 2020-11-06 16:10:29
|