Sunday, August 13, 2023

[DMANET] Constraint Programming 2023 (CP2023): Preliminary Schedule is online. Register now!

[Apologies for multiple postings]

CP 2023 PRELIMINARY SCHEDULE IS ONLINE

Twenty-Ninth Conference on Principles and Practice of Constraint Programming
CP 2023 (https://cp2023.a4cp.org)

August 27-31, 2023, Toronto, Canada


CP is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms, environments, languages, models, systems, and applications. CP 2023 will be held in-person in Toronto at the University of Toronto St. George campus (Downtown) (https://cp2023.a4cp.org/venue.html), August 27-31, 2023.

The CP 2023 program will include presentations of high-quality scientific papers on constraints technology. In addition to the main conference program, CP 2023 will feature 4 specialised tracks covering important topics in Constraints:

* Applications
* CP and Machine Learning
* CP and Operations Research
* Trustworthy Decision-Making

Preliminary Schedule

See our website for a detailed preliminary schedule: https://www.easychair.org/smart-program/CP2023

Sunday 27th August: Workshops, Doctoral Program, Doctoral Program dinner.

Monday 28th August: Opening, invited talk, tutorial, regular sessions, welcome reception.

Tuesday 29th August: Invited talk, tutorial, regular sessions, SPC dinner.

Wednesday 30th August: Invited talk, competition results, awards, DEI event, regular sessions, ACP general assembly, banquet.

Thursday 31th August: Invited talk, best paper awards, regular sessions.

Please refer to our website for a list of accepted papers (https://cp2023.a4cp.org/accepted_papers.html) and a more detailed preliminary program (https://www.easychair.org/smart-program/CP2023).

Please also check our website for more information on the workshops (https://cp2023.a4cp.org/workshops.html), tutorials (https://cp2023.a4cp.org/tutorials.html) and the CP Doctoral Program (https://sites.google.com/view/dpcp23/home).

Workshops

* The 22nd workshop on Constraint Modelling and Reformulation (ModRef 2023) (https://modref.github.io/ModRef2023.html). Organisers: Peter Nightingale (chair), Christopher Stone (chair).
* The 6th Workshop on Progress Towards the Holy Grail (PTHG-23) (https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/). Organisers: Eugene Freuder (chair), Christian Bessiere, Tias Guns, Ian Miguel, Michela Milano, Helmut Simonis.
* Workshop on Optimization for Sports (Opt4Sports2023) (https://sites.google.com/uconn.edu/cp2023-opt4sports2023). Organisers: David Bergman, Jeff Decary.
* Workshop on Models and Solvers for Dynamic Programming (DPSOLVE 2023) (https://sites.google.com/view/dpsolve2023/). Organisers: Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, Willem van Hoeve (chair).
* Teaching Constraint Programming (https://groups.google.com/g/constraints/c/gcu4maSOKpM). Organisers: Tejas Santanam, Helmut Simonis.
* Doctoral Program (https://cp2023.a4cp.org/dp_cfp.html).

Tutorials

* Explainable Constraint Solving - A Hands-On Tutoria by Ignace Bleukx, Dimos Tsouros and Tias Guns.
* Machine Learning for Solvers by Vijay Ganesh

Invited Talks

* Maria Garcia de la Banda (Monash University) Beyond optimal solutions for real-world problems
* Jimmy Lee (Chinese University of Hong Kong) A Tale of Two Cities: Teaching CP with Story-Telling
* Laurent Perron (Google, France) The CP-SAT-LP solver
* Thomas Schiex (Universite Fédérale de Toulouse, ANITI, INRAE) Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 variants exploration
* Petr Vilím (ScheduleOpt) CP Solver Design for Maximum CPU Utilization

Registration

The registration costs are as follows:

* Workshop only (August 27th, Sunday): $350 CAD
* Conference and Workshop, Student: $750 CAD
* Conference and Workshop, Regular: $1,250 CAD
* Conference and Workshop, Industry: $1,600 CAD

Please go to https://cp2023.a4cp.org/registration.html to register for CP 2023.

Sponsors

CP 2023 appreciates the generous support of our sponsors.

Gold sponsors:

* Association for Constraint Programming (ACP) (https://www.a4cp.org<https://www.a4cp.org/>)
* Artificial Intelligence Journal (AIJ) (https://www.sciencedirect.com/journal/artificial-intelligence)
* ScheduleOpt http://www.scheduleopt.com/
* Dept. of Management, UTSC (https://www.utsc.utoronto.ca/mgmt/)

Other sponsors:

* Cosling (https://www.cosling.com<https://www.cosling.com/>)
* Google (https://www.google.com<https://www.google.com/>)
* IBM (https://www.ibm.com<https://www.ibm.com/>)
* Mitsubishi Electric Research Laboratories (MERL) (https://www.merl.com/)
* The Optimization Firm (https://www.minlp.com<https://www.minlp.com/>), makers of the BARON solver.

Organizing Committee


Conference Chair

* Andre Augusto Cire (University of Toronto)

Program Chair

* Roland Yap (National University of Singapore)

Local Chair

* Eldan Cohen (University of Toronto)

Workshop Chair

* Lars Kotthoff (University of Wyoming)

Tutorials Chair

* Emir Demirović (TU Delft)

Doctoral Program Chair

* Xavier Gillard (Université catholique de Louvain)

Publicity & Website Chair

* Anna Latour (National University of Singapore)

DEI Chairs

* Maria Andreina Francisco Rodriguez (Uppsala University)
* Andrea Rendl (Satalia)

Sponsorship Chair

* Arvind Raghunathan (Mitsubishi Electric Research Laboratories)

Special Track Chairs

* CP Applications Track: Helmut Simonis (Insight SFI Research Centre for Data Analytics)
* CP & Machine Learning Track: Tias Guns (KU Leuven)
* CP & Operations Research Track: Gilles Pesant (Polytechnique Montréal)
* CP & Trustworthy Decision Making Track: Peter Stuckey (Monash University)

Senior Program Committee and Program Committee: https://cp2023.a4cp.org/committees.html


----------------

Anna Latour
Research Fellow
NUS School of Computing

________________________________

Important: This email is confidential and may be privileged. If you are not the intended recipient, please delete it and notify us immediately; you should not copy or use it for any purpose, nor disclose its contents to any other person. Thank you.


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************