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:
Type systems
×
Campo de Investigación:
Resultados de Congresos (4)
Ordenar por:
Fecha de Envío
Conference Date
Clasificación
Tipo
Default
Descending
Ascending
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
International Conference on Concurrency Theory (CONCUR)
Rank: A
Offline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrency
abstract machines
domain-theoretic models
+63 más
Workshop on Formal Techniques for Java-like Programs (FTfJP)
Rank: C
Offline
Bergen, Norway
Jul 3, 2025
Language design and semantics
Type systems
Concurrency and new application domains
+5 más
IEEE Symposium on Logic in Computer Science (LICS)
Rank: A*
Offline
Singapore
Jun 23, 2025 - Jun 26, 2025
automata theory
automated deduction
categorical models and logics
+35 más
