VSL 2014: VIENNA SUMMER OF LOGIC 2014
LaSh Call for Papers

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

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).