The LaSh Workshops on Logic and Search are devoted to scientific exchange between researchers interested in the theory and practice of logic-based problem solving. The workshop focuses on representational and algorithmic issues in specifying or modelling and solving computationally challenging problems of a combinatorial nature.

Researchers interested in presenting their work should contact the organizers by email (mitchell at cs dot sfu dot ca or LaSh2016 at EasyChair dot org) or submit a paper or extended abstract, in any common format, via EasyChair, by September 12 (revised).

LaSh emphasizes discussion and exchange of ideas among researchers with related interests who may not normally attend the same major conferences. Thus, along with new technical work, we welcome presentation of speculative work, research summaries, relevant work that is previously published, comparisons of different approaches and challenge or position papers.

Central topics include:

• Logics and representation languages for high-level problem specification or modelling;
• Model finders and ground solvers (e.g., SAT, ASP and SMT solvers etc.);
• Grounding and grounding-based solving systems;
• Modularity, compositionality and integration of heterogeneous solvers;
• Pre-processing and reasoning over specifications;
• Distributed and parallel solving;
• Declarative solver construction and meta-programming;
• Exploitation of problem and instance structure;
• Recent developments in tools or applications.

Important Dates:

• Submission Deadline: September 12 (Revised)
• Notification: September 17 (Revised)
• Workshop: October 17

Organizers:
David Mitchell, Simon Fraser University
Shahab Tasharrofi, Aalto University
Sima Jamali, Simon Fraser University

Program Committee:
Sima Jamali, Simon Fraser University
Victor Marek, University of Kentucky
David Mitchell, Simon Fraser University
Shahab Tasharrofi, Aalto University
Eugenia Ternovska Simon Fraser University
Mirek Truszczynski, University of Kentucky