Constraint Solving by Martine Ceberio

Conferences, Workshops and Journals in CP

[All Conferences & Workshops in Computer Science]

PLEASE NOTE: The below list is not an exhaustive one. Conferences, Workshops and Journals will be added and updated from time to time as and when they are being organized. Readers aware of any such proceedings can kindly contribute as well by emailing us E-mail us about Conferences


  • ASC – IASTED International Conference on Artificial Intelligence and Soft Computing
  • CILC – Italian Conference on Computational Logic
  • CL – International Conference on Computational Logic
  • CP – International Conference on Principles & Practice of Constraint Programming
  • CP-AI-OR – International Conference on the Integration of AI and OR Techniques
    in Constraint Programming for Combinatorial Optimization Problems
  • PADP – Practical Aspects of Declarative Languages
  • PPDP – International Conference on Principles and practice of Declarative Programming
  • TPHOLs – International Conference on Theorem Proving in Higher Order Logics


  • AAAI – National Conférence on Artificial Intelligence
  • CI – International Conférence on Computational Intelligence
  • ECAI – Européen Conférence on Artificial Intelligence
  • IJCAI – International Joint Conference on Artificial Intelligence
  • ILP – International Conférence on Inductive Logic Programming
  • JELIA – Logics in Artificial Intelligence, European Conference
  • LPAR – International Conférence on Logic for programming AI and Reasoning
  • LPNMR – International Conférence on Logic Programming and Nonmonotonic Reasoning


  • CDB – International Workshop on Constraint Databases
  • CICLOPS- Colloquium on  Implementation of Constraint and Logic Programming Systems
  • CLPSE – Constraint Logic programming and software engineering
  • CPAI – International Workshop on Constraint Propagation and Implementation
  • CSLP – International Workshop on Constraint Solving and Language Processing
  • ERCIM/CSCLP – ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming
  • FLOPS – International Symposium on Functional and Logic Programming
  • LICS Symposium – IEEE Symposium on Logic in Computer Science
  • LOPSTR – International Symposium on Logic-based Program Synthesis and Transformation
  • MultiCPL – Multiparadigm Constraint Programming Languages
  • NLULP – Natural Language Understanding and Logic Programming
  • SAVE – Specification, Analysis and Validation for Emerging Technologies in Computational Logic
  • SOFT – International Workshop on Soft Constraints
  • WLP – Workshop Logische Programmierung
  • WLPE – Workshop on Logic Programming Environments
  • WCB – Workshop on Constraint-based Methods for Bioinformatics
  • WFLP – Workshop on Constraint and Functional Logic Programming
  • WLPE – Workshop on Logic-based methods in programming environments



  • COTIC – International workshop on constraint programming for time critical applications
  • ICLP – International conference on Logic Programming
  • ILP – International Logic Programming Symposium
  • LFCS – Logical Foundations of Computer Science
  • LP- Logic Programming, Japanese Conference
  • NACLP – North American Conference on Logic Programming
  • PAP – Practical Application of Prolog Conference
  • SLP – Symposium on Logic Programming
  • WCLP – Workshop on Constraint Logic Programming