# LPAR — International Conference on Logic for Programming, Artificial Intelligence and Reasoning

- **Submission deadline**: 2026-06-03
- **Notification date**: 2026-08-03
- **Conference date**: 2026-10-25
- **Location**: Spetses, Greece
- **Rankings**: CORE B
- **Conference Partner Index**: 62.9/100 (ranked #503, confidence 0.80, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 1
- **Attendees**: 0
- **Canonical page**: https://www.myhuiban.com/conference/2418

## Past editions

| Year | Deadline | Conference date | Location |
|---|---|---|---|
| 2017 | 2017-01-18 | 2017-05-08 | Maun, Botswana |

## Call for papers

List of Topics New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: Abduction Answer set programming Automated reasoning Constraint programming Computational proof theory Decision procedures Description logics Formalizing mathematics Foundations of security Hardware verification Implementations of logic Interpolation Interactive theorem proving Knowledge representation and reasoning Logic and computational complexity Logic and databases Logic and games Logic and language models Logic and machine learning Logic and the web Logic and types Logic in artificial intelligence Logic programming Logical foundations of programming Logics of knowledge and belief Modal and temporal logics Model checking Non-monotonic reasoning Ontologies and large knowledge bases Probabilistic and fuzzy reasoning Program analysis Rewriting Satisfiability checking Satisfiability modulo theories Software verification Unification theory

## Related conferences

- Programming — International Conference on the Art, Science, and Engineering of Programming — https://www.myhuiban.com/conference/2069
- LPNMR — International Conference on Logic Programming and Nonmonotonic Reasoning — https://www.myhuiban.com/conference/1030
- Artificial Intelligence — International Conference on Automation and Artificial Intelligence — https://www.myhuiban.com/conference/3369
- SIGIR — International Conference on Research and Development in Information Retrieval — https://www.myhuiban.com/conference/141
- AAAI — AAAI Conference on Artificial Intelligence — https://www.myhuiban.com/conference/408

## Related journals

- Journal of Automated Reasoning — https://www.myhuiban.com/journal/192
- Programming and Computer Software — https://www.myhuiban.com/journal/531
- Archive for Mathematical Logic — https://www.myhuiban.com/journal/445
- Journal of Logic, Language and Information — https://www.myhuiban.com/journal/507
- IEEE Transactions on Multimedia — https://www.myhuiban.com/journal/152

---
Source: Conference Partner — https://www.myhuiban.com/conference/2418 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)