2nd CFP: 3rd International Workshop on User-Oriented Logic Paradigms

--===============0711516618776539801==
Content-Language: en-US
Content-Type: multipart/signed; protocol="application/pkcs7-signature";
	micalg=sha256; boundary="B_3635837606_1739517922"

--B_3635837606_1739517922
Content-type: text/plain;
	charset="UTF-8"
Content-transfer-encoding: 7bit

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

--B_3635837606_1739517922
Content-Type: application/pkcs7-signature; name="smime.p7s"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="smime.p7s"

MIIQWgYJKoZIhvcNAQcCoIIQSzCCEEcCAQExDzANBglghkgBZQMEAgEFADALBgkqhkiG9w0B
BwGggg4LMIIFSDCCBDCgAwIBAgIQCy7yYU5pVblj1fB01kxWcjANBgkqhkiG9w0BAQ0FADBp
MQswCQYDVQQGEwJOTDEWMBQGA1UECBMNTm9vcmQtSG9sbGFuZDESMBAGA1UEBxMJQW1zdGVy
ZGFtMQ8wDQYDVQQKEwZURVJFTkExHTAbBgNVBAMTFFRFUkVOQSBQZXJzb25hbCBDQSAzMB4X
DTE3MDEwOTAwMDAwMFoXDTIwMDEwOTEyMDAwMFowdTELMAkGA1UEBhMCQ1kxETAPBgNVBAgT
CExlZmtvc2lhMQ8wDQYDVQQHEwZMYXRzaWExIjAgBgNVBAoTGU9wZW4gVW5pdmVyc2l0eSBv
ZiBDeXBydXMxHjAcBgNVBAMTFUNocmlzdG9zIFJvZG9zdGhlbm91czCCASIwDQYJKoZIhvcN
AQEBBQADggEPADCCAQoCggEBAMr5SjnFYDwiw8AjNpaMhF/z3O08VpF8jRrMbxbH5YR2F8ox
jG3amaYS2tcLW/WhlX+qJqxStEOuQ7kSvvdVdn6kFSpwrqxw1ZS4D4+AqtJA6+KGd9dkWSFV
8RKydXj2f2AHhS5BPzvTvEMQb4487pn7btFXQHALY6Ince/pFFmrlwcykpGXA5uYGBVwXE38
Vj577yvPHNxwPaSunMhHYA622Zly5rZwtc6DQSu+5e2ZwBU6WP5kPJGZQvJKYxY6o8Xjr6rY
UTw3jGZ0SCJOinaUln17TgiGbLIWIDpqPIt8f5gT/YxSyTjoVm26d5OuW7aLJcPv0uKaZuV+
PuLTxGkCAwEAAaOCAd4wggHaMB8GA1UdIwQYMBaAFPAh6Ul3c5+Frhg76FJwFAbtQu7KMB0G
A1UdDgQWBBSn7XmTlAU3CRFeCQf2WtMqxMlzEjAMBgNVHRMBAf8EAjAAMCoGA1UdEQQjMCGB
H2NocmlzdG9zLnJvZG9zdGhlbm91c0BvdWMuYWMuY3kwDgYDVR0PAQH/BAQDAgbAMB0GA1Ud
JQQWMBQGCCsGAQUFBwMCBggrBgEFBQcDBDBDBgNVHSAEPDA6MDgGCmCGSAGG/WwEAQIwKjAo
BggrBgEFBQcCARYcaHR0cHM6Ly93d3cuZGlnaWNlcnQuY29tL0NQUzB1BgNVHR8EbjBsMDSg
MqAwhi5odHRwOi8vY3JsMy5kaWdpY2VydC5jb20vVEVSRU5BUGVyc29uYWxDQTMuY3JsMDSg
MqAwhi5odHRwOi8vY3JsNC5kaWdpY2VydC5jb20vVEVSRU5BUGVyc29uYWxDQTMuY3JsMHMG
CCsGAQUFBwEBBGcwZTAkBggrBgEFBQcwAYYYaHR0cDovL29jc3AuZGlnaWNlcnQuY29tMD0G
CCsGAQUFBzAChjFodHRwOi8vY2FjZXJ0cy5kaWdpY2VydC5jb20vVEVSRU5BUGVyc29uYWxD
QTMuY3J0MA0GCSqGSIb3DQEBDQUAA4IBAQAYtMe6vlhM7HH6zAoRtesdH09SmRr2EaXq/pme
fITvgrdDyRJIomaWFWdQML0q6Pqe6sc7gv60sWWezR+7ZAGeMcDXt8j/vhYc+V2Npkjm52De
o/OciXjcVJ+2RQIVb0hGlX125ecaM/TfbHisDvzVUthfUd/bMafGTDoG/jJPF8H8KzKDBw5X
COCDML/jFIqNKi/DfPrCghHXtSA0t1JaE3QsP7SnRY9ak1hnQArAfXw/i8ybRnPU1z5zS/Tm
pi9o+D0SGcHuEDoVhgXQjLoCtig0DdgFYFPrE7cnRODB97eq2diUcokgJzEd4dH/IetKo0iD
+ITuXJvRgXZMTQrnMIIFADCCA+igAwIBAgIQA0vuFx+34QY3L9RyQkC9KjANBgkqhkiG9w0B
AQsFADBlMQswCQYDVQQGEwJVUzEVMBMGA1UEChMMRGlnaUNlcnQgSW5jMRkwFwYDVQQLExB3
d3cuZGlnaWNlcnQuY29tMSQwIgYDVQQDExtEaWdpQ2VydCBBc3N1cmVkIElEIFJvb3QgQ0Ew
HhcNMTQxMTE4MTIwMDAwWhcNMjQxMTE4MTIwMDAwWjBpMQswCQYDVQQGEwJOTDEWMBQGA1UE
CBMNTm9vcmQtSG9sbGFuZDESMBAGA1UEBxMJQW1zdGVyZGFtMQ8wDQYDVQQKEwZURVJFTkEx
HTAbBgNVBAMTFFRFUkVOQSBQZXJzb25hbCBDQSAzMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8A
MIIBCgKCAQEAxqW7H1WC9KU0chRyZZtf1eqgaNibgolPU2Kce4zODtrUMg6vG4zLpuvb4OsD
NJTBh35TIKge+RsXin0BZhJXaF4tnC4rIahVL1NnCXjN0mkbC5NgbLgoE84fTbGIJq1F+tCh
zqu3mClWcWzxViRdpzDgbjFzbtqgV0xki3i1x5zbxt6+0y8xoNaAObXgMUBOhKPMkkniF2z+
8GQe+rq8JYedTyG6yWY5A43UFRC4ezpUz9Vjuk/x3+gbBH3hXKaGtXvjFv5cNFXrUzzx0NeR
2CmD9lmKIR8cw4gvkFMBO1GVQZafXFyKcB7g80om3OURt89J/49kkAsdA5ORTAFBKwIDAQAB
o4IBpjCCAaIwEgYDVR0TAQH/BAgwBgEB/wIBADAOBgNVHQ8BAf8EBAMCAYYweQYIKwYBBQUH
AQEEbTBrMCQGCCsGAQUFBzABhhhodHRwOi8vb2NzcC5kaWdpY2VydC5jb20wQwYIKwYBBQUH
MAKGN2h0dHA6Ly9jYWNlcnRzLmRpZ2ljZXJ0LmNvbS9EaWdpQ2VydEFzc3VyZWRJRFJvb3RD
QS5jcnQwgYEGA1UdHwR6MHgwOqA4oDaGNGh0dHA6Ly9jcmwzLmRpZ2ljZXJ0LmNvbS9EaWdp
Q2VydEFzc3VyZWRJRFJvb3RDQS5jcmwwOqA4oDaGNGh0dHA6Ly9jcmw0LmRpZ2ljZXJ0LmNv
bS9EaWdpQ2VydEFzc3VyZWRJRFJvb3RDQS5jcmwwPQYDVR0gBDYwNDAyBgRVHSAAMCowKAYI
KwYBBQUHAgEWHGh0dHBzOi8vd3d3LmRpZ2ljZXJ0LmNvbS9DUFMwHQYDVR0OBBYEFPAh6Ul3
c5+Frhg76FJwFAbtQu7KMB8GA1UdIwQYMBaAFEXroq/0ksuCMS1Ri6enIZ3zbcgPMA0GCSqG
SIb3DQEBCwUAA4IBAQA6whsr/mPeu2G0uUeo/HwFsSYgIlGbyD359cVYHrBeo7KcAkGPMRp/
zBtOHfiYfeyPCP138dvSRBBatq0JsOD8YjvUYg2e8aA8TXeK60Q0e467TikD/CfqPmodL0jj
+toZw/8z0uzUTLSMlUthtu+ygC+XyEetp4K/fOH5iYIQ79G7IxgJnrtxD9MYVLAyU+tSKABq
CgZ8QTwHoN1l7HUpuBp+27cr2pHshbWHm69ipjgUmtvD0ahkg7q+emmYSaDNnjM3Oqa5rxsM
LQM0bHObdjrCkbh1lejt2pz9itu4xmUdm4tVV9TUFLyG6VTU7sI5vl3GbbGvwACRfShpBLHg
MIIDtzCCAp+gAwIBAgIQDOfg5RfYRv6P5WD8G/AwOTANBgkqhkiG9w0BAQUFADBlMQswCQYD
VQQGEwJVUzEVMBMGA1UEChMMRGlnaUNlcnQgSW5jMRkwFwYDVQQLExB3d3cuZGlnaWNlcnQu
Y29tMSQwIgYDVQQDExtEaWdpQ2VydCBBc3N1cmVkIElEIFJvb3QgQ0EwHhcNMDYxMTEwMDAw
MDAwWhcNMzExMTEwMDAwMDAwWjBlMQswCQYDVQQGEwJVUzEVMBMGA1UEChMMRGlnaUNlcnQg
SW5jMRkwFwYDVQQLExB3d3cuZGlnaWNlcnQuY29tMSQwIgYDVQQDExtEaWdpQ2VydCBBc3N1
cmVkIElEIFJvb3QgQ0EwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQCtDhXO5EOA
XLGH87dg+XESpa7cJpSIqvTO9SA5KFhgDPiA2qkVlTJhPLWxKISKityfCgyDF3qPkKyK53lT
XDGEKvYPmDI2dsze3Tyoou9q+yHyUmHfnyDXH+Kx2f4YZNISW1/5WBg1vEfNoTb5a3/UsDg+
wRvDjDPZ2C8Y/igPs6eD1sNuRMBhNZYW/lmci3Zt1/GiSw0r/wty2p5g0I6QNcZ4VYcgoc/l
bQrISXwxmDNsIumH0DJaoroTghHtORedmTpyoeb6pNnVFzF1roV9Iq4/AUaG9ih5yLHa5FcX
xH4cDrC0kqZWs72yl+2qp/C3xag/lRbQ/6GW6whfGHdPAgMBAAGjYzBhMA4GA1UdDwEB/wQE
AwIBhjAPBgNVHRMBAf8EBTADAQH/MB0GA1UdDgQWBBRF66Kv9JLLgjEtUYunpyGd823IDzAf
BgNVHSMEGDAWgBRF66Kv9JLLgjEtUYunpyGd823IDzANBgkqhkiG9w0BAQUFAAOCAQEAog68
3+Lt8ONyc3pklL/3cmbYMuRCdWKuh+vy1dneVrOfzM4UKLkNl2BcEkxY5NM9g0lFWJc1aRqo
R+pWxnmrEthngYTffwk8lOa4JiwgvT2zKIn3X/8i4peEH+ll74fg38FnSbNd67IJKusm7Xi+
fT8r87cmNW1fiQG2SVufAQWbqz0lwcy2f8Lxb4bG+mRo64EtlOtCt/qMHt1i8b5QZ7dsvfPx
H2sMNgcWfzd8qVttevESRmCD1ycEvkvOl77DZypoEd+A5wwzZr8TDRRu838fYxAe+o0bJW1s
j6W3YQGx0qMmoRBxna3iw/nDmVG3KwcIzi7mULKn+gpFL6Lw8jGCAhMwggIPAgEBMH0waTEL
MAkGA1UEBhMCTkwxFjAUBgNVBAgTDU5vb3JkLUhvbGxhbmQxEjAQBgNVBAcTCUFtc3RlcmRh
bTEPMA0GA1UEChMGVEVSRU5BMR0wGwYDVQQDExRURVJFTkEgUGVyc29uYWwgQ0EgMwIQCy7y
YU5pVblj1fB01kxWcjANBglghkgBZQMEAgEFAKBpMC8GCSqGSIb3DQEJBDEiBCAU9YIaSSgQ
o64EM+jw9kQkA+UytZopGORuy2C7BAS9bTAYBgkqhkiG9w0BCQMxCwYJKoZIhvcNAQcBMBwG
CSqGSIb3DQEJBTEPFw0xOTAzMTkwODUzMjZaMA0GCSqGSIb3DQEBAQUABIIBAHIC8PiMB7CA
KQr62+J+flElFOgZyM9XoroGnIHLCQ7d3Z+mhgdFqyYDmfhCPChU7s0/ttKbSxxieleAPkAf
DjZHHoQ2uLd9rj+Mm9LAicRQgZEUH2OYoW0yzz5RvvORC6GlDL1MYsoAmIflqAnI4rRP4v9p
zvV3BRuD5mhSf1lAg/3JD3D41C50UG5sgKyziYzTFUmYxm2w5YbeA2tDgywKhaTZVRm0Phf7
dgVCq3i2MtHqNHkBEALY1XVRYYb7geRvJ0tRGAMnoYqEY0Tu/BArQUO/E5d+17ypBhTJTuQ8
YC2bjOWArGQSYLGewypAQSXcwLVX1Q7LStKOdLkP7N4=

--B_3635837606_1739517922--


--===============0711516618776539801==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KQXNpYW4tbG9n
aWMgbWFpbGluZyBsaXN0CkFzaWFuLWxvZ2ljQGZvcy5rdWlzLmt5b3RvLXUuYWMuanAKaHR0cDov
L3d3dy5mb3Mua3Vpcy5reW90by11LmFjLmpwL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9hc2lh
bi1sb2dpYwo=

--===============0711516618776539801==--