|
|
| Chair |
|
Kazuhiko Makino (Kyoto Univ.) |
| Vice Chair |
|
Shinichi Tanigawa (The University of Tokyo) |
| Secretary |
|
Takeharu Siraga (Chuo Univ.), Shuichi Hirahara (NII) |
| Assistant |
|
Kunihiro Wasa (Hosei Univ.) |
|
| Conference Date |
Fri, Mar 7, 2025 10:00 - 17:00 |
| Topics |
Theoretical Computer Science, etc |
| Conference Place |
Ochanomizu Univ. Hisao & Hiroko Taki Plaza |
| Address |
2 Chome-20-5 Otsuka, Bunkyo City, Tokyo 112-0012 |
| Transportation Guide |
https://www.ocha.ac.jp/access/ochacampusmap_en.html |
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, Mar 7
10:00 - 17:00 |
| (1) |
10:00-10:30 |
Extended CNF Representations of Unit Propagation Decidable Complements  COMP2024-25 |
Takahisa Toda (UEC) |
| (2) |
10:30-11:00 |
Solvability and Knowledge Requirements for Reliable Broadcast with Locally Bounded Byzantine Faults in Dynamic Networks COMP2024-26 |
Tota Tada, Junya Nakamura (Toyohashi Tech.) |
| (3) |
11:00-11:30 |
The Solvability of the Object Observation Problem by Autonomous Mobile Robots on Infinite Grids COMP2024-27 |
Yonghwan Kim (NITECH), Yukiko Yamauchi (Kyushu University), Yoshiaki Katayama (NITECH) |
| |
11:30-13:00 |
Break ( 90 min. ) |
| (4) |
13:00-14:00 |
[Invited Talk]
Unclonable Quantum Cryptography COMP2024-28 |
Takashi Yamakawa (NTT Social Informatics Laboratories) |
| |
14:00-14:20 |
Break ( 20 min. ) |
| (5) |
14:20-14:40 |
The sufficient condition for the null recurrence and transience of a random walk on a growing graph COMP2024-29 |
Shuma Kumamoto (Kyushu University) |
| (6) |
14:40-15:10 |
Card-Based Zero-Knowledge Proof Protocol for Independent Set Reconfiguration Problem Under Token Sliding COMP2024-30 |
Yuito Ikeuchi, Akihiro Uejima (Osaka Electro-Communication Univ.) |
| (7) |
15:10-15:40 |
Construction of a common unfolding by fixed point propagation method COMP2024-31 |
Taiga Goto, Tonan Kamata, Ryuhei Uehara (JAIST) |
| |
15:40-16:00 |
Break ( 20 min. ) |
| (8) |
16:00-16:30 |
Logarithmic Random Bidding for Roulette Wheel Selection in Parallel with Precise Probabilities COMP2024-32 |
Koji Nakano (Hiroshima U.) |
| (9) |
16:30-17:00 |
Enumerating Spanning Laman Subgraphs using ZDDs COMP2024-33 |
Yu Nakahata (NAIST), Shuhei Denzumi (NTT), Takashi Horiyama (Hokkaido Univ.), Kazuhiro Kurita (Nagoya Univ.), Kazuhisa Seto (Hokkaido Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 25 minutes for presentation and 5 minutes for discussion. |
| General Talk (ショート) | Each speech will have 15 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: 2025-02-11 20:50:21
|