IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev COMP Conf / Next COMP Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Technical Committee on Theoretical Foundations of Computing (COMP) [schedule] [select]
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
Conference Place B101, Graduate School of Information Science and Technology, Osaka University + Online 
Address Yamadaoka 1-5, Suita-shi, 565-0871 Japan
Transportation Guide
Prof. Toshimitsu Masuzawa
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 TalkEach 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--mail: f-oosiisist 

Last modified: 2020-11-06 16:10:29

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]

[Presentation and Participation FAQ] (in Japanese)

[Return to COMP Schedule Page]   /  
 Go Top  Go Back   Prev COMP Conf / Next COMP Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

[Return to Top Page]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan