posted by organizer: ellmau || 1034 views || tracked by 3 users: [display]

IULP 2015 : International Workshop on User-Oriented Logic Programming


When Aug 31, 2015 - Aug 31, 2015
Where Cork, Ireland
Submission Deadline Jun 10, 2015
Notification Due Jul 10, 2015
Final Version Due Jul 24, 2015
Categories    logic programming

Call For Papers

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
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 heurist 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 pro-
gramming more user-friendly/oriented, where the "user" could be either a
logic programming expert, or a non-expert who simply uses logic pro-
gramming tools in some application. IULP aims to bring together re-
searchers 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.

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

* 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 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

Papers must be formatted in Springer LNCS style
( 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

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

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

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

* 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)

iulp15 [at] easychair [dot] org


Related Resources

ILP 2017   Inductive Logic Programming conference
IUI 2017   22nd ACM International Conference on Intelligent User Interfaces
CILC 2017   32nd Italian Conference on Computational Logic
OOPSLA 2017   Conference on Object-Oriented Programming Systems, Languages, and Applications
ICLP 2017   The 33rd International Conference on Logic Programming
VL/HCC 2017   IEEE Symposium on Visual Languages and Human-Centric Computing
SYNASC 2017   19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
TTCS 2017   Topics in Theoretical Computer Science
CENTRIC 2017   The Tenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
IUI 2017   Intelligent User Interfaces