Información de la conferencia
ESOP 2025: European Symposium on Programming
https://etaps.org/2025/conferences/esop/Día de Entrega: |
2024-10-10 |
Fecha de Notificación: |
2024-12-19 |
Fecha de Conferencia: |
2025-05-03 |
Ubicación: |
Hamilton, Canada |
Años: |
34 |
CORE: a QUALIS: a2 Vistas: 32582 Seguidores: 4 Asistentes: 1
Solicitud de Artículos
Scope
ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas:
programming paradigms and styles
methods and tools to specify and reason about programs and languages
programming language foundations
methods and tools for implementation, concurrency and distribution
applications and emerging topics
Contributions bridging the gap between theory and practice are particularly welcome.
Última Actualización Por Dou Sun en 2024-10-01
Coeficiente de Aceptación
| Año | Enviados | Aceptados | Aceptados(%) |
|---|---|---|---|
| 2007 | 136 | 34 | 25% |
| 2006 | 87 | 21 | 24.1% |
| 2005 | 114 | 28 | 24.6% |
| 2004 | 118 | 27 | 22.9% |
| 2003 | 99 | 25 | 25.3% |
| 2002 | 73 | 21 | 28.8% |
| 2001 | 76 | 26 | 34.2% |
| 2000 | 84 | 27 | 32.1% |
| 1999 | 44 | 18 | 40.9% |
| 1998 | 59 | 17 | 28.8% |
Los Mejores Artículos
| Año | Los Mejores Artículos |
|---|---|
| 2010 | Logical Concurrency Control from Sequential Proofs |
| 2006 | Haskell Is Not Not ML |
| 2003 | Handling Encryption in an Analysis for Secure Information Flow |
| 1999 | Deterministic Expressions in C |
Conferencias Relacionadas
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
|---|---|---|---|---|---|---|---|
| b | a* | a2 | ICFP | ACM SIGPLAN International Conference on Functional Programming | 2026-02-19 | 2026-05-14 | 2026-08-23 |
| b | a | a1 | ECOOP | European Conference on Object-Oriented Programming | 2026-02-12 | 2026-04-09 | 2026-06-29 |
| b1 | EuroGP | European Conference on Genetic Programming | 2025-11-01 | 2026-01-10 | 2026-04-08 | ||
| b2 | EDCC | European Dependable Computing Conference | 2025-09-30 | 2025-12-12 | 2026-04-07 | ||
| a | a2 | ESOP | European Symposium on Programming | 2024-10-10 | 2024-12-19 | 2025-05-03 | |
| a | a* | a2 | ESEC | European Software Engineering Conference | 2022-03-10 | 2022-06-14 | 2022-11-14 |
| a | b1 | ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-03-14 | 2022-07-31 | |
| c | b | b1 | ILP | International Conference on Inductive Logic Programming | 2021-06-25 | 2021-08-05 | 2021-10-25 |
| b | b1 | EUSIPCO | European Signal Processing Conference | 2017-03-05 | 2017-05-25 | 2017-08-28 | |
| a | b1 | FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-02-03 | 2012-05-23 |
Revistas Relacionadas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| b | European Journal of Information Systems | 8.6 | Taylor & Francis | 0960-085X |
| European Journal of Operational Research | 6.0 | Elsevier | 0377-2217 | |
| Mathematical Programming Computation | 3.6 | Springer | 1867-2949 | |
| c | Proceedings of the ACM on Programming Languages | 2.8 | ACM | 2475-1421 |
| c | The Journal of Supercomputing | 2.7 | Springer | 0920-8542 |
| Mathematical Programming | 2.5 | Springer | 0025-5610 | |
| b | Science of Computer Programming | 1.4 | Elsevier | 0167-6423 |
| c | Theory and Practice of Logic Programming | 1.400 | Cambridge University Press | 1471-0684 |
| b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 |