EVENT

Workshop on Abstract and Concrete Techniques in Verification

The MTSS Center cordially invites you to attend the "Workshop on Abstractand Concrete Techniques in Verification", to be held on Monday, May 25,starting at 14:30 in NII Room 1208.

Program:

• 14:30-15:00
  Daniel Zilken, RWTH Aachen University
  "Extending Distributional Invariants for probabilistic programs to nondeterminism"
• 15:00-15:30
  Philipp Schroer, RWTH Aachen University
  "Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing"
• 15:30-15:45 -- Break --
• 15:45-16:15
  Tarmo Uustalu, Reykjavik University and Tallinn University of Technology
  "Sweedler helps programs and machines meet"
• 16:15-16:45
  Soichiro Fujii, National Institute of Informatics
  "Monads and Distributive Laws in Substructural Contexts"
• 16:45-17:00 -- Break --
• 17:00-17:30
  Loes Kruger, Radboud University
  "Why learn from scratch?"
• 17:30-18:00
  Kittiphon Phalakarn, National Institute of Informatics
  "Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games"

Time/Date:

14:30-18:00 /Monday ,May 25 , 2026

Place:

Room 1208, NII

Link:

Please refer to the workshop webpage for further details, including the talk abstracts:

https://docs.google.com/document/d/1BUBL3fiHCLABcCuKtjYVkwY6hrukhrKf3HGxoatOcKA

Contact:

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