Información de la conferencia
ICLP 2022: International Conference on Logic Programming
Día de Entrega:
Fecha de Notificación:
Fecha de Conferencia:
Haifa, Israel
CORE: a   QUALIS: b1   Vistas: 16990   Seguidores: 3   Asistentes: 0

Solicitud de Artículos
 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. 
Última Actualización Por Dou Sun en 2022-01-17
Coeficiente de Aceptación
Conferencias Relacionadas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
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 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 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
Revistas Relacionadas
CCFNombre CompletoFactor de ImpactoEditorISSN
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
Nombre CompletoFactor de ImpactoEditor
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
IEEE Transactions on Circuits and Systems I: Regular Papers4.140IEEE
Cognition, Technology & Work0.304Springer