Timings
09:00 AM-06:00 PM (expected)
Entry Fees
Check Official Website
Estimated Turnout
Delegates
Event type
Workshop
Description
Welcome to the Workshop on Verification of Probabilistic Programs (VeriProP)! This event focuses on critical areas including model checking with probability, verifying programs that incorporate randomness, and ensuring formal guarantees for machine learning and AI systems. We invite you to participate and present on topics such as Markov model verification and abstract interpretation.
