![]() |
| |||||||||||||
LaSh 2017 : LaSh 2017 Workshop on Logic and Search | |||||||||||||
Link: http://LogicAndSearch.org/LaSh2017/ | |||||||||||||
| |||||||||||||
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 |
|