|
Chair |
|
Toshihiro Fujito (Toyohashi Univ. of Tech.) |
Vice Chair |
|
Shinichi Nakano (Gunma Univ.) |
Secretary |
|
Suguru Tamaki (Kyoto Univ.), Yota Otachi (Kumamoto Univ) |
Assistant |
|
Kazuhisa Seto (Seikei Univ.) |
|
Conference Date |
Fri, Oct 26, 2018 10:15 - 16:45 |
Topics |
|
Conference Place |
Room 404, Academic Center for Computing and Media Studies (North Bldg), Main Campus, Kyoto University https://www.kyoto-u.ac.jp/en/access/main-campus-map.html (The building 42 in the map.) |
Address |
Yoshida Honmachi, Sakyo-ku, Kyoto 606-8501, Japan. |
Transportation Guide |
Bus stops: Kyodai Nogakubu-Mae (Lines 17, 203), Hyakumanben (Lines 3, 31, 102, 201, 206, Kyodai-Kaisoku) http://www.kyoto-u.ac.jp/en/access/ |
Contact Person |
Suguru Tamaki |
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, Oct 26 Regular Session 10:15 - 15:30 |
(1) |
10:15-10:45 |
Regular Grammars with Unknown Behaviors and its Control |
Nobuya Kimoto (UEC), Ken Komiya (TITECH), Kenzo Fujimoto (JAIST), Satoshi Kobayashi (UEC) |
(2) |
10:45-11:15 |
Controlling Reaction Systems to Compute Boolean Functions |
Ryutaro Yako (UEC), Ken Komiya (TITECH), Kenzo Fujimoto (JAIST), Satoshi Kobayashi (UEC) |
(3) |
11:15-11:45 |
|
Atsuki Nagao (Ochanomizu Univ.), Sora Matsuzaki, Etsuji Tomita, Hiro Ito, Mitsuo Wakatsuki, Tetsuro Nishino (UEC) |
|
11:45-13:15 |
Lunch Break ( 90 min. ) |
(4) |
13:15-13:45 |
Hyperfiniteness of hieralchical models for complex networks |
Kazuki Higashizono, Hiro Ito (UEC) |
(5) |
13:45-14:15 |
|
Kento Masuda, Shinji Imahori (Chuo Univ.), Yasuhiro Ohara (NTT Communications) |
|
14:15-14:30 |
Break ( 15 min. ) |
(6) |
14:30-15:00 |
An Approximation Algorithm for the 2-Dispersion Problem |
Kazuyuki Amano, Shin-ichi Nakano (Gunma Univ.) |
(7) |
15:00-15:30 |
Upper and lower bounds on the OBDD-width of a special integer multiplication |
Tong Qin (Tokyo Tech) |
|
15:30-15:45 |
Break ( 15 min. ) |
Fri, Oct 26 Special Session 15:45 - 16:45 |
(8) |
15:45-15:55 |
Recent Activities of Discrete Structure Manipulation System Project |
Shin-ichi Minato (Kyoto Univ.) |
(9) |
15:55-16:20 |
[Invited Lecture]
Report of Presentation in SEA2018 and Recent Study |
Yu Nakahata, Jun Kawahara (NAIST) |
(10) |
16:20-16:45 |
[Invited Lecture]
AISTATS2018 Presentation Report and Recent Research Activities |
Shinsaku Sakaue, Masakazu Ishihata (NTT CS Lab.) |
Announcement for Speakers |
General Talk | Each speech will have 25 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 |
Suguru Tamaki
School of Informatics, Kyoto University
Address: Yoshida Honmachi, Sakyo-ku, Kyoto 606-8501, Japan
E-: kisk-u |
Last modified: 2018-08-19 15:49:18
|