Conference Information
LOPSTR 2026: International Symposium on Logic-Based Program Synthesis and Transformation
Embed deadline badge
Get this via API
Conference Partner Index (CP-I)
| Academic recognition (35%) |
|
66 |
| Submission selectivity (20%) |
|
66 |
| Editions held (20%) |
|
97 |
| Community attention (10%) |
|
52 |
| Public record completeness (15%) |
|
65 |
Inputs used: Listed as CCF C, ICORE C, QUALIS B3 · Acceptance rate: 40% (mean of 5 editions on file) · Editions on record: 36 · Researchers following it here: 22 · Researchers who opened this page in the past 24 months: 18
Missing from the public record:
Past editions (+3.0) · Best-paper records (+2.3)
Organizers can add these from this page after claiming the conference; scores are recomputed nightly. How to raise this score
Confidence 100% - the share of the score backed by observed data rather than the neutral baseline. How this score is calculated · Browse the ranking · Algorithm version 1.1 · Computed 2026-09-22
Get notified when the next edition opens
This edition is over. Create a free account and we will email you as soon as the next call for papers is published.
Based on the previous edition, the next deadline is estimated around 2027-05.
Call For Papers
LOPSTR 2026 (International Symposium on Logic-Based Program Synthesis and Transformation) is a CCF C / ICORE C / QUALIS B3 conference held in Indianapolis, Indiana, USA on 2026-08-24. The paper submission deadline is 2026-05-30. Acceptance notifications are sent on 2026-06-26.
Acceptance Ratio
Average acceptance rate: 44.3% over 7 years (1995–2005).
| Year | Submitted | Accepted | Accepted(%) |
|---|---|---|---|
| 2005 | 33 | 10 | 30.3% |
| 2004 | 34 | 17 | 50% |
| 2003 | 32 | 12 | 37.5% |
| 2002 | 40 | 15 | 37.5% |
| 1998 | 36 | 16 | 44.4% |
| 1996 | 27 | 17 | 63% |
| 1995 | 40 | 19 | 47.5% |
Related Conferences
| CCF | ICORE | CP-I | Short | Full Name | Submission | Conference |
|---|---|---|---|---|---|---|
| C | 87.4 | ICC | International Conference on Communications | 2026-10-02 | 2027-05-30 | |
| C | B | 62.7 | IJCNN | International Joint Conference on Neural Networks | 2027-01-31 | 2027-06-14 |
| C | B | 65.9 | TrustCom | International Conference on Trust, Security and Privacy in Computing and Communications | 2025-08-01 | 2025-11-14 |
| C | B | 79.9 | ICONIP | International Conference on Neural Information Processing | 2026-05-10 | 2026-11-23 |
| C | C | 80.8 | HPCC | International Conference on High Performance Computing and Communications | 2026-07-15 | 2026-10-29 |
| C | A | 87.8 | GECCO | Genetic and Evolutionary Computation Conference | 2027-07-12 | |
| C | B | 89.2 | Globecom | IEEE Global Communications Conference | 2026-04-01 | 2026-12-07 |
| C | B | 86.2 | ICPR | International Conference on Pattern Recognition | 2026-01-10 | 2026-08-17 |
| C | C | 64.8 | KSEM | International Conference on Knowledge Science, Engineering and Management | 2026-02-28 | 2026-07-17 |
| C | B | 84.8 | ICTAI | International Conference on Tools with Artificial Intelligence | 2026-06-30 | 2026-11-02 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| C | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| C | Future Generation Computer Systems | 5.9 | Elsevier | 0167-739X |
| C | Neurocomputing | 6.5 | Elsevier | 0925-2312 |
| C | Pattern Recognition Letters | 3.9 | Elsevier | 0167-8655 |
| C | IEEE Transactions on Industrial Informatics | 11.7 | IEEE | 1551-3203 |
| C | IEEE Internet of Things Journal | 8.9 | IEEE | 2327-4662 |
| C | Engineering Applications of Artificial Intelligence | 9.0 | Elsevier | 0952-1976 |
| C | Expert Systems with Applications | 7.5 | Elsevier | 0957-4174 |
| C | IEEE Transactions on Big Data | 5.7 | IEEE | 2332-7790 |
| C | Computer Communications | 4.3 | Elsevier | 0140-3664 |
No comments yet.