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: 27809 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
| Abreviación | Nombre Completo | Conferencia |
|---|---|---|
| M2GARSS | Mediterranean and Middle-East Geoscience and Remote Sensing Symposium | 2020-03-09 |
| EdgeBlock | IEEE International Symposium on Edge Computing and Blockchain | 2020-07-06 |
| ESEC | European Software Engineering Conference | 2022-11-14 |
| JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-08-29 |
| ICICIP | International Conference on Intelligent Control and Information Processing | 2025-02-06 |
| CEAC | International Civil Engineering and Architecture Conference | 2024-03-15 |
| ICCNT | International Conference on Communication and Network Technology | 2025-09-15 |
| MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-06-22 |
| ECOOP | European Conference on Object-Oriented Programming | 2026-06-29 |
| GISTAM | International Conference on Geographical Information Systems Theory, Applications and Management | 2016-04-26 |
Revistas Relacionadas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| c | International Journal of Pattern Recognition and Artificial Intelligence | 0.900 | World Scientific | 0218-0014 |
| IEEE Internet of Things Magazine | IEEE | 2576-3180 | ||
| Cogent Engineering | Cogent OA | 2331-1916 | ||
| IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE | 2471-285X | |
| IEEE Transactions on Control Systems Technology | 4.900 | IEEE | 1063-6536 | |
| Spatial Statistics | 2.100 | Elsevier | 2211-6753 | |
| IEEE Computer | 2.000 | IEEE | 0018-9162 | |
| IEEE Open Journal of Circuits and Systems | 2.600 | IEEE | 2644-1225 | |
| IEEE Transactions on Education | 2.100 | IEEE | 0018-9359 | |
| a | IEEE Transactions on Services Computing | 5.500 | IEEE | 1939-1374 |
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
| International Journal of Pattern Recognition and Artificial Intelligence | 0.900 | World Scientific |
| IEEE Internet of Things Magazine | IEEE | |
| Cogent Engineering | Cogent OA | |
| IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE |
| IEEE Transactions on Control Systems Technology | 4.900 | IEEE |
| Spatial Statistics | 2.100 | Elsevier |
| IEEE Computer | 2.000 | IEEE |
| IEEE Open Journal of Circuits and Systems | 2.600 | IEEE |
| IEEE Transactions on Education | 2.100 | IEEE |
| IEEE Transactions on Services Computing | 5.500 | IEEE |