会議情報
ICLP 2022: International Conference on Logic Programming
https://software.imdea.org/Conferences/ICLP2022/
提出日:
2022-01-14
通知日:
2022-03-14
会議日:
2022-07-31
場所:
Haifa, Israel
年:
38
CORE: a   QUALIS: b1   閲覧: 20920   追跡: 3   出席: 0

論文募集
 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. 
最終更新 Dou Sun 2022-01-17
合格率
時間提出受け入れ受け入れ(%)
20051042524%
2004702840%
2001791721.5%
1999862630.2%
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
ba*a2COLTAnnual Conference on Learning Theory2025-02-062025-05-022025-06-30
b3JTRESInternational Workshop on Java Technologies for Real-time and Embedded Systems2016-06-122016-07-202016-08-29
aa2ESOPEuropean Symposium on Programming2024-10-102024-12-192025-05-03
GISTAMInternational Conference on Geographical Information Systems Theory, Applications and Management2015-12-102016-02-032016-04-26
ICINTInternational Conference on Information and Network Technologies2024-12-302025-01-252025-03-12
SUComSInternational Conference on Security-enriched Urban Computing and Smart Grid2015-05-252015-06-052015-06-21
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2025-02-272025-06-272025-10-12
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
おすすめ