Kein Betreff

described in logical terms or not, we have languages which define some
class of structures, and systems whose purpose is to compute structures
in the class.  Logic may be seen as an explicit basis for building systems,
as an analytic tool, or as a formal approach to viewing the diversity of
systems more uniformly.

Topics of interest include, but are not limited to:

    - Logics relevant to the study of search and optimization problems
    - Languages for specifying or modelling search or optimization problems
    - Reasoning about or with specifications of search problems
    - Grounding and related language transformation methods
    - Expressiveness and complexity of logics and languages
    - Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc.
    - New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc=
.
    - Design of systems, solvers, and related tools
    - Approximation, tractable problem classes, etc.
    - Proof systems and inference methods underlying solvers.
    - Comparisons of different languages or methods
    - Interesting applications, either as case studies or challenges
    - Benchmark problems and instance collections


IMPORTANT DATES

Submission:  April 17
Notification:   May 1
Final Versions: May 20
Workshop: July 18

ORGANIZERS

Marc Denecker, KU Leuven
David Mitchell, Simon Fraser University
Emilia Oikarinen, Aalto University

PROGRAM COMMITTEE

TBA

SUBMISSION INFORMATION

To encourage communication across areas, LaSh is a non-archival meeting.
In addition to new technical work, we welcome presentation of relevant mate=
rial
which has appeared at conferences area-specific meetings or general confere=
nces,
and also position papers, challenges, system descriptions and speculative w=
ork.