Rejoindre

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
La Conférence Internationale sur la Technologie Électronique et l'Intelligence Artificielle China
Guangzhou

24 - 25 Sep 2024

Fourth NorwAI Innovate Conference (NAIIC4)

Conference
Quatrième Conférence NorwAI Innovate (NAIIC4) Norway
Trondheim

09 - 10 Nov 2024

International Conference on Artificial Intelligence and Education (ICAIE)

Conference
Conférence Internationale sur l'Intelligence Artificielle et l'Éducation (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
Sommet et Expo de Transformation CIB.O Philippines
Cebu

Bienvenue à l'Atelier sur la Vérification des Programmes Probabilistes (VeriProP) ! Cet événement se concentre sur des domaines critiques tels que la vérification de modèles avec probabilités, la vérification de programmes incorporant de l'aléa, et l'assurance de garanties formelles pour les systèmes d'apprentissage automatique et d'IA. Nous vous invitons à participer et à présenter sur des sujets tels que la vérification de modèles de Markov et l'interprétation abstraite.