| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Takashi Kobayashi (Tokyo Inst. of Tech.) Vice Chair: Kozo Okano (Shinshu Univ.) Secretary: Kazuyuki Shima (Hiroshima City Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.) Assistant: Shinpei Ogata (Shinshu Univ.) =============================================== Technical Committee on Dependable Computing (DC) Chair: Hiroshi Takahashi (Ehime Univ.) Vice Chair: Tatsuhiro Tsuchiya (Osaka Univ.) Secretary: Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba Univ.) DATE: Tue, Oct 19, 2021 13:30 - 15:50 PLACE: Online TOPICS: ---------------------------------------- Tue, Oct 19 PM (13:30 - 14:45) ---------------------------------------- (1) 13:30 - 13:55 Suggesting Overlooked Changes based on Co-change Relation Learning Riku Yamagami, Takashi Kobayashi (Tokyo Tech.) (2) 13:55 - 14:20 Predict failure of test case generation Ryo Soga, Hideyuki Kanuka (Hitachi, Ltd.) (3) 14:20 - 14:45 * Tsukasa Ozawa, Mikio Aoyama, Atsushi Sawada, Masami Noro (Nanzan Univ) ----- Break ( 15 min. ) ----- ---------------------------------------- Tue, Oct 19 PM (15:00 - 15:50) ---------------------------------------- (4) 15:00 - 15:25 (See Japanese page.) (5) 15:25 - 15:50 A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Tue, Jan 11, 2022 - Wed, Jan 12, 2022: Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. [Thu, Nov 11], Topics: Mathematical Systems Science and its Applications, Software Science, etc. # SECRETARY: Shinpei Hayashi (Tokyo Institute of Technology) TEL: +81-3-5734-3213 E-mail:     c    # ANNOUNCEMENT: # Latest information will be presented on the homepage: https://www.ieice.org/iss/ss/ === Technical Committee on Dependable Computing (DC) === # FUTURE SCHEDULE: Wed, Dec 1, 2021 - Thu, Dec 2, 2021: Online [Fri, Sep 3], Topics: Design Gaia 2021 -New Field of VLSI Design- Fri, Dec 10, 2021: [Fri, Oct 8] # SECRETARY: Masayuki Arai (College of Industrial Technology, Nihon Univ.) E-mail: a  i      n-uLast modified: 2021-10-15 18:37:51 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] / [Return to DC Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]