Ichiro Hasuo
Ichiro Hasuo
Affiliation: National Institute for Informatics
Affiliation: National Institute of Informatics
Affiliation: National Institute of Informatics, SOKENDAI, and Imiron
Talks
(SmP)
Category Theory for Fast Model Checking Algorithms · Invited talk I
(MW1)
Finding Mathematical Problems in the Jungle of Automated Driving · Ichiro Hasuo
(OVERLAY)
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games · Verification and Model Checking
(MW1)
Researchers Panel · Researchers Panel
(LICS)
Session Chair — Session 4A Verification & Foundations of Probabilistic Systems
(LICS)
Monads and Distributive Laws in Substructural Contexts · Session 7A Categorical models: effects, automata & model theory
(VeriProP)
Value Iteration for Stochastic Parity Games · Session 3
(ACV)
Basic Lattice Theory for Basic Model Checking · 25pm2
Pages in this Program
Program
Program on Saturday, 18 July 2026
SmP on Saturday, 18 July 2026
SmP Program
Program on Sunday, 19 July 2026
MW1 on Sunday, 19 July 2026
MW1 Program
OVERLAY on Sunday, 19 July 2026
OVERLAY Program
Program on Tuesday, 21 July 2026
LICS on Tuesday, 21 July 2026
LICS Program
Program on Wednesday, 22 July 2026
LICS on Wednesday, 22 July 2026
Program on Saturday, 25 July 2026
VeriProP on Saturday, 25 July 2026
VeriProP Program
ACV on Saturday, 25 July 2026
ACV Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑