[logic-ml] 2nd CFP: 3rd International Workshop on User-Oriented Logic Paradigms

[Christos Rodosthenous]

        *** IULP 2019 ***
        3rd International Workshop on User-Oriented Logic Paradigms
        June 3 or 4, 2019
        
        https://iulp2019.uni-leipzig.de
        
        Collocated with the
        15th International Conference on Logic Programming and
        Nonmonotonic Reasoning (LPNMR 2019)
        Philadelphia, USA
        June 4 - 6, 2019
        --------------------------------------------
        
        Since the emergence of logic reasoning paradigms, such as logic programming,
        argumentation, and other non-monotonic reasoning formalisms,
        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 working with logic paradigms; for example experts benefit from
        features like debugging and heuristic tuning, non-experts from educational
        material, explanations, and intuitive visualisations - all of which are ongoing
        topics of research.
        
        The 3rd International Workshop of User-Oriented Logic Paradigms (IULP)
        focuses on discussing different aspects involved in making logic paradigms more
        user-friendly/oriented, where the "user" could be either an expert of the
        paradigm, or a non-expert who simply uses tools developed for the paradigm in
        some application.
        IULP aims to bring together researchers working on different logic paradigms,
        such as answer set programming, constraint logic programming,
        probabilistic logic programming, abductive logic programming,
        inductive logic programming, argumentation, principles of teaching etc., as user-
        friendliness is an important topic in all of these 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 paradigms to a wider audience.
        
        We solicit the submission of papers broadly centred on issues and
        research related to user-friendliness in logic paradigms and related
        fields.
        We welcome papers of either theoretical or practical nature, including
        work in progress.
        
        
        IMPORTANT DATES
        --------------------------------------------
        * Submission deadline: Sun, March 31st 2019
        * Notification to authors: Mon, April 29th 2019
        * Camera-ready version due: Mon, May 20th 2019
        * Workshop date: June 3 or 4, 2019
        
        
        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
         * transparency
         * algorithmic bias
         * credibility
         * accountable systems
        
        
        SUBMISSIONS
        --------------------------------------------
        Papers must be formatted in Springer LNCS style
        (http://www.springer.com/lncs) and should not exceed 13 pages (excluding
        references and appendices). All submissions have to be written in English
        and submitted electronically as a PDF through easychair
        (https://easychair.org/conferences/?conf=iulp2019).
        
        A short system demonstration version which should not exceed 6 pages
        (excluding references and appendices) can be submitted electronically too.
        
        We encourage the submission of original research on all topics 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 Computing Research Repository (CoRR).
        
        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)
        * Christos Rodosthenous (Open University of Cyprus)
        
        Program Committee
        * Bart Bogaerts (Vrije Universiteit Brussel)
        * Gerhard Brewka (Leipzig University)
        * Marina De Vos (University of Bath)
        * Marc Denecker (Katholieke Universiteit Leuven)
        * Martin Gebser (Potsdam University)
        * Antonis C. Kakas (University of Cyprus)
        * Antonio Lieto (University of Turin)
        * Loizos Michael (Open University of Cyprus)
        * Yisong Wang (Guizhou University)
        * Stefan Woltran (Vienna University of Technology)
        
        
        CONTACT
        --------------------------------------------
        iulp2019 [at] informatik [dot] uni-leipzig [dot] de
        
        
        HOMEPAGE
        --------------------------------------------
        https://iulp2019.uni-leipzig.de
        
    
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4190 bytes
Desc: not available
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20190319/e3da946d/attachment.bin>