coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] UNIF 2024 Call for Papers

From: Oliver Fernandez Gil <oliver.fernandez AT tu-dresden.de>
To: "rewriting AT ens-lyon.fr" <rewriting AT ens-lyon.fr>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "caml-list AT inria.fr" <caml-list AT inria.fr>, "ProofTheory AT lists.bath.ac.uk" <ProofTheory AT lists.bath.ac.uk>, "fscd.conference AT dcc.fc.up.pt" <fscd.conference AT dcc.fc.up.pt>, "theory-logic AT cs.cmu.edu" <theory-logic AT cs.cmu.edu>, "cl-isabelle-users AT lists.cam.ac.uk" <cl-isabelle-users AT lists.cam.ac.uk>
Subject: [Coq-Club] UNIF 2024 Call for Papers
Date: Wed, 17 Jan 2024 16:15:58 +0000
Accept-language: de-DE, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=oliver.fernandez AT tu-dresden.de; spf=Pass smtp.mailfrom=oliver.fernandez AT tu-dresden.de; spf=None smtp.helo=postmaster AT mailout3.zih.tu-dresden.de
Ironport-data: A9a23:n4MkTaIraoWDuIAwFE+RVZ0lxSXFcZb7ZxGr2PjLsTHJhXpii2xUn yZGBjeZeqTZIWXoOIAhNtzysAhTiSLnvpU+EV85s2kyVBqmwuKfVYTDIBqrYymcc5yYEklus cxONdORIp06EnWDr02gabLt9CVx2KuDSuahBbedMX54S1c+Q34q0E1qwL833t446TTV721hn PuryyGIEAL7gmYc3hsow6KftAs9+7P5tCtB+EQ1bLZHslmYm3RSA5YYL6i1amH/RZUREbT/T O+E1KyzuWjQ9Bo3FpSum732aFFMSaTOZSrN0vC+k8CebmN5SnkPPtwTcaJaNi9qozWVg8gjj 5JGuYTpDx8iN+vAluJbXxQfHCV5N6RCvaXAJmT6vpbWxESBa2bmhP50CAY9NIYC/qB8G2UWn cD0UwvhOy1v/crzmPTkItREhtg/NJuse4gToism1TrQS/ooR9bPTuLF4dhS1TN1nMdJAbPRP Y8SYH13cR6HaBREN00LT5k3l+qymj/0aSEAwG553pHbtlU/tiQ0iP6yWOf9esCWXZcS2U2Uv jiA52/wRB0UMpqTxH2K9nWmj+uKhyT8RMcdTviz/7lynVfUzXYXTxYfXkG/5/KjjhYUsnmqa Ob9UdJ2B0GZERTwDYF3t9XQnJL/hfJJZjYqO6hirl7l94LU/xqBVC9DSTVacJo+v8ZwSTIsk FOE2PTCPgQqi7CPV3+HsZC/lgvqGGtNp4fKMC8YURNXpJ7orJlqyArER5BvHqjzgtCyBSy1z yqHtyQzgfAc14sA3uKj4FqAiDunq4LVCQU87QjNQiSu9B8hRc397WRgvFjH8e4Sa8GSQkHb+ mAPko6S4uZIAZzKiDHITP8AB72k4bOKanjXiBl3ApNm/D2m9mS/OotZ6zxkOAFiKNpcEQMFG 3Q/7D69nrcIeiPCUId3f56pWYNtyqP7DZL9XfmSYtRIJJR8MyisxxkrXkOKwW33128HqplnG 9TD+y5kZUr2cp+LmQdaPc9Gl+dD+wg+2X/LF9e8yB+8yeLFPyDTVboBPUCDZaY14eSDqx7N6 Y5/dJMAI903bAGFWcWgzGJpBQtMdRAGLZDqt9QFMambIQs+Qzp/TePcxb46docjk6kSnf3Uu U2wXkJjxVHIqnnAIwyOUHdkdITEWZ9ktkVheychJw7A55RYWmrY0UtlX8BxJdEa3Ox/0eYmC L4deMTYWa8RDCjK/zkGYJK7oIElbhDsuQ+KMhGoaw8Qe5lqTgjz/dj4SSDr/TIVOXDxvtE6+ xdJXOsTAohbV1wmT55cgDrH87/KhpRqpQ4IdxCOerFuRXjRHKhWxw3Z0vNteMpUI0qbnzfCh g3PXRlErrCV+dBkroOT2frepY6AHrolFCK2PUGLtOfsbXGyEkmLmNIbDr7QJVgxcEuupc1Os M0Ml6mU3MUvxQoM6cwme1pS5fpWz8P1oLNHxRhTEnzOblC6YpttOXDuMfNn78Wh/ZcH/1PrM q6z0oMCY+nRYZq7SAV5yDcNN4xv69lEwlE+0txueC0W1AcvlJKbXENbOQW7iSA1BNOZ56t4q QuJkJd+Bz2X0nLGAP7e5sxn3zjkwkg7bkkSnspy7LkHJeYc4goqjZT0Ukca6XwUAjlGGhFCz jS83MIui1nAr6ZrnrVa+XXlhIJgaZoyVB9i4w4NZFqsldX+3v4vxBdUoSUrRVpo90ASuw5zE jAD20xdIKyP+zB1mJMFTWGsXR1cQRGD91f9xl1PmGCxo0uADzCUajZlf7jSuh9Fm45fVmAzE LWwz2LkTzvwOs/8xC07X0JoudT/UJl97ADZlM2hWciId3U/SWW62v/0OjFXw/fhKZIOgBbYo dV1xbdtZq3+MAIM+a0KM5bPgNz8TzjefTcYHKgxlE8TJknXfyj30jyTIWiqa8ZVLrrL91W5A opgPKpnXB270GOKrysHLbUdJqd92v8v/tsLPL3xTVPqqJOapzttt4/MrW7shW9tX8grndwwM Y/ccXSOHwR8mEe4hUfi/cYHNE+3buJcZRXk1uXl4fkCSa865bQEnV4J7pO4uHCcMQ1C9h2Sv R/ea6K+8wCE4dgy92cLOvgabzhYOe/OuPK0HBebn/kmUD8iGcLHtgcSt0W8eRZXPf0NRpF7j 7mWvNPxmk/I1FrXb4w7s8bef0WqzZzsNAayDi4RBCUC9cdlcJOxiybvA0jidfR0fCp1v6FLv TeQZsqqbsIyUNxA3nBTYCU2O09CU/mrNPax/3/g/6Tk5v0hPervcI3PGZjBMDgzS8P0E8OW5 vLc4q33vYoIxGiyLENYWJmK/KOU0He5APB8KoSh3dVpJnWliVOEu6DplRdo9DfKFHSeC8fm6 J/ZDhTkeQ++taeg8T2qm9Eag/HjN14k2bNYVhtEo7Ze0mnqZEZYd7l1GctdUPl8zHetvKwUk RmQNgPO/w2nA2QdGfg9ify+Njqi6hsmYYylfGR1oxnIA8p0bavZaIZcGu5byy8eUlPeICuPc I12FqTYb0npkKJ6D/0e/OK6iupBz/bXjCBAs0PknsC4R15UDbwW3TYzVEBARA7WIfHrzU/rH GkSQXwbYUeZTUWqL91sVUQIEz4kvRTu7Q4SUwGx/Pjltb+mkdJwkM/EB7mr05koTtg7G7oVd HamG0qP+z+331IQi4sIuvUoo/d4MquIFc2EPp3MexA2mpu0y2U4PvEtmTgEY9Ei9TV+TXLct GiIyFovCHuVLHt+3OWt9jwI3JZqQ1QOJT3tpyzulw/syBAW4YDQREm38VjdN5r1lZnGg2xZZ zUjNGCqvFycsWrflwlU7/g0iASOPpAMKCPiTCstc5LVlyWsQk97EJRK8Rkz9/BVwU1+6rRkT oSj+PRjx9v/RQKK5R7uo/kBaLs+r7shJBUKu4W0wD1VTOmPxKHJWPfnDI2lTzQiowB8AnUA9 czxV2bxKyzrtStpYzg0nPGJFrJd7Oyj2qMa+WcPK5lQmoWh36g1n7+65giTezpqa5iRaLbbb Gjs5aeULBVmB3DsdclavXgg+Kv65+9F1xbsl2nkBnCtxomF/GBkYeZR+K8G28bwd3lpOjok0 SfSWtH3ksjvv3ikinX3/nSxr6MLKia1yYYqUC/DH2zkCyEUjoRygYaCg+yRkDYQb6ZFA5d/1 VZkEEXz3fP01GJpZiWuWTBUTDPPSRmyObWDKp0rcdWUhs/GFth3QNgVsVZ3SOER0ntutN1gG xykLYGV1sNeEL1FSbeu7WvobnQKM7rNCBeUne6MpWQKaMn5Babd55z1JqaciYi3OSOCnGj+k P0stJFivXP4zPo08k5QwEFAscWmqtgN3ViiGwex5lhGixzOd7et8mCZO8ZjtoL9kT0kq3BH7 Kq8bF478+IHNOnCJC32I5PbhS38Zwn/QwCH32esHQ8JHHSxr3MDqJn6CbbT4t/P3SCXyct57 U6eY55eCJN4D1s/UQ2lOWJ21+Fr2bSfKV+AIJlTvUCKwkNOvkoO9wxb2K6AbuAHmVQT0utYw ENwTx6Ocll0jIu/xYMMpnOVMWOvwqwIgt4zrb3QIi5Kk+AvEBBT/+t+E+tTaM9Gwaetup043 dLbXDB1xEHFTfc/TpeE7QBQsw2PKexBpL5+cpEPsxyLXCYa68lcKeK97+xWK5eB33Npwiq3F WjBuoiudh0ZTJ1rceHFG+dq7MB93sX7EPVzzAI5mxMtzQvWGRuvOrWicXdxoQSeY7SJD5TRI n6t8rVHWWs0Mayk4ITrTaV1hARWipeAtGhBxti1326R3nkBVFI9Y2U7LZS4qEjHKL3R/APuq 5mw32Sb/uJ1BRokMff+l6fYjWaofp/g/42DbX9FgAU/Km3iCowdjZ9kxUno+1zPd/jauZScL 3Gh/3gAnRtZ2G3LxvxVFnD6zj2zpCugTe6qGwAeiI7b3EUD8xRK2du6lx0chmN4in+L5/4d5 noQWeHj7Z82Tzjf1/BZ8yLNCU82AS8FcxZfOUnrzu4kZ8VtsZPK9+cmcLWA+fzoG+6X+Ivru fBds6w3EkdDsI2jrSgfFHY=
Ironport-hdrordr: A9a23:qtZ/y6B8fS1QmsblHelx55DYdb4zR+YMi2TDj3oBLSC9Afbo8P xG/c5rriMc7Qx7ZJhOo6HjBEDtexzhHP1OkPMs1NWZLWzbUQKTRekJgOffKlbbehEWg9Qttp uIBJIfNDSfNzZHZI3BkW+F+p4bsaC62ZHtuNvyi0hsVh1xL5tr5wB/BgvzKDwKeOHXbaBJbK ah2g==
Ironport-phdr: A9a23:p7Ge/RIrJMVqJUKX6dmcuFxuWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtbM30wKCDd2TwskHotSVmpijY1BI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQZFiCCjbb5wL Bi6ogbcutULioZ+N6g9zQfErXRPd+lK321kIk6dkQjh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q 79FAjk4Km45/MLkuwXNQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6 qpgVRHlhDsbOzM/7WrajNF7gqBGrxK7vxFxw5DabpyJNPRwfa3Tes8VSmVaU8ZeSyBBB5mxb 4sTA+YfO+tTsonzp0EJrRu7HQSiHefvyj5WhnDox60xzuQvHh/c3AwmBd0Otmnbo8v0NawPU O61za3IxijEYvNR3Tf96ZbIfQ47of2WU7J/b9DRyU81GAPDk1qft43kMiiJ1uQQqmSU8vBgW vy0i2E6tQ5xpCKjydoyhYTQgI8e11/L+zljzokvOd24VFB0YcSiEJZIqSyXNZd7T8csTWxru is317kLtJG7ciQUyJoqwxrSZv6ZfoWL5h/uSfqcLzl3in9lZL+xiQu+/VWuxOD9Vse631BHp TdLnNnLs3ACzR3T6s6fR/th40etwCuA1xrN5eFfPE87i6zbJ4Q8zbEujpYcr17MHjT2mUrqj K+ZbEQk+vKy5+TgeLXmqZmRPJJ3hAHmKqkih8OyDfkiPgUAQ2SX4+Wx2b/58UD7T7hHiOA9n 7fdsJDHPsQburC2AxVI3IYi6hewES+r3MgekHIaNlxKYgiHgJLsO1zWIPD3E/O/g1O0nTdu3 f/GP7nhApLQLnjfnrrtZ7d8609cyAYp0dBf+otYBawbIP3tQU/+qcLXDhkjPwOp3enrENR91 oUAVmKTGqKVLazfvUKS6u8hP+WAfo4YtTTnJ/Un6PPilXo5lkUcfamt05sXcne4HvF+LkWeZ Xrsg8kBHnkQvgYkQuzllkeCUThJaHa0Qq0z+DA6BZm6DYfeX4yinaaB0zmgHpJLeG9GDEqAH mr2eImcXfcDczqdItV9nTwcSbihV4gh2AmwuAPi0bpoMvLU+jEEtZLkzNV6++rTlQgr+TNoC 8SdznqCQnpvnmIIQj82xLpwrVZ8yleFy6h4guZXGcZd5/NTSgs6L4LTz/RmC9DuXQLMZsuGR 0yjQtWiGD0xStMxw8QSY0tmANWjjhXD3zKwDLMPlryLAoY08qPG0HTrKcZ90SWO6K50xUMrX dFOKWygiYZy8ROWA5/OlQOXjeziIb4RwzTM6GaFwkKDulodVB93V+PLRyZbLgHdqs287UffR ZevD64mO01P04TKfqBNc5jiiUhMbPblItXXJWyrzSP4Tx2Bw7fJaIvxZ00c2j/cAQ4KiUpbq X2PMAx7Aia6v0rfCiZvHBTheRWouaNGsnS8QHM0wgaQfmVl1qGp4VgfjOCcDfoYmK8H8m91k y9zG1iB39/REcuoowt6YL4aa9oh4BFO3iTEtFo5dtauNKtuwFUZdQp6pU7o3BhfBo5L18Yh6 m4yihJuY+rM3khKe3WT2pb+N6faLGL/1BykYOjY0RfDyJCO5vFLoL4kq1jkphDsEk0t8n5P2 MIT2H6BoJjGEUBaBY7xX0Et5l1+oL7baQE2/MXf0GAqPKWp5HuKkdktQeo+wxyte9NSdb6fG RXpO8kbHNS1bucjnh6gZVQZP6oaoKUwesK9fvGL3Kqmeft7kSi9pWBG+5xmlEmF8mx1QajV3 MBW7euf216gUzbigU3pnM3tn4lCaTwAVkW+zWCwA4pQeKBoO4gGE2GnJcG61P1imtvhQXND+ FOlQV8Ljpz6MSGOZkDwiFUDnX8cpmaqzHPQJ11cljgoqvHaxynS26H5cwJBPGdXRW5khFOqI I6ujtlcUlL7JxMxmk6D4kD3j7NeuLw5N3PaFEBMfjb7NSdsX7G2v7yObtxn9I5tvT9aS+ixZ xaWR+21uAMUhhvqBHAW3zUnb3evs5T9kQZ9jTeaKHdtoWCfd8xqwx7Z6NHObeJMmzYcSTJ0h D+RClXvd8Kx84CykJHO+vu7S3rnVpBXdnzzypicsSKg+WBwKRi2nvS0h8G8Vxo70WnnypxmT yjToBv6JIXmv0ijGcRgeEQgRFr16s4hX5p7jpN1n5YIn34TmpSS+3MD12b1K9RSn6zkPjILQ nYQztjZ7RKAugUrJ2+Vx4//SnSWw9dwL9i8bGQM3ysh7sdMQK6K5b1AlCFxrxK2twXUKfR6m z4cz7Mp5ht4y6kOvAszwz/bDL0IG0BeMSH+vwiVqtykob5baWDpfbXxnEtykNa9Da2T9xlGU SWcGN9qFitx48NjdVPUhSSvs8e/IJ+OMpRM6k7x8V+IleVeJZMvm+BfgCNmPTm4png506sgi gQo25imvY+BImEr/aSjAxceOCemAqFbsjzrk6tamd6bmo61GZA0UDIPXYXlV7SmHSgUvPLrO hSmDCB5pm2WArbSG0mT5Q01yhCHW4DuLHyRKHQDmJ9lQBiDKVYZjg0OWjw8kpMrPhy3gcD7f Vx16zZX6lOy+X4ugqp4chL4VGnYvgKhbDw5HYOeIBRh5QZH/07JMMaa44qfBglg94a65EyII 22fPEFTCH0RH1eDHxblN6Wv4t/J966ZAPC/Jr3Ae+fGpetbXvaOjZWht+kutzGIN9uCJD9sA uc900xPUGJRB9mcly8CUCAakWTBYoaXqQy99St+ss2kuK23AUS0vc3RVP0NbZ1m4HXUye+bO vSVhTplJDoQzZ4KyXLSifAe0FMUlyByZmyoGLUEuzTKSfGYkatWAhgHLiJrYZIUtuRnhk8TZ oiE1oCQtPYwlPM+BlZbWEa0n8ioYZdPOGShLBbcA17NMr2aJDrNysWxYKWmSLQWgv8H0n/48 TudDULnOSyO0jfzUBX6e+ZIjT+WJlpQtZu7exBhBHrLUM+jZge2K9N6i3s6zPdn4xGCfX5ZK jV6f05X+/eX6SJGj+85FWFb6HNjIeSWszqEquXCJ40avP0tDik+xIc4qDwqjrBS6i9DXvl8n iDf+8Vvr1+Rme6K0jN7URBKp2UDlMeRsE5lI6mc6ohYVCOO4kcW9WvJQUdvxZMtGpj1tqtX0 NSKiK/jNGII7YfP5cVFT8nMdJDebCNnakKvRmGSU1FCF2/OVymXhlQBwqjOrzvK8N5h8N62w sJJEecTQlUxErly5l1NOtsELd83WzolleXel8sU/T+lqwGXQsxGv5fBX/bUAPP1KT/fg6MWL x0Piaj1K4geLOiZkwRrd0V6kYLWGkHRQcEFoytvaRUxqVlM9342R3M62kbsYAegqHEJEvv8k hkzgwp4KeMjkVWkq08wPUbPrTAsnVMZnNzkhTeMbGW3PqawG51LTibuulM9P5W9Tws0JQy+k Ep4NSvVErJci7wzEAIjwATYuJZJBbtdVfgdPEZWnqnROapujggPz0fvjVVK7ubEF5Z4wQ4jc Jr36mlFxxomd9ktY6rZOKtOyFFUwKOIpC6hkO4rk2p8bw4A9n2ffCkQtQkGLL4jcmCv+u1y5 BbElTZZfmEKW/c4iu53s08nNv+MwiSm37MJeSXTf6SPariUvWTNj5vCWlQrykYBjFVI55Bz2 MYndFeIDAY9zbvXCwlMOdDPMg1YaYxe+TKAGETG+fWIypVzMYKnE+nuRuLbr6cYjHWvGwMxF pgN5MAMdnFN+ETRLMPgMaJejwcs5EL3ORCJFvlSdB+N1jsK8ZnXJHBfwZQYKisQGmlwN2O76 +SOzufPqOaeGdssb2wWU41COn9kAKWH
Ironport-sdr: 65a7fd50_uVu0znRaESYu9Yy5Rnl4SUzV2/nc80sJLhAOC/8UMEtpliD BS3S5O98H3FREScNeBvNcnwBcsf5Cx0bJfcvKfg==

[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.

Attachment: smime.p7s
Description: S/MIME cryptographic signature

[Coq-Club] UNIF 2024 Call for Papers, Oliver Fernandez Gil, 01/17/2024