posted by organizer: dgmitchell || 1907 views || tracked by 1 users: [display]

LaSh 2017 : LaSh 2017 Workshop on Logic and Search

FacebookTwitterLinkedInGoogle

Link: http://LogicAndSearch.org/LaSh2017/
 
When Aug 28, 2017 - Aug 28, 2017
Where Melbourne, Australia
Submission Deadline Aug 6, 2017
Notification Due Aug 12, 2017
Categories    logic   search   computer science   declarative problem solving
 

Call For Papers

Final Call for Contributions:

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.

Confirmed Speakers:
John Hooker, CMU
Victor Lagerqvist, TU Dresden
Bernhard Bliem, TU Wien

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: Sunday August 6,
- Notification: Saturday August 12,
- Workshop: Monday August 28.

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.
LaSh does not have a formal publication. Accepted presentations will
be posted on the workshop homepage.

Organizer Contact:
Please send enquiries to David Mitchell at dgm@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
Peter Rossmanith, RWTH Aachen
Shahab Tasharrofi, Aalto University
Eugenia Ternovska, Simon Fraser University
Mirek Truszczynski, University of Kentucky
Stefan Woltran, TU Wien

Related Resources

WSDM 2019   WSDM 2019: The 12th ACM International Conference on Web Search and Data Mining
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
WSDM 2019   International Workshop on Web Search and Data Mining
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
WSDM Demonstrations 2019   Call for Demonstrations -- WSDM 2019: The 12th ACM International Conference on Web Search and Data Mining @ Melbourne, Australia, Feb. 11-15, 2019
ACM--ICISDM--Ei and Scopus 2019   ACM--2019 3rd International Conference on Information System and Data Mining (ICISDM 2019)--Ei Compendex and Scopus
WSDM Tutorials 2019   Call for Tutorials -- WSDM 2019: The 12th ACM International Conference on Web Search and Data Mining @ Melbourne, Australia, Feb. 11-15, 2019
MLAIJ 2019   Machine Learning and Applications: An International Journal
Task Intelligence - WSDM 2019   Task Intelligence Workshop at WSDM 2019
ESIDA 2019   ACM IUI Workshop on Exploratory Search and Interactive Data Analytics