Call for Contributions, LaSh Workshop on Logic and Search at FLoC

[David Mitchell]

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 at 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 
---------- 
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20180408/cdda6347/attachment.html>