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 theory
×
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
International Conference on Software Engineering and Formal Methods (SEFM)
Rank: B
Offline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal Methods
Software Engineering
Software Development Methods
+49 más
International Colloquium on Theoretical Aspects of Computing (ICTAC)
Rank: C
Offline
Marrakech, Morocco
Nov 24, 2025 - Nov 28, 2025
Formal languages and automata
Semantics of programming languages
Logic in computer science
+23 más
Workshop on Logic, Language, Information and Computation (WoLLIC)
Rank: C
Offline
University of Porto, Portugal
Jul 14, 2025 - Jul 17, 2025
non-classical logics
foundations of computing
programming theory and Artificial Intelligence (AI)
+16 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
