[Om-announce] [logic-programming] CFP: International Workshop on User-Oriented Logic Programming (IULP 2015)

[Ian Miguel]

                             Call for Papers

-------------------------------------------------------------------------

                         *** IULP 2015 ***

      International Workshop on User-Oriented Logic Programming
                            August 31, 2015

                          Collocated with the
    31st International Conference on Logic Programming (ICLP 2015)
                             Cork, Ireland
                      August 31 - September 4, 2015

-------------------------------------------------------------------------

Since the emergence of the field of logic programming more than 30 years ago, a lot of theoretical work has been done,
for example with respect to different semantics and their properties.
More recently, implementations and IDEs emerged which have been used for various problem-solving applications.
However, user-friendliness is still an issue for both experts and non-experts in logic programming;
for example experts benefit from features like debugging and heuristic tuning, non-experts from educational material and intuitive visualisations - all of which are ongoing topics of research.

The International Workshop of User-Oriented Logic Programming (IULP) focuses on discussing different aspects involved in making logic programming more user-friendly/oriented,
where the "user" could be either a logic programming expert, or a non-expert who simply uses logic programming tools in some application.
IULP aims to bring together researchers from different sub-areas of logic programming, such as answer set programming, constraint logic programming,
probabilistic logic programming, abductive logic programming, inductive logic programming, argumentation etc.,
as user-friendliness is an important topic in all of these sub-areas.

IULP aims to provide an international forum for researchers in the AI, KR, and applied sciences community to discuss and present advances in theories,
formalisms, and applications to deliver the mature and well-defined methods of logic programming to a wider audience.
Topics of interest include but are not limited to:

We solicit the submission of papers broadly centred on issues and research related to user-friendliness in logic programming and related fields.
We welcome papers of either theoretical or practical nature including work in progress.


IMPORTANT DATES
-------------------------------------------------------------------------
* Papers due: Wed, 10th June 2015
* Notification to authors: Fri, 10th July 2015
* Camera ready version due: Fri, 24th July 2015
* Workshop date: Mon, 31st August 2015


TOPICS
-------------------------------------------------------------------------
Topics of interest include (but are not limited to):
 * IDEs
 * debugging
 * explanations
 * visualisation
 * best practice
 * modularity
 * usage of natural language
 * heuristic tuning
 * LP education
 * language extensions


SUBMISSIONS
-------------------------------------------------------------------------
Papers must be formatted in Springer LNCS style (http://www.springer.com/lncs) and should not exceed 15 pages (excluding references and appendices).
All submissions have to be written in English and submitted electronically as a PDF through easychair (http://easychair.org/conferences/?conf=iulp15).

We encourage the submission of original research in the area as well as relevant results that have been submitted
or accepted elsewhere provided that the initial publication is mentioned in a footnote on the first page.

Note that authorship is not anonymous and that at least one author of each accepted paper is required to attend the workshop to present the contribution.


PROCEEDINGS
-------------------------------------------------------------------------
There are no formal proceedings for IULP.
The accepted papers will be published as a technical report and will be made available in the CoRR Computing Research Repository.

The copyright of the papers lies with the authors and, as far as IULP is concerned, authors are free to submit their work to other conferences and workshops.


COMMITTEE
-------------------------------------------------------------------------
Chairs:
* Stefan Ellmauthaler (Leipzig University)
* Claudia Schulz (Imperial College London)

Program Committee
* Dalal Alrajeh (Imperial College London)
* Bart Bogaerts (KU Leuven)
* Pedro Cabalar (Corunna University)
* Günther Charwat (Vienna University of Technology)
* Marina De Vos (University of Bath)
* Esra Erdem (Sabanci University)
* Sarah Alice Gaggl (TU Dresden)
* Martin Gebser (Aalto University)
* Antonis C. Kakas (University of Cyprus)
* Enrico Pontelli (New Mexico State University)
* Jörg Pührer (Leipzig University)
* Francesco Ricca (University of Calabria)
* Kostyantyn Shchekotykhin (University of Klagenfurt)
* Guillermo R. Simari (Universidad Nacional del Sur)
* Hans Tompits (TU Wien)


CONTACT
-------------------------------------------------------------------------
iulp15 [at] easychair [dot] org


HOMEPAGE
-------------------------------------------------------------------------
http://iulp2015.uni-leipzig.de


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20150411/dabb957e/attachment-0001.html>
-------------- next part --------------
_______________________________________________
logic-programming mailing list
logic-programming at lists.picat-lang.org
http://lists.picat-lang.org/mailman/listinfo/logic-programming