Conferences

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

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

WORKSHOPS

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

JOURNALS

ACM TOPLAS – ACM Transactions on Programming Languages and Systems

http://www.cs.wustl.edu/~toplas/

AOR – Annals of Operations Research

http://www.springer.com/east/home/computer/computer+journals?SGWID=5-40100-70-35506643-0

THE CONSTRAINTS JOURNAL

http://ai.uwaterloo.ca/~vanbeek/Constraints/constraints.html

JOC – INFORMS Journal on Computing

http://joc.pubs.informs.org/

JOURNAL OF INFORMATION & COMPUTATION

http://theory.lcs.mit.edu/~iandc/

LNCS – Lecture Notes in Computer Science

http://www.springer.com/west/home/computer/lncs?SGWID=4-164-0-0-0&referer=www.springer.de&SHORTCUT=www.springer.com/comp/lncs/index.html

CONFERENCES AND WORKSHOPS IN THE PAST

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

NEWSLETTERS

The ALP Newsletter - http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/feb07/
Cork Constraint Computation Center - http://4c.ucc.ie/web/newsletter.jsp