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 analysis
×
Campo de Investigación:
Resultados de Congresos (3)
Ordenar por:
Fecha de Envío
Conference Date
Clasificación
Tipo
Default
Relevant
Descending
Ascending
Eventos por página:
4
8
12
20
50
100
ASIAN Symposium on Programming Languages and Systems (APLAS)
Rank: B
Venue TBD
Jan 12, 2026
programming paradigms and styles
type systems and dependent types
program logics and verification
+7 más
Usenix Security Symposium (USENIX-Security)
Rank: A*
Offline
Seattle Convention Center, Seattle, WA, USA
Aug 13, 2025 - Aug 15, 2025
System security
Operating systems security
Web security
+64 más
Foundations of Software Science and Computational Structures (FOSSACS)
Rank: A
Offline
Hamilton, Canada
May 5, 2025 - May 8, 2025
Software Science
Categorical Models and Logics
Language Theory
+25 más
