Conference Information
ESOP 2025: European Symposium on Programming
https://etaps.org/2025/conferences/esop/Submission Date: |
2024-10-10 |
Notification Date: |
2024-12-19 |
Conference Date: |
2025-05-03 |
Location: |
Hamilton, Canada |
Years: |
34 |
CORE: a QUALIS: a2 Viewed: 29138 Tracked: 4 Attend: 1
Call For Papers
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.
Last updated by Dou Sun in 2024-10-01
Acceptance Ratio
| Year | Submitted | Accepted | Accepted(%) |
|---|---|---|---|
| 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% |
Best Papers
Related Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| 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 |
| Short | Full Name | Conference |
|---|---|---|
| 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 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | 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 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| 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 |