Where is LPAR 2026 held?

LPAR 2026 is held in Spetses, Greece.

When does LPAR 2026 take place?

LPAR 2026 takes place on 2026-10-25.

What is the ranking of LPAR?

LPAR is ranked ICORE B. These are categorical rankings maintained by the respective bodies (China Computer Federation, ICORE Inc., and Brazilian CAPES).

Conference Information

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

Q: What is the submission deadline for LPAR 2026?

The paper submission deadline for LPAR 2026 (International Conference on Logic for Programming, Artificial Intelligence and Reasoning) is 2026-06-03.

Please Login to view website of conference

Free account: view official websites, track deadlines, and get email reminders.

Login Register

Embed deadline badge

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:

26 View past editions (1)

ICORE: B Viewed: 15059 Tracked: 1 Attend: 0

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 2026-07-09

Related Conferences

CCF	ICORE	Short	Full Name	Submission	Notification	Conference
		Programming	International Conference on the Art, Science, and Engineering of Programming			2027-03-15
	B	LPNMR	International Conference on Logic Programming and Nonmonotonic Reasoning		2026-06-11	2026-09-07
		Artificial Intelligence	International Conference on Automation and Artificial Intelligence	2022-06-01	2021-11-30	2020-05-21
A	A*	SIGIR	International Conference on Research and Development in Information Retrieval	2026-01-15	2026-04-02	2026-07-20
A	A*	AAAI	AAAI Conference on Artificial Intelligence	2026-07-21	2026-11-30	2027-02-16
A	A*	CVPR	IEEE Conference on Computer Vision and Pattern Recognition	2025-11-06	2026-02-20	2026-06-03
B	A*	ICRA	International Conference on Robotics and Automation			2027-05-24
B	A*	IJCAI	International Joint Conference on Artificial Intelligence	2026-01-31		2026-08-15
A	A*	STOC	ACM Symposium on Theory of Computing	2025-11-04	2026-02-01	2026-06-22
C		ICC	International Conference on Communications	2026-10-02	2027-01-15	2027-05-30

Related Journals

CCF	Full Name	Impact Factor	Publisher	ISSN
B	Journal of Automated Reasoning	0.8	Springer	0168-7433
	Programming and Computer Software	0.5	Springer	0361-7688
	Archive for Mathematical Logic	0.400	Springer	0933-5846
	Journal of Logic, Language and Information	0.700	Springer	0925-8531
A	IEEE Transactions on Multimedia	9.7	IEEE	1520-9210
C	Knowledge-Based Systems	7.2	Elsevier	0950-7051
B	Software & Systems Modeling	3.2	Springer	1619-1366
A	IEEE Transactions on Computers	3.8	IEEE	0018-9340
C	Future Generation Computer Systems	5.9	Elsevier	0167-739X
C	Neurocomputing	6.5	Elsevier	0925-2312

Comments 0

No comments yet.

Please Login to post a comment