International Conference on Principles and Practice of Constraint Programming
Generated by GPT-5-miniExpansion Funnel Raw 192 → Dedup 0 → NER 0 → Enqueued 0
| International Conference on Principles and Practice of Constraint Programming | |
|---|---|
| Name | International Conference on Principles and Practice of Constraint Programming |
| Abbreviation | CP |
| Discipline | Computer science |
| Established | 1994 |
| Frequency | Annual |
| Country | International |
International Conference on Principles and Practice of Constraint Programming is an annual academic conference that serves as a central forum for research on Artificial intelligence, Operations research, Computer science, Mathematics, and related applied fields. It brings together researchers from institutions such as Massachusetts Institute of Technology, Stanford University, University of California, Berkeley, Carnegie Mellon University, University of Cambridge, University of Oxford, École Polytechnique Fédérale de Lausanne, INRIA, and University of Toronto, as well as industrial partners like IBM, Google, Microsoft, Amazon (company), and Siemens. The conference is part of a broader ecosystem that includes workshops, summer schools, and affiliated meetings at venues connected to organizations such as the Association for Computing Machinery, Institute of Electrical and Electronics Engineers, European Research Council, National Science Foundation, and Agence nationale de la recherche.
History
The conference originated in the mid-1990s amid growing interest in constraint-based methods at events associated with IJCAI, AAAI Conference on Artificial Intelligence, CPM‑CONSTRAINTS Workshop, ECAI, and ICALP. Early organizers included researchers affiliated with CNRS, SRI International, Bell Labs, Queen's University Belfast, and University of Pennsylvania, and the event quickly established ties with journals such as Artificial Intelligence (journal), Constraints (journal), Journal of Artificial Intelligence Research, and INFORMS Journal on Computing. Over the years the conference has attracted keynote speakers from institutions like Princeton University, Harvard University, Yale University, University of Chicago, ETH Zurich, and University of Tokyo, and has interacted with projects funded by bodies including the European Commission, Wellcome Trust, and Japan Society for the Promotion of Science. Milestones include the introduction of doctoral consortia, the expansion of industrial tracks connecting to SAP, Nokia, Volkswagen, and Airbus, and cross-disciplinary collaborations with groups in Statistics Netherlands, Riken, and CSIRO.
Scope and Topics
The conference covers methodological and applied topics ranging across Constraint satisfaction problem, Constraint programming, Integer programming, Satisfiability modulo theories, Satisfiability (logic), Mixed-integer programming, Answer set programming, and Constraint logic programming. It addresses algorithmic foundations from researchers at University of Waterloo, Technische Universität Berlin, University of Edinburgh, and University of Amsterdam, and applied case studies in domains involving NASA, European Space Agency, BP (company), General Electric, Heathrow Airport, Royal Dutch Shell, and Deutsche Telekom. Sessions frequently discuss integration with technologies from Machine learning, DeepMind, OpenAI, TensorFlow, and PyTorch, and explore verification and synthesis connections to Model checking, Theorem proving, Coq, and Isabelle (proof assistant).
Organization and Governance
The conference is governed by an international program committee drawn from universities and research labs including University of California, Los Angeles, Cornell University, Imperial College London, Purdue University, Delft University of Technology, Katholieke Universiteit Leuven, Universidade de São Paulo, Monash University, and National University of Singapore. Administrative support often comes from local host institutions such as University of Milan, Université Paris-Saclay, University of Madrid, and University of Melbourne. Governance practices have been influenced by standards from ACM SIGMOD, IEEE Computer Society, Royal Society, and Bundesministerium für Bildung und Forschung policies. The steering committee liaises with sponsoring entities such as Google Research, Meta Platforms, Inc., Intel, NVIDIA, and philanthropic foundations including Simons Foundation.
Conferences and Locations
Past editions have been held in cities with major research hubs and conference infrastructure, including Cassino, Pisa, Grenoble, Lisbon, Madrid, Singapore, Melbourne, Montréal, Gothenburg, Porto, Toulouse, Prague, Freiburg im Breisgau, Bologna, Lyon, Utrecht, Edinburgh, Vienna, Barcelona, Rome, Dublin, Helsinki, Tallinn, Zürich, Padua, Brussels, Warsaw, Stockholm, Copenhagen, Seville, Valencia, Bordeaux, Ljubljana, Belgrade, Leuven, Bergen, Marseille, Hamburg, Turin, Nancy, Salzburg, Reykjavík, Copenhagen, and Athens. Each venue typically features tutorials, invited talks, workshops, and industrial presentations, and attracts delegates who also participate in adjacent conferences such as IJCAR, SAT Conference, Symposium on Theory of Computing, SIGGRAPH, NeurIPS, and ECCAI.
Proceedings and Publications
Proceedings have been published through outlets associated with Springer (publisher), Lecture Notes in Computer Science, CP 2020 Proceedings, and special issues in journals like Artificial Intelligence (journal), Journal of Heuristics, IEEE Transactions on Computers, and Computers & Operations Research. Papers presented at the conference often lead to extended journal articles in venues such as Operations Research (journal), Mathematical Programming, SIAM Journal on Computing, Journal of the ACM, ACM Transactions on Programming Languages and Systems, and ACM Transactions on Mathematical Software. The conference maintains archival records indexed by services including DBLP, Scopus, Web of Science, Google Scholar, and arXiv.
Awards and Recognitions
The conference confers awards recognizing influential papers, best student papers, and contributions to the field with honors named in the tradition of awards conferred by ACM, IEEE, INFORMS, Royal Society, and research councils such as ERC and NSF. Recipients have included researchers affiliated with University of Paris, University of Bonn, Aarhus University, University of Milan–Bicocca, Seoul National University, Fudan University, Tsinghua University, Peking University, KAIST, Tohoku University, University of Hong Kong, and Nanyang Technological University. Awarded work often intersects with recognitions at Gödel Prize, Turing Award, Knuth Prize, NeurIPS Best Paper, and IJCAI Awards.