基本信息
姓名: Kazuhiko Sakaguchi
科研机构: University of Tsukuba
注册时间: 2018-05-04
活跃度: 63
研究兴趣画像 系统自动生成

根据浏览过的会议与期刊，该研究者最可能关注的研究方向是 理论与算法, 人工智能与机器学习, 数据挖掘与数据库。 高频浏览的会议 / 期刊包括 TACAS, POPL, ICFP, FLOPS, CPP。

简历
关注的会议
总计6条数据。
CCFICOREQUALIS简称全称截稿日期通知日期会议日期
AA1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2026-10-152026-12-222027-04-10
AA*A1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2026-07-092026-10-052027-01-10
BAA2ICFPACM SIGPLAN International Conference on Functional Programming2026-02-192026-05-142026-08-23
BITPInternational Conference on Interactive Theorem Proving2026-02-122026-04-262026-07-26
BCPPInternational Conference on Certified Programs and Proofs2024-09-102024-11-192025-01-19
BLPARInternational Conference on Logic for Programming Artificial Intelligence and Reasoning2017-01-182017-03-012017-05-08
参加的会议
CCFICOREQUALIS简称全称会议日期会议地点
没有找到数据。
关注的期刊
CCF全称影响因子出版商ISSN
没有找到数据。
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据。