[PlanetKR] CFP: Fourth Workshop on Logic and Search

Mary-Anne Williams Mary-Anne at TheMagicLab.org
Wed Apr 25 17:08:03 EST 2012


                      SECOND CALL FOR PAPERS


                Fourth Workshop on Logic and Search

                    August 27, 2012, Montpellier


                       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

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.


Konstantin Korovin, University of Manchester, United Kingdom
(To be extended)


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

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.


The workshop proceedings will be informal and electronic.


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

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



Paper Submission: 28 May, 2012
Notification of Acceptance: 28 Jun, 2012
Camera Ready Deadline: 6 August, 2012
Workshop: 27 August, 2012


Marc Denecker, KU Leuven, Belgium
Tomi Janhunen, Aalto University, Finland


Armin Biere, Johannes Kepler University, Austria
Koen Claessen, Chalmers University of Technology, Sweden
Adnan Darwiche, University of California, Los Angeles, USA
Leonardo de Moura, Microsoft, USA
Thomas Eiter, Vienna University of Technology, Austria
Wolfgang Faber, University of Calabria, Italy
Alan Frisch, University of York, United Kingdom
Enrico Giunchiglia, University of Genova, Italy
Daniel LeBerre, Universite d'Artois, France
Ines Lynce, INESC-ID Lisboa, Portugal
Pierre Marquis, Universite d'Artois, France
Tony Mancini, Sapienza Universita di Roma, Italy
David Mitchell, Simon Fraser University, Canada
Albert Oliveras, Technical University of Catalonia, Spain
Barry O'Sullivan, University College Cork, Ireland
Jussi Rintanen, Australian National University, Australia
Torsten Schaub, Universitat Potsdam, Germany
Eugenia Ternovska, Simon Fraser University, Canada
Mirek Truszczynski, University of Kentucky, USA
Emina Torlak, LogicBlox, USA
Victor Marek, University of Kentucky, USA
Toby Walsh, University of New South Wales, Australia


Marc Denecker
KU Leuven
tel: +32 (0)16/327557
fax: +32 (0)16/327996
mail: Marc.Denecker at cs.kuleuven.ac.be

Tomi Janhunen
Aalto University
tel: +358 9 470 23255
Fax: +358 9 470 23369
mail: Tomi.Janhunen at aalto.fi

Professor Mary-Anne Williams
Associate Dean (Research and Development)
Director, Innovation and Enterprise Research Lab
Faculty of Engineering and Information Technology
University of Technology, Sydney
Research and Development Office
Building 2 Level 7 Room 7092
*P.O. 123 Broadway NSW 2007 Australia
Phone: + 61 2 9514 2663 (Gunasmin)
Facsimile: + 61 2 9514 2868
eMail: Mary-Anne at TheMagicLab.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20120425/23e169f4/attachment-0001.html 

More information about the PlanetKR mailing list