LaSh 2018 Workshop on Logic and Search

July 18 2018, Oxford UK --- A FLoC 2018 Workshop Associated with ICLP

Program Topics of Interest Organization

The LaSh Workshops on Logic and Search are devoted to the study, from the point of view of logic, of declarative languages for defining or representing search and optimization problems, problem-solving systems that use these languages, and related issues regarding reductions, search algorithms, problem transformations, and others. See the LaSh home page for details of previous meetings.

Program (See also the FLoC Live Program)
Topics of Interest (non-exclusive)
Organizers
Program Committee
Steering Committee