Logic and Search (LaSh)

LogicAndSearch.org is the home page for the LaSh Workshops on Logic and Search. The workshops are devoted to the study, from the veiwpoint of mathematical logic, declarative methods for representing and solving computational search and optimization problems.


  1. - LaSh 2019, July 8, Lisboa Portugal.
       A SAT 2019 workshop.

  2. - LaSh 2018, July 18 and 19, Oxford, UK.
       A FLoC 2018 workshop.

  3. - LaSh 2017, August 28 2017, Melbourne Australia
       A joint ICLP 2016/ SAT/ CP workshop at IJCAI 2017.

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

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

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

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

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