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: 29293 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 |
|---|---|---|---|---|---|---|---|
| b2 | EDCC | European Dependable Computing Conference | 2025-09-30 | 2025-12-12 | 2026-04-07 | ||
| c | b | b1 | ILP | International Conference on Inductive Logic Programming | 2021-06-25 | 2021-08-05 | 2021-10-25 |
| b | a* | a2 | ICFP | ACM SIGPLAN International Conference on Functional Programming | 2026-02-19 | 2026-05-14 | 2026-08-23 |
| a | a* | a2 | ESEC | European Software Engineering Conference | 2022-03-10 | 2022-06-14 | 2022-11-14 |
| a | b1 | FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-02-03 | 2012-05-23 | |
| b | b1 | EUSIPCO | European Signal Processing Conference | 2017-03-05 | 2017-05-25 | 2017-08-28 | |
| a | b1 | ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-03-14 | 2022-07-31 | |
| 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 | ||
| a | a2 | ESOP | European Symposium on Programming | 2024-10-10 | 2024-12-19 | 2025-05-03 |
| Abreviación | Nombre Completo | Conferencia |
|---|---|---|
| EDCC | European Dependable Computing Conference | 2026-04-07 |
| ILP | International Conference on Inductive Logic Programming | 2021-10-25 |
| ICFP | ACM SIGPLAN International Conference on Functional Programming | 2026-08-23 |
| ESEC | European Software Engineering Conference | 2022-11-14 |
| FLOPS | International Symposium on Functional and Logic Programming | 2012-05-23 |
| EUSIPCO | European Signal Processing Conference | 2017-08-28 |
| ICLP | International Conference on Logic Programming | 2022-07-31 |
| ECOOP | European Conference on Object-Oriented Programming | 2026-06-29 |
| EuroGP | European Conference on Genetic Programming | 2026-04-08 |
| ESOP | European Symposium on Programming | 2025-05-03 |
Revistas Relacionadas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 | |
| Scientific Programming | Hindawi | 1058-9244 | ||
| Mathematical Programming | 2.200 | Springer | 0025-5610 | |
| c | Proceedings of the ACM on Programming Languages | 2.200 | ACM | 2475-1421 |
| c | The Journal of Logic and Algebraic Programming | Elsevier | 1567-8326 | |
| b | Science of Computer Programming | 1.4 | Elsevier | 0167-6423 |
| European Journal of Operational Research | 6.000 | Elsevier | 0377-2217 | |
| c | The Journal of Supercomputing | 2.500 | Springer | 0920-8542 |
| c | Theory and Practice of Logic Programming | 1.400 | Cambridge University Press | 1471-0684 |
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
| Journal of Functional Programming | 1.100 | Cambridge University Press |
| International Journal of Parallel Programming | 0.900 | Springer |
| Scientific Programming | Hindawi | |
| Mathematical Programming | 2.200 | Springer |
| Proceedings of the ACM on Programming Languages | 2.200 | ACM |
| The Journal of Logic and Algebraic Programming | Elsevier | |
| Science of Computer Programming | 1.4 | Elsevier |
| European Journal of Operational Research | 6.000 | Elsevier |
| The Journal of Supercomputing | 2.500 | Springer |
| Theory and Practice of Logic Programming | 1.400 | Cambridge University Press |