===============================================
Technical Committee on Theoretical Foundations of Computing (COMP)
Chair: Masafumi Yamashita Vice Chair: Tatsuya Akutsu
Secretary: Kunihiko Sadakane, Keisuke Tanaka
DATE:
Thu, Dec 22, 2005 10:50 - 17:00
PLACE:
(Prof. Toru Hasunuma. 088-656-7216)
TOPICS:
----------------------------------------
Thu, Dec 22 AM (10:50 - 12:00)
----------------------------------------
(1) 10:50 - 11:25
Flexibly Resizable Multidimensional Arrays
Masakazu Kumakiri, Tatsuo Tsuji, Ken Higuchi (University of Fukui)
(2) 11:25 - 12:00
Decidability of Termination for Left-Linear Shallow Term Rewriting Systems and Related
Yi Wang, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.)
----- Lunch Break ( 60 min. ) -----
----------------------------------------
Thu, Dec 22 PM (13:00 - 14:10)
----------------------------------------
(3) 13:00 - 13:35
Transmitting classical information on the quantum network efficiently
Kazuo Iwama, Harumichi Nishimura, Rudy Raymond (Kyoto Univ.), Shigeru Yamashita (NAIST)
(4) 13:35 - 14:10
Universally Anonymizable Public-Key Encryption
Ryotaro Hayashi, Keisuke Tanaka (Tokyo Inst. of Tech.)
----- Break ( 15 min. ) -----
----------------------------------------
Thu, Dec 22 PM (14:25 - 15:35)
----------------------------------------
(5) 14:25 - 15:00
Genetic Algorithms for bandwidth reduction problem
Kazumasa Aoki, Yota Otachi, Koichi Yamazaki (Gunma Univ.)
(6) 15:00 - 15:35
An Improved (1.234m)-Time Deterministic Algorithm for SAT
Masaki Yamamoto (Tokyo Inst. of Tech.)
----- Break ( 15 min. ) -----
----------------------------------------
Thu, Dec 22 PM (15:50 - 17:00)
----------------------------------------
(7) 15:50 - 16:25
Failure Detectors for the Leader Election with Bounded Faulty Processes
Hirotaka Ono (Kyushu Univ.), Sung-Hoon Park (Chungbuk Univ.), Masafumi Yamashita (Kyushu Univ.)
(8) 16:25 - 17:00
Max-Stretch Reduction for Tree Spanners
Kazuo Iwama (Kyoto Univ.), Andrzej Lingas (Lund Univ.), Masaki Okita (Kyoto Univ.)
=== Technical Committee on Theoretical Foundations of Computing (COMP) ===
# FUTURE SCHEDULE:
Wed, Mar 22, 2006 - Thu, Mar 23, 2006: The University of Electro-Communications [Mon, Jan 23]
Last modified: 2005-10-26 10:28:25
|
Notification: Mail addresses are partially hidden against SPAM.
|