会议信息
ESOP 2025: European Symposium on Programming
https://etaps.org/2025/conferences/esop/截稿日期: |
2024-10-10 |
通知日期: |
2024-12-19 |
会议日期: |
2025-05-03 |
会议地点: |
Hamilton, Canada |
届数: |
34 |
CORE: a QUALIS: a2 浏览: 31283 关注: 4 参加: 1
征稿
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.
最后更新 Dou Sun 在 2024-10-01
录取率
| 时间 | 提交数 | 录取数 | 录取率(%) |
|---|---|---|---|
| 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% |
最佳论文
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| 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 |
| 简称 | 全称 | 会议日期 |
|---|---|---|
| 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 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | 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.0 | 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 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| 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.0 | Elsevier |
| The Journal of Supercomputing | 2.500 | Springer |
| Theory and Practice of Logic Programming | 1.400 | Cambridge University Press |