LaSh 2017 Workshop on Logic and Search (LaSh 2017)

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, declarative, 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.