Unirse

Events

13 Nov 2024

Startup Network Europe Lisbon Startup Conference

Conference
Conferencia de Startups en Lisboa de Startup Network Europe Portugal
Lisbon

28 - 30 Jun 2024

The International Conference on Electronics Technology and Artificial Intelligence

Conference
La Conferencia Internacional sobre Tecnología Electrónica e Inteligencia Artificial China
Guangzhou

24 - 25 Sep 2024

Fourth NorwAI Innovate Conference (NAIIC4)

Conference
Cuarta Conferencia NorwAI Innovate (NAIIC4) Norway
Trondheim

09 - 10 Nov 2024

International Conference on Artificial Intelligence and Education (ICAIE)

Conference
Conferencia Internacional sobre Inteligencia Artificial y Educación (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

¡Bienvenido al Taller sobre Verificación de Programas Probabilísticos (VeriProP)! Este evento se centra en áreas críticas, incluyendo la verificación de modelos con probabilidad, la verificación de programas que incorporan aleatoriedad y la garantía formal para sistemas de aprendizaje automático e IA. Lo invitamos a participar y presentar sobre temas tales como la verificación de modelos de Markov y la interpretación abstracta.