Final call for submissions LaSh 2014

[Oikarinen Emilia]

 [apologies for any cross-posting]

================================================================

                 WORKSHOP ON LOGIC AND SEARCH - LaSh 2014
           Representing and Solving Computational Search Problems

                       Final Call For Submissions

   With Revised Submission Deadline (May 15), Final PC, Confirmed Speakers

                     Vienna, Austria, July 18, 2014
                        http://vsl2014.at/lash/

            A FLoC 2014 Workshop, Associated with SAT and ICLP

OVERVIEW

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.

Hard combinatorial search and optimization problems abound in science,
engineering, and other areas.  Examples include planning, scheduling and
configuration problems. Several communities have developed general purpose
solving technologies for such problems, supported by declarative modelling
or specification languages.  These include answer set programming (ASP)
from knowledge representation (KR), constraint solvers and modelling languages
from constraint programming (CP), and integer linear programming (ILP) solvers
and algebraic modelling languages from mathematical programming.  Other
relevant areas include propositional satisfiability (SAT), satisfiability
modulo theories (SMT), and representation languages based on classical
logic and FO(ID).

Differences in emphasis notwithstanding, these share the same purpose.
Indeed, there are many similarities in solving technologies, and increasing
exchange between the areas both in solving and representational issues.