LaSh 2016 Workshop on Logic and Search: 2nd Call for Contributions

[David Mitchell]

Call for Contributions 

LaSh 2016 - The Fifth Workshop on Logic and Search. 

Monday October 17, 2016, New York City 
www.logicandsearch.org/LaSh2016 
An ICLP 2016 Workshop 

The LaSh Workshops on Logic and Search are devoted to scientific exchange 
between researchers interested in the theory and practice of logic-based 
problem solving. The workshop focuses on representational and algorithmic 
issues in specifying or modelling and solving computationally challenging 
search and optimization problems of a combinatorial nature. 

Researchers interested in presenting their work should contact the organizers 
by email (mitchell at cs dot sfu dot ca or lash2016 at easychair dot org), or 
submit a paper or extended abstract, via EasyChair, by September 12 (revised). 

LaSh emphasizes discussion and exchange of ideas among researchers with 
related interests who may not normally attend the same major conferences. 
Thus, along with new technical work, we welcome presentation of speculative 
work, research summaries, relevant work that is previously published, 
comparisons of different approaches and challenge or position papers. 

Central topics include: 
- Logics and representation languages for high-level problem specification; 
- Model finders and ground solvers (e.g., SAT, ASP and SMT solvers etc.); 
- Grounding and grounding-based solving systems; 
- Modularity, compositionality and integration of heterogeneous solvers; 
- Pre-processing and automated reasoning over specifications; 
- Distributed and parallel solving; 
- Declarative solver construction and meta-programming; 
- Exploitation of problem and instance structure; 
- Recent developments in tools or applications. 

Important Dates: 

Submission Deadline: September 12 
Notification: September 17 
Workshop: October 17 

Submission page: https://easychair.org/conferences/?conf=lash2016 

Organizers: 
David Mitchell, Simon Fraser University 
Shahab Tasharrofi, Aalto University 
Sima Jamali, Simon Fraser University 

Program Committee: 
Sima Jamali, Simon Fraser University 
Victor Marek, University of Kentucky 
David Mitchell, Simon Fraser University 
Shahab Tasharrofi, Aalto University 
Eugenia Ternovska Simon Fraser University 
Mirek Truzczynski, University of Kentucky 
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20160906/5f3a1c80/attachment.html>