Conference Information
ICLP 2022: International Conference on Logic Programming
https://software.imdea.org/Conferences/ICLP2022/
Submission Date:
2022-01-14
Notification Date:
2022-03-14
Conference Date:
2022-07-31
Location:
Haifa, Israel
Years:
38
CORE: a   QUALIS: b1   Viewed: 15370   Tracked: 3   Attend: 0

Call For Papers
 Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:

Foundations
    Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation.

Languages issues
    Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. 

Programming support
    Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. 

Implementation
    Compilation, Virtual machines, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. 

Language Issues
    Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. 
Related Paradigms and Synergies
    Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. 

Applications
    Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cybersecurity, Robotics, Education. 
Last updated by Dou Sun in 2022-01-17
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20051042524%
2004702840%
2001791721.5%
1999862630.2%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ba*a2COLTAnnual Conference on Learning Theory2022-02-09 2022-07-02
b3JTRESInternational Workshop on Java Technologies for Real-time and Embedded Systems2016-06-122016-07-202016-08-29
aa2ESOPEuropean Symposium on Programming2022-10-132022-12-222023-04-22
GISTAMInternational Conference on Geographical Information Systems Theory, Applications and Management2015-12-102016-02-032016-04-26
ICINTInternational Conference on Information and Network Technologies2018-04-052018-04-202018-05-24
SUComSInternational Conference on Security-enriched Urban Computing and Smart Grid2015-05-252015-06-052015-06-21
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2022-03-022022-06-302022-09-11
MCCMBMoscow Conference on Computational Molecular Biology2019-03-102019-04-012019-07-27
IntelliSysSAI Intelligent Systems Conference2019-02-012019-02-152019-09-05
b5PAAPInternational Symposium on Parallel Architectures, Algorithms and Programming2022-07-302022-09-302022-11-04
Related Journals
CCFFull NameImpact FactorPublisherISSN
VLSI DesignHindawi1065-514X
Mathematical Programming3.995Springer0025-5610
bComputational Complexity0.487Springer1016-3328
bJournal of Functional Programming1.37Cambridge University Press0956-7968
cInternational Journal on Document Analysis and Recognition2.085Springer1433-2833
Mechanical Systems and Signal Processing6.823Elsevier0888-3270
cJournal of Logic and Computation0.586Oxford University Press0955-792X
bScience of Computer Programming0.863Elsevier0167-6423
Cognition, Technology & Work0.304Springer1435-5558
Mathematical Programming Computation Springer1867-2949
Full NameImpact FactorPublisher
VLSI DesignHindawi
Mathematical Programming3.995Springer
Computational Complexity0.487Springer
Journal of Functional Programming1.37Cambridge University Press
International Journal on Document Analysis and Recognition2.085Springer
Mechanical Systems and Signal Processing6.823Elsevier
Journal of Logic and Computation0.586Oxford University Press
Science of Computer Programming0.863Elsevier
Cognition, Technology & Work0.304Springer
Mathematical Programming Computation Springer
Recommendation