[Hol-info] Call for Workshop Proposals: International Conference on Logic Programming and Nonmonotonic Reasoning, Espoo, Finland, July 3-6, 2017

[Peter S. <pet...@ma...>]

Call for Workshop Proposals
 
14th International Conference on Logic Programming and Nonmonotonic Reasoning
 
Espoo, Finland, July 3 - 6, 2017
 
URL: http://lpnmr2017.aalto.fi
 
The 14th International Conference on Logic Programming and Nonmonotonic Reasoning will be held in Espoo, Finland from July 3 to 6, 2017. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. Workshops collocated with LPNMR are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems regarding the topics of LPNMR, which include, but not limited to:
 
1. Foundations of LPNMR Systems:
   * Semantics of new and existing languages;
   * Action languages, causality;
   * Formalization of Commonsense Reasoning and understanding its laws and nature;
   * Relationships among formalisms;
   * Complexity and expressive power;
   * Inference algorithms and heuristics for LPNMR systems;
   * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities;
   * Updates, revision, and other operations on LPNMR systems;
   * Uncertainty in LPNMR systems.
 
 2. Implementation of LPNMR systems:
   * System descriptions, comparisons, evaluations;
   * Algorithms and novel techniques for efficient evaluation;
   * LPNMR benchmarks.
 
 3. Applications of LPNMR:
   * Use of LPNMR in Commonsense Reasoning and other areas of KR;
   * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision-making, and policies;
   * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking;
   * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences;
   * Integration of LPNMR systems with other computational paradigms;
   * Embedded LPNMR: Systems using LPNMR subsystems.
 
 
Collocated workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration.  The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. We expect the workshops to be on July 3, 2017.
 
Workshop Proposal:
==================
Those interested in organizing a workshop at LPNMR 2017 are invited to submit a workshop proposal. Proposals should be in English and about 1-2 pages in length. They should contain:
 
* The title of the workshop
* A brief technical description of the topics covered by the workshop
* A discussion of the timeline and relevance of the workshop
* A list of some related workshops held in the recent years
* An estimate of the number of expected attendees
* The names, affiliation, and contact details (email, web page) of the workshop organizer(s) together with a designated contact person
* The previous experience of the workshop organizing committee in workshop/conference organization
 
Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Joohyung Lee,  jo...@as...) by email no later than

   December 20, 2016.
 
Reviewing Process:
==================
Each submitted proposal will be reviewed by the Workshop Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and the scope of LPNMR will be selected. The decision will be notified by email to the responsible organizer by December 27, 2016.
 
Workshop Organizers' Tasks:
===========================
* Producing a "Call for Papers" for the workshop and posting it on the Internet and other means
* Providing a brief description of the workshop for the conference program
* Reviewing/accepting submitted papers
* Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair
* Sending workshop program and workshop proceedings in pdf format to the Workshop Chair for distribution at the conference

(Apologies if you receive multiple copies of this email. Please distribute to interested parties.)