===============================================
Technical Committee on Theoretical Foundations of Computing (COMP)
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.)
DATE:
Thu, Mar 2, 2023 11:00 - 15:45
PLACE:
Ochanomizu Univ. Hisao & Hiroko Taki Plaza, multi-purpose hall B, C(2-20-5, Otsuka, Bunkyo-ku, Tokyo, Japan)
TOPICS:
Theoretical Computer Science, etc
----------------------------------------
Thu, Mar 2 AM (11:00 - 15:45)
----------------------------------------
(1) 11:00 - 11:30
Finding Forcing on ZDD by Dynamic Programming
Takashi Harada, Shogo Takeuchi (Kochi Univ. of Tech.)
(2) 11:30 - 12:00
A trial on estimating the volume of n-dimensional polytope using the multivariate Laplace transformation
Ei Ando (Senshu Univ.), Christian Engels (NII)
----- Lunch Break ( 90 min. ) -----
(3) 13:30 - 14:30
[Invited Talk]
Combinatorial reconfiguration from the topological viewpoint
Yuta Nozaki (Hiroshima Univ.)
----- Break ( 15 min. ) -----
(4) 14:45 - 15:15
Correcting the algorithm for a minimum secure dominating set of proper interval graphs
Toru Araki, Ryuya Saito (Gunma Univ.)
(5) 15:15 - 15:45
When Input Integers are Given in the Unary Numeral Representation
-- (Preliminary Report) --
Tomoyuki Yamakami (U of Fukui)
# Information for speakers
General Talk will have 25 minutes for presentation and 5 minutes for discussion.
=== Technical Committee on Theoretical Foundations of Computing (COMP) ===
# FUTURE SCHEDULE:
Wed, May 10, 2023 - Thu, May 11, 2023: Hokkaido University [Tue, Mar 7], Topics: Theoretical Computer Science, etc
# SECRETARY:
COMP Secretaries
E-mail: comp-n
Last modified: 2023-01-20 00:48:15
|
Notification: Mail addresses are partially hidden against SPAM.
|