• Sign in
  • Sign up
conf.researchr.org / Kazuhiro Ogata
  • FM 2026 profile
  • ICSE 2020 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
No Photo

Not registered as user

Name:Kazuhiro Ogata
Affiliation:Japan Advanced Institute of Science and Technology

Contributions

2026

FM

  • Tutorials Co-Chair in Organizing Committee

2023

FTSCS

  • Committee Member in Program Committee within the FTSCS 2023-track

2022

FTSCS

  • Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track

2020

FormaliSE

  • PC Member in Program Committee within the FormaliSE 2020-track
Share
xSat 10 May 14:59
using conf.researchr.org (v1.69.0)
Support page
Sign Up