LASH 2014 PROCEEDINGS: EDITOR'S PREFACE

This volume contains the papers presented at LaSh 2014, the 4th International Workshop on Logic and Search held on July 18 2014 in Vienna.  LaSh 2014 was a workshop within FLoC 2014, and associated with the conferences SAT and ICLP.  The LaSh programme committee received seven submissions, and each submission was reviewed by at least two program committee members. After the review process the program committee decided to accept four papers. In addition to the regular papers, the program also included five invited talks.

The purpose of the LaSh workshops is to foster scientific exchange on subjects related to languages for representing, and methods for solving, computationally challenging search problems. The scope includes study of relevant logics, algorithms, and logic-based systems, and also study of other languages and systems from the viewpoint of logic, broadly construed.  LaSh 2014 was preceeded by LaSh 2010 (Edinburgh, UK), LaSh 2008 (Leuven, Belgium) and LaSh 2006 (Seattle, USA).

The organizers are grateful to Simon Fraser University for financial support.