The LaSh Workshops on Logic and Search are devoted to the study of logic-based methods for specifying and solving computational search and optimization problems, with particular emphasis on solving based on high-level problem specifications.
LaSh 2017 will be held on August 28, in Melbourne Australia. It is a joint ICLP/ SAT/ CP workshop, immediately following IJCAI 2017. See the LaSh home page for details of previous meetings.
A Call for Contributions will be issued soon.