|
|
| Chair |
|
Hiroyuki Uno (Osaka Metropolitan Univ.) |
| Vice Chair |
|
Shuji Kijima (Shiga Univ.) |
| Secretary |
|
Kunihiro Wasa (Hosei Univ.), Yu Yokoi (NII) |
| Assistant |
|
Ei Ando (Senshu Univ.) |
|
| Conference Date |
Wed, Oct 26, 2022 10:00 - 17:30 |
| Topics |
Theoretical Computer Science, etc |
| Conference Place |
Large conference room A, Nishijin Plaza, Kyushu University |
| Address |
2-16-23 Nishijin, Sawara-ku, Fukuoka-shi |
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. |
Wed, Oct 26 AM
10:00 - 17:30 |
| (1) |
10:00-11:00 |
[Invited Talk]
Graph Search Parallelization and Applications  COMP2022-13 |
Kazuki Yoshizoe (Kyushu Univ.) |
| |
11:00-11:15 |
Break ( 15 min. ) |
| (2) |
11:15-11:45 |
A Moderately Exponential Time Satisfiability Algorithm for Linear-Sized Deterministic Width-2 Branching Programs COMP2022-14 |
Tomu Makita (Seikei Univ.), Atsuki Nagao (Ochanomizu Univ.), Tatsuki Okada (Seikei Univ.), Kazuhisa Seto (Hokkaido Univ.), Junichi Teruyama (Univ. of Hyogo) |
| (3) |
11:45-12:15 |
Evacuation problems on grid networks with uniform transit time and uniform capacity COMP2022-15 |
Yuki Tokuni, Naoki Katoh, Junichi Teruyama, Yuya Higashikawa (Uoh) |
| |
12:15-14:00 |
Lunch Break ( 105 min. ) |
| (4) |
14:00-14:30 |
Enumeration of Transversal Edge-Partitions COMP2022-16 |
Koki Shinraku, Yazhou He, Katsuhisa Yamanaka, Takashi Hirayama (Iwate Univ.) |
| (5) |
14:30-15:00 |
Efficient Enumeration of Spanning Subgraphs in Planar Graphs with Edge Connectivity Constraints COMP2022-17 |
Yasuaki Kobayashi (Hokkaido Univ.), Kazuhiro Kurita (Nagoya Univ.), Kunihiro Wasa (Hosei Univ.) |
| |
15:00-15:15 |
Break ( 15 min. ) |
| (6) |
15:15-16:15 |
[Invited Talk]
Hedonic Games and Treewidth Revisited COMP2022-18 |
Tesshu Hanaka (Kyushu Univ.), Michael Lampis (LAMSADE) |
| |
16:15-16:30 |
Break ( 15 min. ) |
| (7) |
16:30-17:00 |
COMP2022-19 |
|
| (8) |
17:00-17:30 |
Computational Complexity of List Constructing COMP2022-20 |
Takashi Harada (Kochi Univ. of Tech.), Takashi Fuchino, Ken Tanaka (Kanagawa Univ.), Kenji Mikawa (MIT) |
| Announcement for Speakers |
| General Talk | Each speech will have 25 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 |
COMP Secretaries
E- : comp- n   |
Last modified: 2022-08-19 18:02:49
|