Conference Information

ICLP 2026: International Conference on Logic Programming

Please Login to view website of conference

Submission Date:
2026-01-31
Notification Date:
2026-03-12
Conference Date:
2026-07-20
Location:
Lisbon, Portugal
Years:
42
CORE: a   QUALIS: b1   Viewed: 31721   Tracked: 3   Attend: 0

Call For Papers

ICLP 2026 (International Conference on Logic Programming) is a CORE A / QUALIS B1 conference held in Lisbon, Portugal on 2026-07-20. The paper submission deadline is 2026-01-31. Acceptance notifications are sent on 2026-03-12.

The 42nd International Conference on Logic Programming (ICLP 2026) will be held at ISCTE - Instituto Universitário de Lisboa in Lisbon, Portugal, as part of the Federated Logic Conference (FLoC) 2026, from July 20-23, 2026. Scope Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: Theoretical Foundations: Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results. Language Design and Programming Methodologies: Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Answer Set Programming, Inductive Logic Programming, Coinductive Logic Programming Program Analysis and Optimization: Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs. Implementation Methodologies: Compilation, Parallel/distributed execution, Constraint implementation, Tabling, Logic-based prompt engineering, User interfaces.
Last updated by Dou Sun in

Acceptance Ratio

Average acceptance rate: 28.9% over 4 years (1999–2005).

YearSubmittedAcceptedAccepted(%)
20051042524%
2004702840%
2001791721.5%
1999862630.2%

Best Papers

Related Conferences

CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa2ESOPEuropean Symposium on Programming2026-10-152026-12-222027-04-10
cbb3LOPSTRInternational Symposium on Logic-Based Program Synthesis and Transformation2026-05-302026-06-262026-08-24
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2026-02-192026-05-142026-08-23
baa1ECOOPEuropean Conference on Object-Oriented Programming2026-02-122026-04-092026-06-29
ab1ICLPInternational Conference on Logic Programming2026-01-312026-03-122026-07-20
b1EuroGPEuropean Conference on Genetic Programming2025-11-012026-01-102026-04-08
bca2ICPCInternational Conference on Program Comprehension2025-10-192026-01-052026-04-12
cbb1ILPInternational Conference on Inductive Logic Programming2021-06-252021-08-052021-10-25
ab1LPNMRInternational Conference on Logic Programming and Nonmonotonic Reasoning2013-04-172013-06-052013-09-15
ab1FLOPSInternational Symposium on Functional and Logic Programming2011-12-162012-02-032012-05-23

Related Journals

CCFFull NameImpact FactorPublisherISSN
Mathematical Programming Computation3.6Springer1867-2949
cProceedings of the ACM on Programming Languages2.8ACM2475-1421
Mathematical Programming2.5Springer0025-5610
bScience of Computer Programming1.4Elsevier0167-6423
Cognitive Processing1.4Springer1612-4782
cTheory and Practice of Logic Programming1.1Cambridge University Press1471-0684
International Journal of Parallel Programming0.9Springer0885-7458
Journal of Logical and Algebraic Methods in Programming0.700Elsevier2352-2208
cJournal of Logic and Computation0.7Oxford University Press0955-792X
bJournal of Functional Programming0.6Cambridge University Press0956-7968

AttenderYear
No results found.
Advertisment