FIT-Conference Hub
Congresos
Revistas
Visualización
Chatbot
NUEVO
Soporte
Publicar
Tema
Español
Congresos
Revistas
Visualización
Chatbot
NUEVO
Soporte
Publicar
Notificaciones
Marcar todo como leído
No hay notificaciones nuevas.
Ver todo
Palabra Clave
Inicio:
Fin:
Tipo
Ubicación
Buscar
Limpiar
Ocultar opciones de búsqueda avanzada
?
Fecha de Envío:
Clasificación:
Todas las Clasificaciones
A*
A
B
C
Unranked
Other
Fuente:
Todas las Fuentes
Editorial:
Temas:
program verification
×
Campo de Investigación:
Resultados de Congresos (3)
Eventos por página:
4
8
12
20
50
100
Verification, Model Checking and Abstract Interpretation (VMCAI)
Rank: B
Offline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
program verification
model checking
abstract interpretation
+23 más
Conference on Interactive Theorem Proving (ITP)
Rank: A
Offline
Reykjavik, Iceland
Sep 29, 2025 - Oct 2, 2025
Interactive Theorem Proving
Program Verification
Security
+1 más
Static Analysis Symposium (SAS)
Rank: B
Offline
Marina Bay Sands Convention Centre, Singapore
Oct 13, 2025 - Oct 15, 2025
program verification
bug detection
compiler optimization
+2 más
