Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kazuhiro Ogata
conf.researchr.org general profile
FM 2026 profile
ICSE 2020 profile
SPLASH 2022 profile
SPLASH 2023 profile
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
x
Sat 10 May 14:59
