coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] UNIF 2024 - 2nd Call for Papers (Extended Deadline)

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 - 2nd Call for Papers (Extended Deadline)
Date: Tue, 9 Apr 2024 14:29:13 +0000
Accept-language: de-DE, en-US
Authentication-results: mail2-smtp-roc.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 mailout4.zih.tu-dresden.de
Ironport-data: A9a23:cLv4+Ks6B2OhcTo3D7k75cU5N+fnVK9UMUV32f8akzHdYApBs4E2v jNfGTXfaa7OOz2rZJktO86x6Alf7siEipMhHTLYn1l2SnNPpIzdWs/xwizYYinOdMOdE044t JpBM4DKdJ05EC+MqE70ara9oCNwiPvVG+SsV7PJNix4T1E0RXtx1xs8lrZp3t9i3tTkXFjSt LsezyGx1HqNglaYZUpItPrbwP8WgNzypC8A7Bt5St1immOYkHIOFNQEKKqtLnT/BIJTG7b7e o7/IMqCEh/kwj8tFs+9wPG8eVcOBKPJMBKSkGdNR+6phR0Fmxcf6JohKeEAU3x+oDiTg9F/y d5EqZ23Ty40Iq3LguUBQl9TCSUmI+5EoL+fdjvnOyRblE3ab2O+hLJlFl1wIJYV4PptHHpSs /cfLXcwVT25u/ir266BccBFisgfNtTwIKg2/Hp60WmUTq6sqViyQ7nW/Y0fmzA7ndgIAO3Tf dYDdCFzKh/HZkUnBrtsM35NoQvSriK5K1VlgFKJubIssS+U1wF6zLniN5zefdnNbv1uxn6lz l4qhF8VdSz2TvTEj2Ltz1qsmvPXhnG8H5kfH6G5+fksi1qWgVc2KTg7fmOA+ZGFZjWFt6Vix zY8oWx2xZUPyXFHbuURfjXjrXSN5hRNVoMBH+Fr4l6ElvuKvAqVXDNbEGNLOYF55eY7FGcgv rOrt4OwVGY36NV5alrEq+zK9WvqUcQxBTVfDcPRZVJdu7EPmKlq0lSVCIwL/Jed1rXdASv3z y2BsB8wjrASid9j/6ig9DgruRr1znTyZlBzvlq/sl6NtFsjONb5P93wsDA30N4ZRGqnZgnZ1 JQ7s5PGhAw+JcnlvDCARuwLAIao656tWNELqQMH8zEJrlxBylb7FWxiyGkWyHRBbq7oTQTUj Hr74mu90nP80EyCNseba6rpYygjIDOJ+d7NDpg4ZfIWCnR9mZPuEIiDqid80ki0+HXAn53TN r+8S+uTE045EphkyWuYHcMQjKYu4zshkDa7qZDTl3xL0JKbbX+RTqoZbB2cb+B/8L7BrB/Y6 NpSMY2Gxn2zUsWnPnCRqtZVcw9MciVT6ZPe86S7csaEJgt4FXtnBfLLx7ond4F3t7hI0+vS8 2qxV0kexFeXaXjvcFvSNSk9OO+0NXp5hSw9AH1zLFCs4XIiZduz85cdXpZnUYByoYSPytYuF qJfJpzQahhVcRzM/C1YZp3gpqR5ZRGzjESPOTCkaX4xZfZITAXM/prgfxDz3DIfCzK+88o4u bypkA3BKafvXCxnBcfSb++zkxWjvHhbhP83U1HFOdVefgPg/eCGNhAdkNcQGewzNy3g3QeZ0 le4WzMV+PDIhpQqpYyhab+/k6+lFO53H0x/Fmbd7KqrOSSywoZF6dMfOApvVWyBPF4Y6Jmfi fNpI+bUHNBvobqnm491ErJs0L5iocnup/lG00FoBnjQY1mtTL9tSpVn4SWtnvIcrlO6kVLoM q5qxjW8EenSUC8COAVATDfJlszZiZkpdsD6tJzZ2nnS6i5t56agWk5PJRSKgyE1BOIqadl7m b556JBLsVbXZv8W3jCu0n88G4OkciBobknbnspy7HLD01FykQsSCXAiInWssfljlOmgwmFwe 2TO2fOS71it7lbPeHo1FGPG3ecVmJIPph1Q114eLlmV0tbfi+Q70Rs5zNjEZlk98/mz6MoqY jIDHxQsfc2mpm447OAdBT3EM18aXnWxpBeuo2blYUWEFSFEoESXcj1kUQtMlWhEm19hks9zp ejHmTe6CGeyIakcHEIaACZYlhAqdvQpniWqpSxtN57t80ASMGu90Jy9L3EFsQXmCs4XjUjK7 7situVpZKGxcWZar6QnAsPInf4dWTKVFlxkGPtBxaIuGX2DWTeQ3TPVFVu9VPkQLNP38Gi5K fdUGORxazqE2hyz8w8rXZw3H+csndoCxsYzRbfwFGtX75qdtmVItbzTxAjfhUgqYY1iqp8+I YbvZQCtLHG0gEFQum7SrftrPnizTskEaTbdgsG00rQtPLASvN58dXod1uOPgEyUFw987jSWl g/nTI3H/dxIkIhDsdPlLfReOl+SN9j2atWtzCmylNZ/NfX0LsbEslIumGnNZgh5E+MYZIVqq O6rrtXy4ULiuYQ2WUD/n72qNfFAxee2bdptHvPHFltotgrcZ5a0+DoGwX6yFrJRmtAE5sWHe RqxWPHtSfErAeVi1F9nQAkANS0CCpbHTLbq/gK8iPWuNiIz8yL6KPGfyHu4Sl0DKwEpPcXlB x7WqsSewIlSjL5xCS8uA9BkBJ5FI2HfZ5Y2Su2ptRSlCjiHv1DTnJrjihsq1h/TAFamDsvRw MzIVzr+RjuIqYDKy9BVk7FujD01CH0nu+06fx8eyeVXkBG/NnYNds4GAKUFC7ZVsy387475b zfzd1kfCT3xcDBHUBfk6vHhbxivPfMPMdLHOTAZxUOYRCOoDoemArE61CNfz1ppWznklseLF Mo//yDuAx2P3Z1Zf+Yfyfili+NBxPmB5HYp+1j4ovPiESQlHrQG+3xwLjVjDRWdPZn2q3zKA mwpSURvYkKxExfxGPk9XU9lIkgSuTe3wgg4aSuK/s3khLya6+9909z6BfD41+wSTcYNJYNWf 0jNeUm23zm01EAQ6IwTgPB4pY9vCPmOINq2E7+7ey0WgJOLyzoGO+EsoHMxaf8MqS9lLkPlt ziz4nIBKlyPB2JP1Za3lwgY2ZJDfUgdLjPOjQTAiyfMvk1gw/TgZhWvyAXfL6upj5fZrndoZ jQgUxqMkXKrtR/Phzp3htIErHOpXOATEnjlVHgzb5XQyx2Ddk5UJIpD4Wobie1D1WJi7ZpFU qS73/EW2pOVbgnW0y/KxN4mM6Va9ZEfEQE9uprV1RNMFOro8rjkcty8e42IfixLjT5YAV0+g 9DuMXrBAgfrsC5UbDxvm+vVb7desr2Y9bYJ2G8TPPBgmI2388YgwsajwAyUZg5pe72LVt+DY GXv8P+LK0sLDm+3WPdAoGQT09r+wv1vxHjDl0G/FV6w1oq7wU9Kb+ZJ6LcZ25yNcSU+FUYhu hD9eKWn4pSsrleyoF798F6Mn7oIW2v8iJwdTxrlWW/kPGMLpoJtkLmNqe6ltzJXXq5gAZ9T9 Bx9CikBDRsJOrQaH0l9tCGnbA0k1xebDa+mKN0pEJa4mMOwMMU+Y8YGoF5cTK1G/Rejcymjx jycZ9uTJQB6ZtW4uLRscXquXWk9Fo7XIx6O18aq74vFGo6sF4GOmMUpA9fO5LEC93eudKDTs vtSh7JugX3I0Z09wTe3APyXfNiJ841o2o9TGclGNsyIS8wAylB7BH8kx9pFirQ=
Ironport-hdrordr: A9a23:6ql7DKBEL5gdioXlHelx55DYdb4zR+YMi2TDj3oBLSC9Afbo8P xG/c5rriMc7Qx7ZJhOo6HjBEDtexzhHP1OkPMs1NWZLWzbUQKTRekJgOffKlbbehEWg9Qttp uIBJIfNDSfNzZHZI3BkW+F+p4bsaC62ZHtuNvyi0hsVh1xL5tr5wB/BgvzKDwKeOHXbaBJbK ah2g==
Ironport-phdr: A9a23:zqvNUhNAWzR2E1GcmOUl6nY+BRdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6Qr1QKTFt2Fo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtMiTanfL9/L Au6oQrNusQXnIBvNrs/xhzVr3RHfOhb2XlmKVWPkRji+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuhffQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi8 6JmQwLmhSsbKzI09nzch8pth6xZvR2hvQRyzY7Kbo+IKPpwcKDTc9QGSmVORctRWDBNAoamY osPE+YMP+BVpJT9qVsUqhu+ABGhCvrryj9JmH/5w7c62PkhHw7YxgwgGcgBsHLJo9rrNaYZT OG7zKjMzT7eaP5W3jP96InWch8/u/GAR7xwftTLyUkpDQzFiEifppLkPj6OyuQNrnGX4Pd6V e2xkG4oth9+oj61ysgxlIbEn4QYwU3L+itl2og6P8G4SFJlbt6+FptdryWXOot0T84+Q29lu yg0x74JtJC1cyYEx5AqyRHdZvGDfYWF4w/uWPuTLDp6mH5reLOyiRa9/ES81+HxVMe53VhMo yFYnNfMsXUN2AbS6siBUvZ94lqh1S+S2ADJ9O5EOl07mrTdK5I737E/iIIfvlrZES/tmET5k K+WeV8l+uiy8ejnZa/mppCaOoRpiQ/+KrwjltGwDOglKAQDUXSX9f692bDh50H0QrVHg/srm aTHtJDaON8bprKnDA9Pz4gj6he+ACm+3dgEm3QMMUhLdwidj4fzPlHDOPD4Aum7g1SriDprw urJPrzlApXKM3jDjLjscax86k5dyAo/18xf549NBr4cOvL8RFTxu8HGAR8/KQC73vjoBM181 oMYR22PHreUPL7dvFOV/O4iLfWAaJUUtTv/MfQo5f7jgWc8mVAHfKmp2ZUXaGq/HvRjO0iZZ n7sgtYfEWgUpAoyVuLqh0OYUT5VfXmyWb8z6S86CY+9EYfDW5mhj6Gb3CilBZ1Ze35JClaWH Xj1aYqIQ/EMZzmKLc97jjMETaShS5Mm1Ry2qgP206BnIfbM+i0EqZLj08B46PHUlREr7DB7E 8Cd03yWQGxvhWMJRzo23LhlrkBny1eD17J4g/1CGtBJ6fNJSB82NYTAwOxiF9DyRgXBc8+VR 1m8R9WmBSg9TtYww98Vf0ZwAM6ijxDG3yqyGbAZjb2LBJou8qLdxXf9Pch9y2yVnJUm2hM8T 9RVNHGngKFX+g7IQorYlEPfmbzgPfAG0THX9XuCy2WmsUdDFQphVqODU2pJIgOcptPgo0jGU rWGCLI9MwIHx9TIYv9BbcSshlFbTt/iPs7faiS/gTH0TVyDz7aIKY7rYHk13SPHCUFCnRpZt SKNPA06QyOguH72DTp0FFupbVm6taE0kGm8SUEIzwyNdVxJ07uu5gVTj/WAS7Ua1fQZu21p/ w1uG1Gz49LbDMCRjw5gZ7lHJ9k0/FcB3Gmfqg8retTqIbtpihgVdAJ5slnj0R56IolLmo4kp zU31ExqNejQhF1afD/e1pf2NLDNJ2/58TijYKWQ1FqYzc7Q4rtZrLxyt1Xuuxu4U04l/HRs+ 9JOlXCZ+9PHABdYGcbtUksw7Qk/o7bVYyIV7JiS3nhxd6S4r2mGk5giAK4k0R+qctNbPeaZD wLoCOUeBtOyM6ohkl3vZxlCIeMYvPo/O4anbPKM1aqvMaN9hz+8lkxD4ZthyQSH/i86Q+WOw pVTkN+C2Q7ScDP9klq7+u76g4ZNYz0fDCKQyCysUIlVZ7N/Z8AFBH2oKsu7y8dWm4OoV2RV7 1KuARUK1Zn6KlKpc1Xh0FgIhgwsqnu9lH7gp9QVuzQgr67FmTfL3/ynbh0MfGhCWGhli17oZ 4myldETGkayPEAyjBXww0H8yuBAobhnaXHJSBJPeynoInskXKaqsLOEb8NdwI819ClNXf+wb FbcRrOu6wAC3XbbFnBFjCs+aynsv5z4mxJgj2fIK3JysnfDP8993xHW4tDRV9ZNw38KXiRjh TTRQFSxbJGy5dvBsZDFv6ilUn65EJ1edS6+1YSbqC6y/nFnGzW6lvG3ncD7TU4o0C+9y8QvW T/FtxrxZM/n2sxWKMpBeU9lTB/54st+QMRll5cowYsX0j4cj4mU+nwOlSHyN89a0OTwdihFQ zlD2NPT7AX/vS8rZnuU24L0UGmcycp9dpG7ZG0RwCc088FNDu+d8rVFmSJ/plfwoxjWZLBxm TIUyP1m73B/4alBvw4s0CiHRL4fB09ROyDhhTyU8pWytqhMaGupN7S9lQJ/kd2nELCes1REQ n+qH/VqVSR078h5LBfNyCiqttiiI4GWM41V6UDH9nWIx/JYI58wiPcQ0C9uOGan+GYg1/Z+l xtlm5ezoImALWxpuqO/GB9RcDPvNKZxsnngi7hTmsGO0sWhBJJkT38MWJr2QOjuHj8Is/3hO wucOCEh73uBFKHTEAnZ5Eos/BetW9i7cmqaInUU14AoQx2cOkFFxg4ZRjMzmJI0BCi22Ynta kpi6j0XoFL14EgpqKogJ1z0VWHRox2tYzE/Rc2ELRZY2QpF4l/cLc2U6u8b8zhwxpS6t0TNL 2WaY14NFmQVQgmeAFulOLCy5N7G+uzeB+ykLvKIb6/c4eBZUv6Jw9qo3O4Et36LMsSRM2MkA fAh3ENFUX1rM9jE3jkVRjcbmiSLY8PTqBqn+yJxp9yy67yyBFupvtPJVeQUbogn8gvT4+/LL +OKgSdlNTtUnogBw3PF0vlX3VIfjT1vayj4FL0BsSDXS6eD0qRTDhMdd2ZyLJ4Rs/t6hVELZ 5Gd1Y6ms9wwxuQ4AFpES1H7z8SgZMhQZnq4KEuCHkGAcrKPOTzMxcjzJ6K6U7xZyutO5HjS8 X6WFVHuOjObmnznTReqZKtLiCCFMQYYtoyndB9rBWXxZM77LxGhPcR7gDtwzbB+1RaofSYMd CNxdU9AtOja6idZnPhlXWJM9HxsK+WJiQ6F8qzUMJsNvfZtRCh53bE/gjxy2/5e6ydKQ+Zwk S3Zo4t1ol2opeKIzyJuTBtErjsYzJLOp0hpPr/Vs4VRQXuRtgxY9n2eUl5ZwrktQs2qoa1bz cLD0b7+OCsXucyB5tMSXoDVMJ7VaSZ4d0GxXmCLSlRfCmT6UAOXz01FzKPLqiTT8cZ88cKqw sBWDeQDHEo8EvdQYqh8NPoFJpo/HjYtkLrBydUN+WL7th7aAsNTopHAUPuWR/TpMjeQy7deN VMOxvvjIIIfO5eeuQQqY0RmnInMB0vbXMxc6ixnYAgupUxR8X94BmQt0kPhYwmp7TcdD/mx1 hIxjwJ/Z6wq+lKOqx8vIUHWoSIrjEQrsdDsgDSWbSKtarWxXcdKFm/4rUUqPp79BQp4LEWzk UFiKDbYVudRgr9nJgUJwEfXvZpCH+IZTLUROUNJg6rPIat3lwsB+UDFjQdd6ODICIVvjl4ve J+o9Tdb3h57KcQyLurWLbZIyV5ZguSPuDWp36Y/2lx7RQ5F/WWMdSoPoEFNOKMhIn/i+eht9 wGY3TVOYm4FUfYnsNp26wYxIembwy/mlbJOYBPUVaTXP+aCtm7MmNTdCEs3zV8NnlJZ8KJe1 M4id02JSxxp3rqRUQgUcMbYJBpZYswU+HWZLkPs+a3dhJlyOYu6DOXhS+SD4b0VjkyTFwEsB 40Q784FE/FEMWndJMbjK6MZlVM/5QStOEjAAO5EYx6GlnELrpPnpHeS9ZVAYz0HDH5xPCPx6 ruF/mfCb9KfQZI6eHoBUoYCcH47CpTSpg==
Ironport-sdr: 661550c9_ZLwDkE/8Nr7j7sAgcM8AXPHiyA1LWTeqvbwP7miChkhj5sF apcwvxtZZBDtaOc19zO/zKH0VygnDSRcXoakYjg==

[Apologies for multiple copies]

===============================================================
                             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 25, 2024 (EXTENDED)
* Author notification:               May 23, 2024
* Camera-ready version:        June 7, 2024

All dates above are ‘Anywhere on Earth’ (23:59 UTC-12).

* UNIF 2024:                         July 2, 2024

Invited Speakers
-----------------------
* George Metcalfe (University of Bern)
* Daniele Nantes-Sobrinho (Universidade de Brasília)

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

[Coq-Club] UNIF 2024 - 2nd Call for Papers (Extended Deadline), Oliver Fernandez Gil, 04/09/2024