Conference Partner » Researchers: Kazuhiko Sakaguchi
Basic Information
Name: Kazuhiko Sakaguchi
Institution: University of Tsukuba
Registration: 2018-05-04
Score: 63
CV
Tracked Conferences
Showing 1-6 of 6 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2025-07-102025-10-022026-01-11
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2025-02-272025-06-272025-10-12
aa1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2024-10-102024-12-202025-05-03
CPPInternational Conference on Certified Programs and Proofs2024-09-102024-11-192025-01-19
aITPInternational Conference on Interactive Theorem Proving2022-02-012022-03-302022-08-07
aLPARInternational Conference on Logic for Programming Artificial Intelligence and Reasoning2017-01-182017-03-012017-05-08
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.

Follower
No results found.
Advertisment