Representing and Solving Computational Search Problems
FINAL CALL FOR SUBMISSIONS
July 18, 2014 · Vienna, Austria
http://vsl2014.at/lash/
Also available as PDF.
The purpose of the LaSh workshops is to foster communication between researchers interested in languages and methods for representing and solving computationally challenging search problems. LaSh welcomes contributions from researchers who study relevant logics, build or apply logic-based solvers, or are interested in understanding and analyzing similarities and differences among the various approaches.
Please see the LaSh 2014 Overview, or the LaSh home page, for further details.
To encourage communication across areas, LaSh is a non-archival meeting. In addition to new technical work, we welcome presentation of relevant material which has appeared at area-specific meetings or general conferences, and also position papers, challenges, system descriptions and speculative work
Important Dates
| Submission | May 15, 2014 (extended) |
| Notification | May 21, 2014 (revised) |
| Final version | May 27, 2014 (revised) |
| Workshop | July 18, 2014 |
Program Committee
- David Bergman (Carnegie Mellon University)
- Marc Denecker (K.U.Leuven) - chair
- Wolfgang Faber (University of Calabria)
- Alan Frisch (University of York)
- Marijn Heule (The University of Texas at Austin)
- Tomi Janhunen (Aalto University)
- Matti Järvisalo (University of Helsinki)
- Ian Miguel (University of St Andrews)
- David Mitchell (Simon Fraser University) - chair
- Emilia Oikarinen (Aalto University) - chair
- Shahab Tasharrofi (Simon Fraser University)
- Eugenia Ternovska (Simon Fraser University)
- Mirek Truszczynski (University of Kentucky)
Confirmed Speakers
- Plenary: Konstantin Korovin, University of Manchester
- Tomi Janhunen, Aalto University
- Stefan Woltran, TU Wien
Paper Submissions
Submissions should be at most 15 pages, in LNCS format, and may be full papers or extended abstracts. Authors should indicate whether the submission contains previously published work or not. Please submit to Easychair (https://www.easychair.org/conferences/?conf=lash2014).
General questions should be sent to lash2014@easychair.org.
Location
The workshop will be held in Vienna, Austria, collocated with the 30th International Conference on Logic Programming (ICLP 2014) and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014).