[CFP] 3rd International Workshop on User-Oriented Logic Paradigms - [Deadline extension]

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

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

[Apologies for cross-posting]

Submission deadline (extended): Sun, April 28th 2019

*** 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 [revised]
---------------
* [Extended] Submission deadline: Sun, April 28th 2019
* [Extended] Notification to authors: Mon, May 12th 2019
* [Extended] Camera-ready version due: Mon, May 26th 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_3637920278_326234691
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
YU5pVblj1fB01kxWcjANBglghkgBZQMEAgEFAKBpMC8GCSqGSIb3DQEJBDEiBCC9d4DDanVj
NkzdriDDEK0b7yMqjCUwnFKKZ5P0fnKpaTAYBgkqhkiG9w0BCQMxCwYJKoZIhvcNAQcBMBwG
CSqGSIb3DQEJBTEPFw0xOTA0MTIxMDI0MzhaMA0GCSqGSIb3DQEBAQUABIIBACzG9S6NXE+z
x8E40K5X+Hzplpl6pFN6phrNmPEFO+sqXem301BR3CBgFgO5c6GuVGA2YdhkJiRItrrQbA9d
3h8xod/qPrv+zoObdkstddl3+teAdDsGpHP0QS2eDEovBO5cHeiJtWo8rlCwuZOOALE2+ehN
T4BqurlAW3Xa0sK2duYxty6feEyAhzPqyO5H0Ig5K1A+/3Ur0ZZ8HDz4qR2gSmzXN0T/KYul
F3z6p9TZUUOUNliF/FAG1IcANu1jxNPOqqUVaxUqhkCX9fzMt2Ti/xQrdfjEYU6q3K9nH/vk
r1tNIMdv7tiTwq2fgssaIfanmOu7ZXJerpEAufkAJIU=

--B_3637920278_326234691--


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

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KQXNpYW4tbG9n
aWMgbWFpbGluZyBsaXN0CkFzaWFuLWxvZ2ljQGZvcy5rdWlzLmt5b3RvLXUuYWMuanAKaHR0cDov
L3d3dy5mb3Mua3Vpcy5reW90by11LmFjLmpwL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9hc2lh
bi1sb2dpYwo=

--===============1726530916476324745==--