• Sign in
  • Sign up
conf.researchr.org / Kazuki Watanabe
  • ICFP 2026 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2026 profile
Kazuki Watanabe

Registered user since Fri 1 Aug 2025

Name:Kazuki Watanabe
Country:Japan
Affiliation:National Institute of Informatics; SOKENDAI
Personal website: https://group-mmm.org/~kazuki/

Contributions

2026

ICFP

  • Committee Member in Program Committee within the ICFP SRC-track
  • Author of Adequacy for Predicate Transformer Semantics within the ICFP Papers-track

VMCAI

  • Committee Member in Program Committee within the VMCAI 2026-track

2025

SPLASH

  • Author of A Unifying Approach to Product Constructions for Quantitative Temporal Inference within the OOPSLA-track
Share
xWed 28 Oct 10:49
using conf.researchr.org (v1.76.1)
Support page
Sign Up