Join

Events

13 Nov 2024

Startup Network Europe Lisbon Startup Conference

Conference
Startup Network Europe Lisbon Startup Conference Portugal
Lisbon

28 - 30 Jun 2024

The International Conference on Electronics Technology and Artificial Intelligence

Conference
The International Conference on Electronics Technology and Artificial Intelligence China
Guangzhou

24 - 25 Sep 2024

Fourth NorwAI Innovate Conference (NAIIC4)

Conference
Fourth NorwAI Innovate Conference (NAIIC4) Norway
Trondheim

09 - 10 Nov 2024

International Conference on Artificial Intelligence and Education (ICAIE)

Conference
International Conference on Artificial Intelligence and Education (ICAIE) UAE  •  VirtualEvent
Dubai
events image

09 - 11 Oct 2024

healthTECH JAPAN (hTJ)

Trade Show
healthTECH JAPAN (hTJ) Japan
Yokohama
events image

28 Jun 2024

CIB.O Transformation Summit & Expo

Trade Show
CIB.O Transformation Summit & Expo Philippines
Cebu

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.