#cp2023 — Public Fediverse posts

4/

Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.

Submission deadline: July 10, 2023

https://sites.google.com/view/dpsolve2023

#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers

2/ Second: PTHG-23, The Sixth Workshop on Progress Towards the Holy Grail, organised by Eugene Freuder, Christian Bessiere, Tias Guns, Ian Miguel, Michela Milano, and Helmut Simonis.

Submission deadline: 10 days before the CP 2023 conference early registration deadline

https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/

#ConstraintProgramming #CP2023 #CallForPapers #AcademicMastodon #ArtificialIntelligence #Solvers #CP2023conf #AI

Breakfast? check ✔️
Coffee? check ✔️
Submission to SAT fast track? DO IT NOW! (or forever wish you had)

https://cp2023.a4cp.org/cfp.html

#ConstraintProgramming #CallForPapers #ArtificialIntelligence #CP2023 #AcademicMastodon #AcademicChatter #Satisfiability

There is still time to submit the abstract of your paper in the SAT fast track. Check out the Call for Papers for more details: https://cp2023.a4cp.org/cfp.html

#ConstraintProgramming #CP2023 #CallForPapers #deadline #Satisfiability #AcademicMastodon #AcademicChatter #ArtificialIntelligence

Papers that were sadly not accepted to SAT 2023, can be revised and submitted to CP 2023 in a special fast track:

- SAT fast track abstract registration: May 1, 2023
- SAT fast track paper submission: May 17, 2023

#Satisfiability #AI #CP2023 #CfP #ConstraintProgramming #AcademicMastodon #CFP #CallForPapers