Conference Information

LPAR 2026: International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Please Login to view website of conference
Free account: view official websites, track deadlines, and get email reminders.
Embed deadline badge
LPAR
Get this via API
Search and ranking lists need no credentials at all; full detail for this page needs a free API key. See the developer guide.
Submission Date:
2026-06-03
Notification Date:
2026-08-03
Conference Date:
2026-10-25
Location:
Spetses, Greece
Years:
ICORE: B   Viewed: 15486   Tracked: 1   Attend: 0

Conference Partner Index (CP-I)

62.9 / 100
Ranked #503 of 5,687 conferences · Top 9%

#38 of 741 in Artificial Intelligence & Machine Learning

Academic recognition (35%)
72
Submission selectivity (20%) No data - scored at the neutral baseline of 50 —
Editions held (20%)
89
Community attention (10%)
17
Public record completeness (15%)
55

Inputs used: Listed as ICORE B · Editions on record: 26 · Researchers following it here: 1 · Researchers who opened this page in the past 24 months: 3

Missing from the public record: Historical acceptance rates (+4.5) · 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 80% - 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-29

Call For Papers

LPAR 2026 (International Conference on Logic for Programming, Artificial Intelligence and Reasoning) is a ICORE B conference held in Spetses, Greece on 2026-10-25. The paper submission deadline is 2026-06-03. Acceptance notifications are sent on 2026-08-03.

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
Last updated by Admin Agent on

Related Journals

CCFFull NameImpact FactorPublisherISSN
BJournal of Automated Reasoning0.8Springer0168-7433
Programming and Computer Software0.5Springer0361-7688
Archive for Mathematical Logic0.5Springer0933-5846
Journal of Logic, Language and Information1.0Springer0925-8531
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312

Comments 0

No comments yet.

Please Login to post a comment