Conference Information
ICLP 2022: International Conference on Logic Programming
Submission Date:
Notification Date:
Conference Date:
Haifa, Israel
CORE: a   QUALIS: b1   Viewed: 18069   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:

    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. 

    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. 

    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
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ba*a2COLTAnnual Conference on Learning Theory2024-02-092024-05-102024-06-30
b3JTRESInternational Workshop on Java Technologies for Real-time and Embedded Systems2016-06-122016-07-202016-08-29
aa2ESOPEuropean Symposium on Programming2023-10-122023-12-212024-04-06
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 Programming2024-02-282024-05-202024-09-02
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
cIEEE Transactions on Circuits and Systems I: Regular Papers4.140IEEE1549-8328
Cognition, Technology & Work0.304Springer1435-5558