Información de la conferencia

FoSSaCS 2027: International Conference on Foundations of Software Science and Computation Structures

Por favor Iniciar sesión para ver el sitio web de la conferencia
Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.
Día de Entrega:
2026-10-15 Cerrado
Fecha de Notificación:
2026-12-22
Fecha de conferencia:
2027-04-10
Ubicación:
Copenhagen, Denmark
Ediciones:
30
ICORE: B   QUALIS: A2   Vistas: 44588   Seguidores: 7   Asistentes: 0
Insertar insignia de cuenta atrás
FoSSaCS
Obtener estos datos por API
Las búsquedas y las listas de rankings no necesitan credenciales; el detalle completo de esta página requiere una clave de API gratuita. Consulta la guía para desarrolladores.

Índice Conference Partner (CP-I)

81,7 / 100
Puesto n.º 178 de 5.770 congresos · 4% superior

N.º 25 de 249 en Ingeniería de software

Reconocimiento académico (35%)
92
Selectividad en la revisión (20%)
76
Ediciones celebradas (20%)
92
Atención de la comunidad (10%)
38
Integridad del registro público (15%)
80

Datos utilizados: Categorías: ICORE B, QUALIS A2 · Tasa de aceptación: 31.9% (media de 5 ediciones registradas) · Ediciones documentadas: 30 · Investigadores que lo siguen aquí: 7 · Investigadores que abrieron esta página en los últimos 24 meses: 10

Falta en el registro público: Ediciones anteriores (+3,0)
Los organizadores pueden añadirlo desde esta página tras reclamar el congreso; las puntuaciones se recalculan cada noche. Cómo subir esta puntuación

Confianza 100 %: la parte de la puntuación respaldada por datos observados y no por la línea base neutra. Cómo se calcula esta puntuación · Ver la clasificación · Versión del algoritmo 1.2 · Calculado el 2026-11-07

Solicitud de Artículos

FoSSaCS 2027 (International Conference on Foundations of Software Science and Computation Structures) is a ICORE B / QUALIS A2 conference held in Copenhagen, Denmark on 2027-04-10. The paper submission deadline is 2026-10-15. Acceptance notifications are sent on 2026-12-22.

Scope of Interest The scope of FoSSaCS is broad. The specific topics covered by the conference include, but are not limited to, the following list. Categorical models and logics. Language theory, automata, and games. Modal, spatial, and temporal logics. Type theory and proof theory. Concurrency theory and process calculi. Rewriting theory. Semantics of programming languages. Program analysis, correctness, transformation, and verification. Logics of programming. Software specification and refinement. Models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems. Emerging models of computation. Logical aspects of computational complexity. Models of software security. Logical foundations of data-bases.
Última actualización por Dou Sun el

Tasa de aceptación

Tasa de aceptación media: 31.1% en 23 años (1999–2021).

AñoEnviadosAceptadosAceptados(%)
2021882831.8%
2020983131.6%
2019852934.1%
20181033130.1%
20171013231.7%
2016853136.5%
2015932830.1%
20141062826.4%
20131092825.7%
20121002929%
20111003030%
2010862529.1%
20091023029.4%
20081032524.3%
20071032524.3%
20061072826.2%
20051083027.8%
20041303426.2%
2003962627.1%
2002672841.8%
2001632539.7%
2000682536.8%
1999401845%

Las personas que vieron esto también vieron

Conferencias Relacionadas

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
AA*95,9SIGIRInternational Conference on Research and Development in Information Retrieval2027-01-142027-07-18
AA*97,8AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*94,9CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
BA*89,8ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*97,7IJCAIInternational Joint Conference on Artificial Intelligence2027-01-042027-08-07
AA*93,1STOCACM Symposium on Theory of Computing2026-11-022027-06-06
C87,6ICCInternational Conference on Communications2026-10-022027-05-30
CB63,0IJCNNInternational Joint Conference on Neural Networks2027-01-312027-06-14
B91,2ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA*79,9PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-06-13

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
Computers & Structures4.8Elsevier0045-7949
Foundations of Computational Mathematics2.7Springer1615-3375
Applied Categorical Structures0.6Springer0927-2852
Random Structures & Algorithms0.900Wiley1042-9832
ComputationMDPI2079-3197
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario