LaSh 2012 - The Fourth International Workshop on Logic and Search

LaSh'2012
Fourth Workshop on Logic and Search
August 27, 2012, Montpellier
www.logicandsearch.org/LaSh2012
An ECAI 2012 Workshop

Recently, strong progress was made in various areas concerned with
search problems. Such problems arise in virtually all application
domains and branches of computer science. Fueled by the availability
of powerful solver technologies developed in areas such as SAT,
Constraint Programming, Integer Programming, ASP, SMT and others,
several important developments take place. One trend is an
exponentially growing diversification of the application fields of
these solvers: system configuration, timetabling, job scheduling,
planning, software and hardware verification, bioinformatics, music
composition, etc. On the level of solvers, a trend is integration of
technologies. Architectures are developed that allow to combine these
technologies into flexible, configurable systems that solve much
broader classes of problems more effectively. On the modeling level, we
see the emergence of increasingly expressive modeling languages, as
witnessed in Constraint Programming, SMT and ASP.
The goal of the LaSh workshops is to bring together researchers from
all relevant areas to foster the exchange and development of ideas in
both theory and practice of logic-based methods for combinatorial
problem solving. LaSh is an occasion to discuss specific technical
problems, formulate challenges and opportunities, compare and contrast
techniques of different groups, and examine possible synergies and
integrations. LaSh 2012 follows LaSh 2006, an ICLP workshop at FLoC
2006 (www.easychair.org/FLoC-06/LaSh.html), LaSh 2008, two day
stand-alone workshop (www.cs.kuleuven.be/~dtai/LaSh08), and LaSh 2010,
a satellite workshop of FloC 2010 and ICLP, Edinburgh, UK
(http://logicandsearch.org/LaSh2010/web/Home.html).
We invite contributions to modeling languages, methodology, theory,
algorithms and systems. To facilitate discussion of the most relevant
current research, we welcome submission of previously-published
research as well as new work.
Topics of interest include, but are not limited to:
* modeling languages and techniques
* logics
* modularity in languages and solvers
* solver design and implementation
* integration of solver technologies
* expressiveness and complexity
* algorithms for grounding and solving
* logics-based methods for optimization problems
* new applications
* system descriptions
* experimental evaluations
LaSh 2012 will feature invited talks, technical paper sessions, a
special session on integration and modularity, a demo session, and a
panel/open problem session.
SPECIAL SESSION ON SYSTEM INTEGRATION AND EXPLOITING MODULARITY
Modularity is essential for modelling languages as it enables to
master the description of complex systems and domains by
splitting in smaller parts and composing descriptions of the whole
domain from smaller independent components. Modularity issues are
also essential in the implementation of systems. Model generators,
model expanders, answer set programming systems, constraint systems,
SMT solvers are developed for increasingly rich languages and include
more and more different technologies from SAT, CP and ASP to handle
specific language constructs. Integrating these technologies in one
system and/or tuning the solver to use the appropriate technology for
a set of expressions in a particular application is a challenging
problem.
So far, these aspects have been given only limited attention. Not much
work on this topic has been published. The goal of this special
session is to begin to improve this situation.
PROCEEDINGS
The workshop proceedings will be informal and electronic.
SUBMISSIONS
We welcome submissions of three kinds:
* Regular technical papers, presenting previously unpublished research;
* Short papers (system descriptions; work in progress; position papers);
* Presentation-only papers, presenting research that is highly relevant
but which will have previously been presented elsewhere. (Authors
may elect to have such papers excluded from the proceedings.)
At the time of submission, authors are requested to clearly specify
whether their submission is new or previously published, by adding
(New Work) or (Presentation Only) as an additional line in the paper
title.
Each submissions will be reviewed by at least two members of the
program committee.
Submissions may be in any common format, such as LNCS, AAAI and
Easychair. We prefer that submissions not exceed the equivalent
of 15 LNCS pages (5 pages for short papers). Authors should submit
a PDF file via Easychair, at
http://www.easychair.org/conferences/?conf=lash201...
IMPORTANT DATES
Paper Submission: 28 May, 2012
Notification of Acceptance: 28 Jun, 2012
Camera Ready Deadline: 6 August, 2012
Workshop: 27 August
CONFERENCE ORGANIZERS
Marc Denecker, KU Leuven, Belgium
Tomi Janhunen, Aalto University, Finland
PROGRAM COMMITTEE
Armin Biere, Johannes Kepler University
Koen Claessen, Chalmers University of Technology
Adnan Darwiche, University of California, Los Angeles
Leonardo de Moura, Microsoft
Thomas Eiter, Vienna University of Technology
Wolfgang Faber, University of Calabria
Alan Frisch, University of York
Enrico Giunchiglia, University of Genova
Daniel LeBerre, Universite d'Artois
Ines Lynce, INESC-ID Lisboa
Pierre Marquis, Universite d'Artois
Tony Mancini, Sapienza Universita di Roma
David Mitchell, Simon Fraser University
Albert Oliveras Technical University of Catalonia
Barry O'Sullivan, University College Cork
Jussi Rintanen, Australian National University
Torsten Schaub, Universitat Potsdam
Eugenia Ternovska, Simon Fraser University
Mirek Truszczynski, University of Kentucky
Emina Torlak, LogicBlox
Victor Marek, University of Kentucky
Toby Walsh, University of New South Wales
Workshop Co-Chairs
Marc Denecker
KU Leuven
Leuven
Belgium
tel. : 32 (0)16/327557
fax : 32 (0)16/327996
mail : Marc.Denecker-AT-cs.kuleuven.ac.be
http://www.cs.kuleuven.ac.be/~marcd/
Tomi Janhunen
Aalto University
Helsinki
Finland
tel: +358 9 470 23255
Fax: +358 9 470 23369
mail : Tomi.Janhunen-AT-aalto.fi
http://users.ics.tkk.fi/ttj/