Call for Presentations: LaSH 2017 Workshop on Logic and Search

[David Mitchell]

First Call for Presentations: 
LaSh 2017 Workshop on Logic and Search 

Affiliated with SAT, CSP and ICLP 2017 
August 28 2017, Melbourne, Australia 
LogicAndSearch.org/LaSh2017 

LaSh brings together researchers interested in logic-based methods for 
representing and solving search and optimization problems. The main 
areas of interest include logics and declarative system languages for 
specifying search problems; design and construction of solvers and 
grounders; ground languages and solvers; theoretical analyses of languages 
and algorithms; application and experimental evaluation of systems. 

LaSh emphasizes discussion and exchange of ideas among researchers with 
related interests who may not normally attend the same major conferences. 
We welcome summaries or surveys of a body of work, new technical work, 
presentation of speculative work and challenge or position talks. 

Topics of interest 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. 

Researchers interested in giving a 20 to 30 minute talk should submit a 
proposal, in the form either of a 1 or 2 page pdf abstract, or a full paper 
in any common format. Submissions should be sent by email to dgm at sfu.ca, 
with the subject LaSh 2017 Submission. In the case of a paper, please 
indicate if it is new work or not. All submissions will be reviewed 
by PC members. 

LaSh does not have a formal publication. Accepted presentations will 
be posted on the workshop homepage. 

IMPORTANT DATES (AoE): 
* Submission: Wednesday July 12 
* Notification: Wednesday July 19 
* Final version: Monday 15 May 2017 
* Workshop: Monday June 19 2017 

Organizer Contact: 
Please send enquiries to David Mitchell at dgm at sfu.ca. 

Program Committee: 
Bart Bogaerts, KU Leuven 
Marc Denecker, KU Leuven 
Marijn Heule, University of Texas at Austin 
Tomi Janhunen, Aalto University 
Victor Marek, University of Kentucky 
David Mitchell, Simon Fraser University 
Shahab Tasharrofi, Aalto University 
Eugenia Ternovska Simon Fraser University 
Mirek Truszczynski, University of Kentucky 
Stefan Woltran, TU Wien 
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20170628/f232e204/attachment.html>