posted by user: dgmitchell || 1211 views || tracked by 1 users: [display]

LaSh 2018 : LaSh 2018 Workshop on Logic and Search

FacebookTwitterLinkedInGoogle

Link: http://www.logicandsearch.org/LaSh2018/
 
When Jul 18, 2018 - Jul 19, 2018
Where Oxford, UK
Submission Deadline Apr 23, 2018
Notification Due May 12, 2018
Final Version Due May 20, 2018
Categories    logic   computer science   knowledge representation   artificial intelligence
 

Call For Papers


Call for Contributions

LaSh 2018 Workshop on Logic and Search,

A FLoC 2018 Workshop, July 18 and 19, 2018, Oxford UK
http://www.logicandsearch.org/LaSh2018/

The LaSh Workshops on Logic and Search are devoted to the study, from
the point of view of logic, of declarative languages for defining or
representing search and optimization problems, problem-solving systems
that use these languages, and related issues regarding reductions,
search algorithms, problem transformations, and others. There will be
a special session on practical MSO Model Checking.

Topics of Interest include:
Descriptive Complexity: esp. over interesting classes of structures
Specification and Modelling Languages: Design, Analysis, Application
Reductions: e.g., theory of good reductions
Structural Properties of Instances: tractabible families
Reformulation and Specifiction-Level Reasoning
Declarative Dynamic Programming
Grounding: e.g., Efficient, Lazy and incremental grounding
Modularity and Compositionality in languages and systems
Ground Languages and Solvers SAT; SMT; ASP; ILP; etc.
Applications and System Descriptions

MSO Model Checking Session Confirmed Talks:
- MSO Model Checking with Fly Automata
Bruno Courcelle & Irene Durand
- Practical algorithms for MSO model-checking on tree-decomp. graphs
Peter Rossmanith
- Lazy Automata Techniques for WS1S.
(Tomas Vojnar, tentative)

Important Dates
Submission: April 23.
Notification: May 12.
Workshop: July 18, 19.

Those interested in presenting at LaSh should submit a paper or extended
abstract (pdf), on EasyChair (easychair.org/conferences/?conf=lash2018),
or email organizers at lash2018@easychair.org, no later than April 23.

Program Committee
Bart Bogaerts, KU Leuven
Alan Frisch, University of York
Marijn Heule, UT Austin
Neil Immerman, University of Massachusetts
Sima Jamali, SFU
David Mitchell, SFU
Peter Rossmanith, RWTH Aachen University
Mirek Truszczynski, University of Kentucky
Stefan Woltran, TU Wein
...

Organizers
David Mitchell, SFU
Bart Bogaerts, KUL
Sima Jamali, SFU

Steering Committee
Marc Denecker, Katholieke Universitat Leuven
Victor Marek, University of Kentucky
David Mitchell, Simon Fraser University
Eugenia Ternvoska, Simon Fraser University
Mirek Truszczynski, University of Kentucky

Related Resources

WSDM 2019   WSDM 2019: The 12th ACM International Conference on Web Search and Data Mining
IJCAI 2019   International Joint Conference on Artificial Intelligence
WSDM 2018   The 11th ACM International Conference on Web Search and Data Mining
ICML 2019   36th International Conference on Machine Learning
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
IEEE Big Data 2018   2018 IEEE International Conference on Big Data
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial 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
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
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