Conferences, Workshops and Journals in CP
[Conferences] [Workshops] [Journals] [Conferences & Workshops in the past] [Newsletters]
[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 -
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
OTHER CONFERENCES RELATED TO CP