===============================================
Technical Committee on Theoretical Foundations of Computing (COMP)
Chair: Keio Imai (Chuo Univ.) Vice Chair: Hiroo Ito (Univ. of Electro-Comm.)
Secretary: Akitoshi Kawamura (Univ. of Tokyo), Jinhee Jon (Tohoku Univ.)
DATE:
Fri, Oct 18, 2013 10:40 - 17:00
PLACE:
TOPICS:
----------------------------------------
Fri, Oct 18 AM (10:40 - 12:25)
----------------------------------------
(1) 10:40 - 11:15
Three-way Indexing ZDDs for Large Scale Sparse Dataset
Hiroshi Aoki (Hokkaido Univ.), Takahisa Toda (JST), Shin-ichi Minato (Hokkaido Univ.)
(2) 11:15 - 11:50
The Hamiltonian cycle problem on distance-hereditary graph
Takanori Jimbo, Tomio Hirata (Nagoya Univ.)
(3) 11:50 - 12:25
Efficient Algorithm and Coding for Higher-Order Compression
Kazuya Yaguchi (Tohoku Univ.), Naoki Kobayashi (Univ. of Tokyo), Ayumi Shinohara (Tohoku Univ.)
----- Break ( 90 min. ) -----
----------------------------------------
Fri, Oct 18 PM (13:55 - 15:25)
----------------------------------------
(4) 13:55 - 15:25
[Tutorial Lecture]
Introduction to Computational Complexity Theory (4): Barriers in Proving the Limits of Computation
Suguru Tamaki (Kyoto Univ.)
----- Break ( 25 min. ) -----
----------------------------------------
Fri, Oct 18 PM (15:50 - 17:00)
----------------------------------------
(5) 15:50 - 16:25
Constant-Space Zero-Knowledge Proofs Systems with One-Way Quantum Verifiers
-- Preliminary Report --
Marcos Villagra, Tomoyuki Yamakami (Univ. of Fukui)
(6) 16:25 - 17:00
An Algorithm for the coin-exchange problem of Frobenius using a parse table
Shunichi Matsubara (Aoyama Gakuin Univ.)
# Information for speakers
General Talk will have 25 minutes for presentation and 10 minutes for discussion.
=== Technical Committee on Theoretical Foundations of Computing (COMP) ===
# FUTURE SCHEDULE:
Fri, Dec 20, 2013 - Sat, Dec 21, 2013: Okinawa Industry Support Center [Thu, Oct 3]
# SECRETARY:
Akitoshi Kawamura
Department of Computer Science,
University of Tokyo,
7-3-1 Hongo, Bunkyo-ku,
Tokyo, Japan 113-8656
E-mail: issu-
Last modified: 2013-08-17 23:40:24
|
Notification: Mail addresses are partially hidden against SPAM.
|