Logic and Search (LaSh)

LogicAndSearch.org is the home page for the biennial International Workshops on Logic and Search, devoted to the study of logic based methods for solving computational search problems.


  1. - LaSh 2018, July 18 or 19, Oxford, UK (at FLoC).

  2. - LaSh 2017, August 28 2017, Melbourne Australia
       A joint ICLP 2016/ SAT/ CP workshop, immediately following IJCAI 2017.

  3. - LaSh 2016, October 17 2016, New York USA
       An ICLP 2016 workshop

  4. -4th, LaSh 2014, July 18 2014, Vienna Austria
       A joint SAT / ICLP workshop at FLoC 2014;

  5. -LaSh 2010, July 15 2010, Edinburgh UK
       A joint SAT/ICLP workshop at FLoC 2010

  6. -LaSh 2008, November 6-7 2008, Leuven Belgium
       A stand-alone even at KU Leuven

  7. -LaSh 2006, August 16, Seattle, USA
       A joint SAT/ICLP workshop at FLoC 2006).