UNIF 2024 Call for Papers

--Apple-Mail=_339E7B70-105E-4DB7-B6B0-767207FC5004
Content-Transfer-Encoding: 7bit
Content-Type: text/plain;
	charset=us-ascii

[Apologies for multiple copies]

=======================================================================
			   Call for Papers
			      UNIF 2024
	    The 38th International Workshop on Unification
	      	     Nancy, France, July 2, 2024
       A satellite workshop of CADE/IJCAR, affiliated with IJCAR
		 https://lat.inf.tu-dresden.de/unif2024
=======================================================================

UNIF 2024 is the 38th event in a series of international meetings
devoted to unification theory and its applications. Unification is
concerned with the problem of making two given terms equal, either
syntactically or modulo an equational theory. It is a fundamental
process used in various areas of computer science, including automated
reasoning, term rewriting, logic programming, natural language
processing, program analysis, knowledge representation, types, etc.

The International Workshop on Unification (UNIF) is a forum for
researchers in unification theory and related fields to present recent
(even unfinished) work, and to discuss new ideas and trends. It is also
a good opportunity for students, young researchers and scientists working
in related areas to get an overview of the current state of the art in
unification theory.


Topics
------
A non-exhaustive list of topics of interest includes:

  * syntactic and equational unification algorithms
  * matching and constraint solving
  * higher-order unification
  * unification in modal, temporal, and description logics
  * admissibility of inference rules
  * narrowing
  * disunification
  * anti-unification
  * complexity issues  
  * combination methods
  * implementation techniques
  * applications


Submission
----------

Short papers or extended abstracts, up to 5 pages in EasyChair style,
should be submitted electronically as PDF files through the EasyChair
submission site:

  https://easychair.org/conferences/?conf=unif2024

Abstracts will be evaluated by the Program Committee regarding their
significance for the workshop. We allow submissions of work presented/
submitted in/to another conference.

Accepted abstracts will be presented at the workshop and included in
the informal proceedings of the workshop, available in electronic form
on the Web page of UNIF 2024. At least one of the authors should register
for the workshop.

Based on the number and quality of submissions we will decide whether to
organize a special journal issue.


Important Dates
---------------
  * Paper submission:                  April 18, 2024 (AoE)
  * Author notification:                  May 23, 2024 (AoE)
  * Camera-ready version:           June 7, 2024 (AoE)
  * UNIF 2024:                             July 2, 2024


Invited Speakers
----------------

To be announced.


--Apple-Mail=_339E7B70-105E-4DB7-B6B0-767207FC5004
Content-Disposition: attachment; filename="smime.p7s"
Content-Type: application/pkcs7-signature; name="smime.p7s"
Content-Transfer-Encoding: base64

MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCCEVww
ggUSMIID+qADAgECAgkA4wvV+K8l2YEwDQYJKoZIhvcNAQELBQAwgYIxCzAJBgNVBAYTAkRFMSsw
KQYDVQQKDCJULVN5c3RlbXMgRW50ZXJwcmlzZSBTZXJ2aWNlcyBHbWJIMR8wHQYDVQQLDBZULVN5
c3RlbXMgVHJ1c3QgQ2VudGVyMSUwIwYDVQQDDBxULVRlbGVTZWMgR2xvYmFsUm9vdCBDbGFzcyAy
MB4XDTE2MDIyMjEzMzgyMloXDTMxMDIyMjIzNTk1OVowgZUxCzAJBgNVBAYTAkRFMUUwQwYDVQQK
EzxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVuIEZvcnNjaHVuZ3NuZXR6ZXMg
ZS4gVi4xEDAOBgNVBAsTB0RGTi1QS0kxLTArBgNVBAMTJERGTi1WZXJlaW4gQ2VydGlmaWNhdGlv
biBBdXRob3JpdHkgMjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAMtg1/9moUHN0vqH
l4pzq5lN6mc5WqFggEcVToyVsuXPztNXS43O+FZsFVV2B+pG/cgDRWM+cNSrVICxI5y+NyipCf8F
XRgPxJiZN7Mg9mZ4F4fCnQ7MSjLnFp2uDo0peQcAIFTcFV9Kltd4tjTTwXS1nem/wHdN6r1ZB+Ba
L2w8pQDcNb1lDY9/Mm3yWmpLYgHurDg0WUU2SQXaeMpqbVvAgWsRzNI8qIv4cRrKO+KA3Ra0Z3qL
NupOkSk9s1FcragMvp0049ENF4N1xDkesJQLEvHVaY4l9Lg9K7/AjsMeO6W/VRCrKq4Xl14zzsjz
9AkH4wKGMUZrAcUQDBHHWekCAwEAAaOCAXQwggFwMA4GA1UdDwEB/wQEAwIBBjAdBgNVHQ4EFgQU
k+PYMiba1fFKpZFK4OpL4qIMz+EwHwYDVR0jBBgwFoAUv1kgNgB5oKAia4zV8mHSuCzLgkowEgYD
VR0TAQH/BAgwBgEB/wIBAjAzBgNVHSAELDAqMA8GDSsGAQQBga0hgiwBAQQwDQYLKwYBBAGBrSGC
LB4wCAYGZ4EMAQICMEwGA1UdHwRFMEMwQaA/oD2GO2h0dHA6Ly9wa2kwMzM2LnRlbGVzZWMuZGUv
cmwvVGVsZVNlY19HbG9iYWxSb290X0NsYXNzXzIuY3JsMIGGBggrBgEFBQcBAQR6MHgwLAYIKwYB
BQUHMAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMEgGCCsGAQUFBzAChjxodHRw
Oi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9UZWxlU2VjX0dsb2JhbFJvb3RfQ2xhc3NfMi5jZXIw
DQYJKoZIhvcNAQELBQADggEBAIcL/z4Cm2XIVi3WO5qYi3FP2ropqiH5Ri71sqQPrhE4eTizDnS6
dl2e6BiClmLbTDPo3flq3zK9LExHYFV/53RrtCyD2HlrtrdNUAtmB7Xts5et6u5/MOaZ/SLick0+
hFvu+c+Z6n/XUjkurJgARH5pO7917tALOxrN5fcPImxHhPalR6D90Bo0fa3SPXez7vTXTf/D6OWS
T1k+kEcQSrCFWMBvf/iu7QhCnh7U3xQuTY+8npTD5+32GPg8SecmqKc22CzeIs2LgtjZeOJVEqM7
h0S2EQvVDFKvaYwPBt/QolOLV5h7z/0HJPT8vcP9SpIClxvyt7bPZYoaorVyGTkwggWWMIIEfqAD
AgECAgwcbjQkPzrYLBvMkTUwDQYJKoZIhvcNAQELBQAwgZUxCzAJBgNVBAYTAkRFMUUwQwYDVQQK
EzxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVuIEZvcnNjaHVuZ3NuZXR6ZXMg
ZS4gVi4xEDAOBgNVBAsTB0RGTi1QS0kxLTArBgNVBAMTJERGTi1WZXJlaW4gQ2VydGlmaWNhdGlv
biBBdXRob3JpdHkgMjAeFw0xNjEyMTIxNDM5MTZaFw0zMTAyMjIyMzU5NTlaMHMxCzAJBgNVBAYT
AkRFMRAwDgYDVQQIDAdTYWNoc2VuMRAwDgYDVQQHDAdEcmVzZGVuMSgwJgYDVQQKDB9UZWNobmlz
Y2hlIFVuaXZlcnNpdGFldCBEcmVzZGVuMRYwFAYDVQQDDA1UVSBEcmVzZGVuIENBMIIBIjANBgkq
hkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5+CCc42Y1+0J5tpASWPSYx/0Pxqj97P1DdzCbTh3Xwpp
RsAMtqNwS8sTxgHMmbNAol18t3EqIkTH/iSXEhd5cf6OSyHumVbgvZTvjMh/c7R3VGZiwqimlhk4
/UJV8nVPvrL24GukD17Rsv+iLe5Mse7HIMJ7e9ciArdCBV5W6kk/5O24/ZhttIEs/2I3i8MTlGoB
aesNgkUy/cRaA0hw1BBTrDbfK1vhbxV/CWb+czy0F0M5W31LToGrXuwoFrhggn5X/LrFXvCb8/9w
+jSk8WzGvJw6MlPGXHwuTfjf7oei/S0j7iHq5fyIH3lEs58M4kwxlLViv2rc3KJkTX5xmQIDAQAB
o4ICBTCCAgEwEgYDVR0TAQH/BAgwBgEB/wIBATAOBgNVHQ8BAf8EBAMCAQYwKQYDVR0gBCIwIDAN
BgsrBgEEAYGtIYIsHjAPBg0rBgEEAYGtIYIsAQEEMB0GA1UdDgQWBBRS/r63JMIbCh1GUo5EJCr0
SEA9ATAfBgNVHSMEGDAWgBST49gyJtrV8UqlkUrg6kviogzP4TCBjwYDVR0fBIGHMIGEMECgPqA8
hjpodHRwOi8vY2RwMS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWcyLWNhL3B1Yi9jcmwvY2Fjcmwu
Y3JsMECgPqA8hjpodHRwOi8vY2RwMi5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWcyLWNhL3B1Yi9j
cmwvY2FjcmwuY3JsMIHdBggrBgEFBQcBAQSB0DCBzTAzBggrBgEFBQcwAYYnaHR0cDovL29jc3Au
cGNhLmRmbi5kZS9PQ1NQLVNlcnZlci9PQ1NQMEoGCCsGAQUFBzAChj5odHRwOi8vY2RwMS5wY2Eu
ZGZuLmRlL2dsb2JhbC1yb290LWcyLWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBKBggrBgEFBQcw
AoY+aHR0cDovL2NkcDIucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1nMi1jYS9wdWIvY2FjZXJ0L2Nh
Y2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBAEzYRPywOGl/wZ/Mdz2gLDMbO39f7+iQcrVPRy/l
bjjLt+0bouai8xTj1I9N+W4ZOhGww55gXMNOnBiKouODdNcazTxW6+glA4+5K9bxkAKu9kl9J2ez
pcMw1PNTFFcS1yG+thGQTtuy+3S3fI6VIfxi+RawFri9sC7010qS3RwOShmhsLk3iEjlDQ180zkB
zsdevWHt1svALpqsc+7DcHuP+MgYvkow/1uyHp3vyeTE9K7hdxcfXwRQ9IkeCo9xLJUeykuosqrT
OQNe4Yw4hPhrJfRtoyH92SFqdeZenVeU6+rkquev61X3fPi+/ySpUOGyWPdggN65bQ81E8nLFYUw
ggaoMIIFkKADAgECAgwkO1wN9FG1R0zomBAwDQYJKoZIhvcNAQELBQAwczELMAkGA1UEBhMCREUx
EDAOBgNVBAgMB1NhY2hzZW4xEDAOBgNVBAcMB0RyZXNkZW4xKDAmBgNVBAoMH1RlY2huaXNjaGUg
VW5pdmVyc2l0YWV0IERyZXNkZW4xFjAUBgNVBAMMDVRVIERyZXNkZW4gQ0EwHhcNMjEwMjA0MTE0
NjA2WhcNMjQwMjA0MTE0NjA2WjBWMQswCQYDVQQGEwJERTEoMCYGA1UECgwfVGVjaG5pc2NoZSBV
bml2ZXJzaXRhZXQgRHJlc2RlbjEdMBsGA1UEAwwUT2xpdmVyIEZlcm5hbmRleiBHaWwwggIiMA0G
CSqGSIb3DQEBAQUAA4ICDwAwggIKAoICAQCuzQCbskFkMFQzLwA338boS2w6wyV7hkn4Hkz7E6TI
UMRw38qWyIGcRNoPUT+Hp4t9CBssSMpi+uYATWa4vm3exJ+bcD0JU0RWQmojazejZMVay5gk4+op
HXlu+tVlBoiuoGZzSy+lgLrrdkLLjNFDSNNTZOaVwk2ga+tmPD/sFvqYlhZFxdQ1haGOvtrYzbno
f9RGLG5L7JuKWybHt8jxuwbGtR4YzNrxTl+Yuu4tTcLCVQ9zPiYII7b7WLyA/t72R6mb9wiTlfhk
g+2Zrvdq9hYYNYUOuu5EF5OLYQ3d13d5m7FvU/BPQagB3ZGANkZunevLirsdFRDoZb0kTbXiHN7H
ZvBlD3+QZgmuQK2QsPn7/ls7tjte8AgY9rq+ZvESskwQJAuvLEaLdduOIV6DKEou3z/P60Yh3s25
vX9R2QgZxuZgk47sKua4OBv8hF8DgNP9J5DGz2h8Mm1B3vOXnhL3UIu9SfIJMLzBnf7MPm9ENeYZ
UMKMoYGNOYo89+7PjmXeqciU3SAXs0oCx+u6i6aXDp4ogCENvB3oFHc5wn+QrqGAUM4wObvoAwC3
AbnCEiMHYkZtmorpeGvou74lI52pltmruQiS+kjQsLTySi/KJHwFqwZ8ROg1/ABdtjdogFhfR+UJ
C3XuLGDk9Jm2oLeW1tADlfPInIVo2fp2lwIDAQABo4ICVzCCAlMwCQYDVR0TBAIwADAOBgNVHQ8B
Af8EBAMCBeAwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsGAQUFBwMEMB0GA1UdDgQWBBR9A/GKEJHx
RTPaLw3yvXDKdpkqEjAfBgNVHSMEGDAWgBRS/r63JMIbCh1GUo5EJCr0SEA9ATApBgNVHREEIjAg
gR5vbGl2ZXIuZmVybmFuZGV6QHR1LWRyZXNkZW4uZGUwgY0GA1UdHwSBhTCBgjA/oD2gO4Y5aHR0
cDovL2NkcDEucGNhLmRmbi5kZS90dS1kcmVzZGVuLWcyLWNhL3B1Yi9jcmwvY2FjcmwuY3JsMD+g
PaA7hjlodHRwOi8vY2RwMi5wY2EuZGZuLmRlL3R1LWRyZXNkZW4tZzItY2EvcHViL2NybC9jYWNy
bC5jcmwwgdsGCCsGAQUFBwEBBIHOMIHLMDMGCCsGAQUFBzABhidodHRwOi8vb2NzcC5wY2EuZGZu
LmRlL09DU1AtU2VydmVyL09DU1AwSQYIKwYBBQUHMAKGPWh0dHA6Ly9jZHAxLnBjYS5kZm4uZGUv
dHUtZHJlc2Rlbi1nMi1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwSQYIKwYBBQUHMAKGPWh0dHA6
Ly9jZHAyLnBjYS5kZm4uZGUvdHUtZHJlc2Rlbi1nMi1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQw
PgYDVR0gBDcwNTAPBg0rBgEEAYGtIYIsAQEEMBAGDisGAQQBga0hgiwBAQQIMBAGDisGAQQBga0h
giwCAQQIMA0GCSqGSIb3DQEBCwUAA4IBAQBCjBqHDAbkW95Bug1IXDJSyJcKQQosDt9m3JZMVz9g
AEVLKIoeR1seTbQ2Ic8akN1cBP/gAIePtkxisf1TTNLn8ZlasYWUL4C/XZInbczFVNU+9lZEMI9s
OUjQ/WetvdLT2VJ/qI1iiRbj7TZVQcOo1w8/8AJgPYTfc8QpjoSh1HMWBdJpRoow+auHEU7RnLmv
5iTShTZKMTI63yNJ2X4eqeJ3/H2kWQZ+dWc/lMoUK/adUDl+3QLiG25vXY3Qm8gBdN+erPori+I3
buSYvqQ8TVx17dNxeuESANn4gsxwvkAZ//+c0jpvYgz2t2D/I34KE0g70x6A2H4Tlu5eqWKeMYIE
TDCCBEgCAQEwgYMwczELMAkGA1UEBhMCREUxEDAOBgNVBAgMB1NhY2hzZW4xEDAOBgNVBAcMB0Ry
ZXNkZW4xKDAmBgNVBAoMH1RlY2huaXNjaGUgVW5pdmVyc2l0YWV0IERyZXNkZW4xFjAUBgNVBAMM
DVRVIERyZXNkZW4gQ0ECDCQ7XA30UbVHTOiYEDANBglghkgBZQMEAgEFAKCCAZkwGAYJKoZIhvcN
AQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMjQwMTE3MTYxNTU4WjAvBgkqhkiG9w0B
CQQxIgQgnYQk3f1FrlFhkYqgBWZUnbsPa2l+u62i6aFcsnM3glgwgZQGCSsGAQQBgjcQBDGBhjCB
gzBzMQswCQYDVQQGEwJERTEQMA4GA1UECAwHU2FjaHNlbjEQMA4GA1UEBwwHRHJlc2RlbjEoMCYG
A1UECgwfVGVjaG5pc2NoZSBVbml2ZXJzaXRhZXQgRHJlc2RlbjEWMBQGA1UEAwwNVFUgRHJlc2Rl
biBDQQIMJDtcDfRRtUdM6JgQMIGWBgsqhkiG9w0BCRACCzGBhqCBgzBzMQswCQYDVQQGEwJERTEQ
MA4GA1UECAwHU2FjaHNlbjEQMA4GA1UEBwwHRHJlc2RlbjEoMCYGA1UECgwfVGVjaG5pc2NoZSBV
bml2ZXJzaXRhZXQgRHJlc2RlbjEWMBQGA1UEAwwNVFUgRHJlc2RlbiBDQQIMJDtcDfRRtUdM6JgQ
MA0GCSqGSIb3DQEBAQUABIICAC81tsjqjAg+IZzR3qhsb6G83t+Qlhp0WdwbJP9AFyQDhQ0+Yksb
5us/oKm+PsVqx4VytP05D1iNYxsd3kta0HtO4OiUdBKsWT4m9ybhwBwEbxovtN3lprsaUynkDm7f
e6eUfAiO6imb7ttG07OfWZ3RC2SB+iF3iUG9wt8ff4uA/L221sg81/QFjr7xIcpeLAFu+x3mrMtW
vpX34tQD55n/JSu4yga/ynf44yVv/9Wmyn0z+hDLCussfv8qQYpE/ZwUteOjqaj7lkChyLl/hb+W
HfzaPqiXPoxitz46uVaSuIek1z4IsDsq14BlyJBTy/lg2TytaVZWG9cfOeBsKM5a8ygEM9GLyLkV
lFotiIbLrftZBWdoUxmK4Mjoopw7HrsYbzfjEd5NtkVvGeZwQAF9dffgG++/Qs5RzvTGDZvMmCvq
EJH1bHBbrW3XHoNkORlId+Uhr5D/VuEPIFhvvWBLC99ndRfVgxGLPezMZ57n2TxejMEyVkynbJZD
Z6cmpd+0jhIJRMV3PmqqLyLR/WPKoWOTOhIDQrld3uzN9/woC/Ue0LSoYVovRfvdU92Wg1oKF4Az
olK5IzhZJ68ljAHz1ZT/z+bgyP2qKfHj1eggy866ecCbr/YvayWgakMhViNHqwZ3W65yJpSFBUdK
+bRuTkrlmO+J9VSMRlyCxgiKAAAAAAAA

--Apple-Mail=_339E7B70-105E-4DB7-B6B0-767207FC5004--