posted by user: dgmitchell || 24568 views || tracked by 6 users: [display]

LaSh 2016 : Fifth Workshop on Logic and Search

FacebookTwitterLinkedInGoogle

Link: http://www.logicandsearch.org/LaSh2016/
 
When Oct 17, 2016 - Oct 17, 2016
Where New York City
Submission Deadline Aug 20, 2016
Categories    logic   computer science   knowledge representation   artificial intelligence
 

Call For Papers


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

Related Resources

WSDM 2020   ACM International Conference on Web Search and Data Mining
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
WSDM 2021   14th ACM Conference on Web Search and Data Mining
JSE 2020   9th International Conference on Software Engineering and Applications
ICLP 2020   The 36th International Conference on Logic Programming
COMIT 2020   4th International Conference on Computer Science and Information Technology
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
MCS 2020   Monte Carlo Search 2020, IJCAI Workshop