Workshop on Logic and Search
When : 2017-08-28
Where : Melbourne, Australia
Submission Deadline : 2017-08-06
Categories : Education , Ecology
Workshop on Logic and Search(LaSh 2017)
Call for Papers:
Sh 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.
Paper Submission
Researchers interested in giving a 20 or 30 minute talk should submit a proposal, in the form either of a talk abstract, or a full paper in any common format, by email to dgm@sfu.ca, with the subject LaSh 2017 Submission. In the case of a paper, please indicate if it is new work or not.
IMPORTANT DATES:
- Submission: August 6, 2017
- Notification: August 12, 2017
- Workshop: August 28, 2017
User Name : srav
Posted 02-08-2017 on 10:48:34 AEDT