|
Chair |
|
Masafumi Yamashita |
Vice Chair |
|
Tatsuya Akutsu |
Secretary |
|
Kunihiko Sadakane, Keisuke Tanaka |
|
Conference Date |
Thu, Dec 22, 2005 10:50 - 17:00 |
Topics |
|
Conference Place |
|
Contact Person |
Prof. Toru Hasunuma
088-656-7216 |
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.) |
|
12:00-13:00 |
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.) |
|
14:10-14:25 |
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.) |
|
15:35-15:50 |
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.) |
Contact Address and Latest Schedule Information |
COMP |
Technical Committee on Theoretical Foundations of Computing (COMP) [Latest Schedule]
|
Contact Address |
|
Last modified: 2005-10-26 10:28:25
|