Kein Betreff

described in logical terms or not, we have languages which define some=0A=
class of structures, and systems whose purpose is to compute structures=0A=
in the class.  Logic may be seen as an explicit basis for building systems,=
=0A=
as an analytic tool, or as a formal approach to viewing the diversity of=0A=
systems more uniformly.=0A=
=0A=
Topics of interest include, but are not limited to:=0A=
=0A=
    - Logics relevant to the study of search and optimization problems=0A=
    - Languages for specifying or modelling search or optimization problems=
=0A=
    - Reasoning about or with specifications of search problems=0A=
    - Grounding and related language transformation methods=0A=
    - Expressiveness and complexity of logics and languages=0A=
    - Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc.=0A=
    - New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc=
.=0A=
    - Design of systems, solvers, and related tools=0A=
    - Approximation, tractable problem classes, etc.=0A=
    - Proof systems and inference methods underlying solvers.=0A=
    - Comparisons of different languages or methods=0A=
    - Interesting applications, either as case studies or challenges=0A=
    - Benchmark problems and instance collections=0A=
=0A=
CONFIRMED SPEAKERS=0A=
=0A=
Plenary: Konstantin Korovin, University of Manchester=0A=
=0A=
Tomi Janhunen, Aalto University=0A=
Stefan Woltran, TU Wien=0A=
=0A=
IMPORTANT DATES=0A=
=0A=
Submission:  May 15 (Extended)=0A=
Notification:   May 21 (Revised)=0A=
Final Versions: May 27 (Revised)=0A=
Workshop: July 18=0A=
=0A=
ORGANIZERS=0A=
=0A=
Marc Denecker, KU Leuven=0A=
David Mitchell, Simon Fraser University=0A=
Emilia Oikarinen, Aalto University=0A=
=0A=
PROGRAM COMMITTEE=0A=
=0A=
David Bergman (University of Connecticut)=0A=
Marc Denecker (K.U.Leuven) - chair=0A=
Alan Frisch (University of York)=0A=
Wolfgang Faber (University of Huddersfield)=0A=
Marijn Heule (The University of Texas at Austin)=0A=
Tomi Janhunen (Aalto University)=0A=
Matti J=E4rvisalo (University of Helsinki)=0A=
Ian Miguel (University of St Andrews)=0A=
David Mitchell (Simon Fraser University) - chair=0A=
Emilia Oikarinen (Aalto University) - chair=0A=
Shahab Tasharrofi (Simon Fraser University)=0A=
Eugenia Ternovska (Simon Fraser University)=0A=
Mirek Truszczynski (University of Kentucky)=0A=
=0A=
SUBMISSION INFORMATION=0A=
=0A=
To encourage communication across areas, LaSh is a non-archival meeting.=0A=
In addition to new technical work, we welcome presentation of relevant mate=
rial=0A=
which has appeared at conferences area-specific meetings or general confere=
nces,=0A=
and also position papers, challenges, system descriptions and speculative w=
ork.=0A=