EVENT

Workshop on Automated Techniques in Formal Verification

The MTSS Center cordially invites you to attend the "Workshop on Automated echniques in Formal Verification", to be held on Monday, February 9, tarting at 13:00 in NII Room 1810.

Program:

13:00-14:00
Supratik Chakraborty, Indian Institute of Technology Bombay
"Full Program Induction: Verification sans Loop Invariants"

14:00-14:30
S. Akshay, Indian Institute of Technology Bombay
"Fairness and Entropy objectives in Markov decision processes"

14:30-15:00
Break

15:00-15:30
Linus Heck, Radboud University
"Shields to Guarantee Probabilistic Safety in MDPs"

15:30-16:00
Kittiphon Phalakarn, National Institute of Informatics

16:00-16:30
Break

16:30-17:00
Yun Chen Tsai, National Institute of Informatics

17:00-17:30
Kazuki Watanabe, National Institute of Informatics

Time/Date:

13:00 - 17:30 February 9 (Monday), 2026

Place:

Room 1810

Contact:

If you would like to join, please contact by email.
Email : kphalakarn[at]nii.ac.jp