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: 20909 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
Year | Submitted | Accepted | Accepted(%) |
---|---|---|---|
2005 | 104 | 25 | 24% |
2004 | 70 | 28 | 40% |
2001 | 79 | 17 | 21.5% |
1999 | 86 | 26 | 30.2% |
Best Papers
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
COLT | Annual Conference on Learning Theory | 2025-02-06 | 2025-06-30 |
JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-08-29 |
ESOP | European Symposium on Programming | 2024-10-10 | 2025-05-03 |
GISTAM | International Conference on Geographical Information Systems Theory, Applications and Management | 2015-12-10 | 2016-04-26 |
ICINT | International Conference on Information and Network Technologies | 2024-12-30 | 2025-03-12 |
SUComS | International Conference on Security-enriched Urban Computing and Smart Grid | 2015-05-25 | 2015-06-21 |
ICFP | ACM SIGPLAN International Conference on Functional Programming | 2025-02-27 | 2025-10-12 |
MCCMB | Moscow Conference on Computational Molecular Biology | 2019-03-10 | 2019-07-27 |
IntelliSys | SAI Intelligent Systems Conference | 2019-02-01 | 2019-09-05 |
PAAP | International Symposium on Parallel Architectures, Algorithms and Programming | 2022-07-30 | 2022-11-04 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
IEEE Internet of Things Magazine | IEEE | 2576-3180 | ||
Image Processing On Line | IPOL | 2105-1232 | ||
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE | 2379-8858 | |
IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 2.800 | IEEE | 1063-8210 | |
b | IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE | 1545-5955 |
BioData Mining | 4.000 | Springer | 1756-0381 | |
International Journal of Applied Mathematics and Computer Science | 1.600 | Walter de Gruyter | 1641-876X | |
Spatial Statistics | 2.100 | Elsevier | 2211-6753 | |
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE | 2471-285X | |
a | IEEE Transactions on Pattern Analysis and Machine Intelligence | 20.80 | IEEE | 0162-8828 |
Full Name | Impact Factor | Publisher |
---|---|---|
IEEE Internet of Things Magazine | IEEE | |
Image Processing On Line | IPOL | |
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE |
IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 2.800 | IEEE |
IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE |
BioData Mining | 4.000 | Springer |
International Journal of Applied Mathematics and Computer Science | 1.600 | Walter de Gruyter |
Spatial Statistics | 2.100 | Elsevier |
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE |
IEEE Transactions on Pattern Analysis and Machine Intelligence | 20.80 | IEEE |
Recommendation