coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Oliver Fernandez Gil <oliver.fernandez AT tu-dresden.de>
- To: <rewriting AT ens-lyon.fr>, <coq-club AT inria.fr>, <caml-list AT inria.fr>, <ProofTheory AT lists.bath.ac.uk>, <fscd.conference AT dcc.fc.up.pt>, <theory-logic AT cs.cmu.edu>, <cl-isabelle-users AT lists.cam.ac.uk>
- Subject: [Coq-Club] UNIF 2024 - Call for Participation
- Date: Sat, 22 Jun 2024 18:32:49 +0200
- 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:XvtGZqLAWHlkkiyyFE+RhJ4lxSXFcZb7ZxGr2PjKsXjdYENS02RSn TAbWz/SPqqNZWfwLd5/Otu2/UtSsZXcmNRgSVMd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf1s9JIGjhMsf7b9kk15K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuV3zx5/cxFGcNIaoi0Nd+P0NO9 +MAN2VYBvyDr7reLLOTT+BtgsM+MJWtLoIf/G19iD3DAO0qTJaFT6iiCd1whWtpwJsWW6iBI ZVEAdZsREyojxlnPVMWFp8k2umlnH/2dTFVunqJuO87+WXIwAF3lrTgWDbQUoXVHJQLzxnI+ Qoq+Uz6Kxc5FfKWkAG4rEOPlNDPp3LYQLorQejQGvlC2gTInDFKWHX6T2CTqv6gz0W6Rth3M F0R4iNorK4o9UXtQMOVdxaxpXrBuh8HR/JLAugi4UeMzLDV6kCXHAA5oiVpbdUnsMgrWWBsx F6J2c/0QDB1vaaZRHTb+rr8QS6O1TY9CWgfQS1bVS0+//7ZirA6sDDPTMl7D/vg5jHqIg3Yz zePpSk4orwci88Xyqm2lWwrZRrx/vAlqSZpt23qsnKZ0+9vWGKyT6CFgWU3AN5FJYedSUSd4 D4WmsjY8P1LAYuAjyCARqMBEdlFBspp0hWD3jaD/LF4qVxBHkJPm6gMu1mSw281aK45lcfBO hO7hO+ozMY70IGWRaF2eZmtLM8h0LLtE9/oPtiNMYMeM8ktKl7dpXw0DaJ144wLuBV0+U3YE cvKGftA8V5HYUia5GPtHrxHgdfHOAhkmji7qW/HI+SPi+PFPiPMGd/pwXOSY+s56qKfqwXYu 8tZNtWH0Q5eTOTzfmHb64MIIV0MRUXX9rirw/G7gtWre1I8cEl4Uqe56ep4K+RNwf4I/s+Wp SvVchEDlzLCaYjvdF/ihoZLMu2/BP6SbBsTYEQRALpf8yR5P9b3sfxELsBfkHtO3LUL8MOYh sItI62oasmjgByek9jERcCl9NIwRwfhng+UISuubR42epMqFUSD+cbpckGrvGMCBza+/5l26 bCx9BLpcbxaTSRbDeHSdK2OyXG1tiMjg+5cZRbDDeRSX0TOy7JUDRLNoMU5GOwyDCnS5yC70 l+WCCgIpOOWrI4S9sLItJ++rIyoMrVfGxNaFlbL87qGDHH++HK7yKQdCOqzJDPWUV3myoqce MFQ9fXdMeIGrnlOoYFTA7Zm9oNgxtrN9ptx7BVoI2XPVHuvUohfG3ih2dJdk4F03ZlbshuSd mPV3/cCIpSPGsfuMGBJFTofdu7ZiM0lwGjD38o6MGDRxXFR/oPedW5wIhPVqihWDIUtAbMf2 e175fInsV2uuCELbOSDoDtfrVmXD3o6VK4iiJEWLanrhicvyXBAeZbsMTD30r7ed+RzNlQWH RHMiJrgn7h8wm/wQ0g3H1XJ3stfgs0qkzJOx1kgOV+Iu4Tkgtka4R5vygk0Hz9llkh/7+FOO 2ZQJxJUI4eK9GxWn8RtZT2nNDxAIxy7wXbP7WU1ulfXdXT1aVyVHlYBYb6M2Gs771NjeiNq+ eDE6WT9DhfvUsLD/gozfk9H8/DYFN968zPQqu+ZAuCAJZ0bYCXksICqd2EnuxvqOuJvpUzl9 M1B3vd8Vr3/DgEU+5YEMoi90a9KbgKpP0lAcO5Rx7wIFmTiZz2C4ziCBESvcMdrJfaR00uHJ +FxB8BIDTKS6T2vq20FOKsyPLNEpv4ly94ccLfNJ2Rdkb++rCJsga3A5BrFm24nbNV/o/kTc rqLWWq5LVWRon9Il0vmjspOYDO4aOZZQjzM5rm+9eFRGq8TtO1pT1oJ7YK1mHeoKypiwQOfu VLSRq3RztE6879WoanXLvxhCTm3ePTJb8bZ1CCost9LU8HDDteWiSMRtWvcHlp3OZk/Zo1Js Iqj4f/N8mHLhrIUa1ziuoKgEvBJ7PqiXeAMPcPQKmJbrBS4W8TtwkUi/VrhDaNzgeFtwMqVe FelWuSNdPo+edRU9FtKYQdwTjcfDKXWaP/7hCWf9v6jNDkU4TblHviGq0D7XDp+TTAZHZ/UB ivfmeec1voBoKtiXBY7VuxbWblmK1rdaI4aXtzWtwjAKFK3g1mH64DQpTB55R7lUnC7QdvHu 7TbTR3DdTO3iqHC7Pddl6dQ5hQ3LnJMsdMcT3In2exdqm6FVTYdDOEnL585JIlekXXy2LHGd Tj9VjYeJhunbwtUUyfXwYrFZRieNNwsK92iBz0O/mGoUQmUKr6EIoNc8nZH3y8rVBrlle2pE IRLsDm4dB282YpgSusv9+S2y7UvjO/TwnUTv1vxiYruChIZGq8Hz2FlABELbyHcDsXRjw/eE ADZn4yfrJ2TEiYd0PqMekK53DkctTLryCg0MWGdwdaZp5jewPdN0/HyPaf/39XvqSjMyKEmH RvKq6mlugh6GUD/fYM1ppclm6JvBf+NWMS3REMmbRNHhLm+swzLIOtb9Rfij6geFMp3D06Ym iOh+HQzAgKJJSi9HVFQJRoho/pMb57HM90FYMMTa9MLfdzVAuU1oySX8T8=
- Ironport-hdrordr: A9a23:emOJiqrjldp8hQ+QfJoU1DAaV5oCeYIsimQD101hICG9Afb5qy nIpoV96faUskd0ZJhEo7u90ca7Lk80maQFg7X5Xo3NYOCFggeVxehZhOOJrgEIcBeOk9K1u5 0QEJSWROeQMbAs5vyKhjWQIpIc/PTCz6Cymf2b9X1kSgZnZshbnn5ENjo=
- Ironport-phdr: A9a23:RXOuDBTQpvFc7LoCEyVjexoHOdpsomyWAWYlg6HPa5pwe6iut67vI FbYra00ygOTDMOAsKwP0rKM+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba12I RmsowjcuMgbjYR/Jqot1BfCv2dFdflRyW50Kl2fmArx6N238JB/7Spbpugv99RHUaX0fqQ4S aJXATE7OG0r58PlqAfOQxKX6nQTTmsZnBxIAxPY7B7hRZf+rjH6tutm1yaEO8D9UK05Vi6j7 6dvTx/olTsHOjsk+2zZlsB8kKRWqw+nqhdiwYDbfZuVOeJ9cK3TctwVS3RPUMZMWSNdDY2xd JcPAukbMOpEs4XxuVkDoB2jDgesHuPvzTpIi2fv060+0uQhDx/J3BY9FNwOrnvUttP1O70UU e+o0qbJzCjIYfJX2Tf59YPFdRchofWNXbJub8XR01MjFw3bgVWKr4zqJTWV2fkTvGma9OdgS f+vh3c6pAFrvDev3dojhZfPho4P11/L6zx0zYAoLtK3VEB1e8SrEIdMty6ELYt2RNsvTm50t Sg017AKp4O3ciYWxZkk2xPSZP+KfouW7x/sVuucPSl0inJrdby/gxu/7FStxvH/W8Sq31hGs DZJn93Qun0Lyhfd5M+HSv5n8Ueg3zaCzxzT6vxdLU8pj6rUNYUhzaMumZoVq0jMAzH5lF33j K+QbEUk+/Kn5/7pYrX8oJKXKox6ihnmP6gzlcGzHP40PwYSU2SB+Omx1qfv8E/5TblSjfA7k bPVvI3EKckYvKK0BxFZ3pwt5hu+CTqtzcoVnX0aLFJeZBKIkZLpNUzPIPH5E/iym0ignTF2z P7cJLLhGI/CLn3bnbfhY7l970lcxRI2zd9F5pJUDrYBIO/vWkL+rtDZDx45Mwyuz+b7FdVxz 54RWXiRDa+CLazdr1mI6vgyLOaSfIMVuTD9JOY55/P2kHM0lkIRcbOn0JcLcny1H/ZrL1+bb HfsmtsBFH0Fvgs6TOzkkl2CVjtTam61X6I45zE7FpypDZ3ZSoCjnrOBxiG7EYdQZm9bFF+NE Gzld5mZW/sVdS2SONFukicZWre/TY8tzwyhuxHix7phNeXb4jcYuo771Nhp++3Tkgk/+SJsA 8SHz26NV310nn8PRzIuwK9/plV9xk6f3qh8nvxXDsde5+hJUwc/LZ7T1fZ2C9H0WgLbf9eGU kyqQtu8AT0pVNI+38cOY1phG9Wllh3MwzClA7oRl7CSAJw087nc32TqKsZmy3fG0bEhgEM8T stOM22mnK9/+BLJC47HiUXK35qtIPAG0THX9XuCy2WmsUdDFQphVqODU2pJIgOCptPgo0jGU rWGCLI9MwIHx9TUbuMeYdTsiRBCRez/ENXYeWO43WmqU1LAkouWa43kR2UQ2z/MIEwFiBwIu 3yPKQh4DyznvmGISHQ6G0nkbwXn9u9wpWm2SEQ55w2BZAtv3Pyo4lgNmarYA6cP3r8DojZkr zJ7HV2V1MmQAN+d4QdtYfMYKYc25BJGzmvTugh5M9m9NK14nXYach9rpAXl3hAxA44GjMt8/ 10wyw8nDqaZzl5bPx2Vx5b5PLHaOCHd/RTnP6nS20/TypCY970J4fI0pkfLoBzsGlAv6Hlq1 Z9Z3i3Ptd3xEAMOXMepAQ4M/B9gquSCCsFcz4bd1Hk2dLKxrieHwdUiQu0s1hened5bdqKCD g77VcMAVIC1MOJ/vV+vY1ofOfxKsrYuNpahc/qY1bTtMut6mjuggWlVyJxgl06W+jFwR+iO0 5tWi+qA0F6/XiznxEykrtixnIlFYT8IGW/qzizlGoNLIKN/Z4ACD2ujMeWr25BynZP2V3Nes lKuVBsdwMH8Xx2UYhTm2BFIk0QapXvygSyj0zl9iC0ktIKa1S3KxPn+KFwVO24NWHQngU3hO oS5iZYWUSBEdiAPkx2orQb/zqlf/uFkKnXLBF1PdG7wJn1jVa25svyDZdRO4dUmq3cfVuP0e l2cRrPnxnlSmyr+A2tTwiw6fDC2q934mRJ9kmeUMHd0qjLQZ8hxwR7V4NGUS+RW23IKQyxxi D+fAVbZXZHh+tGViZrZ9O6zTWSoUJFeYwH30MaMriag6WBsRxGy3riyltDhDQkmwHrjzdA5M EeA5B34Y4Tty+G7Kbc+IhAuXwe6tZU8Rdwt9+l4zIsd0nUbmJiPqH8OkGOpdM5exbq7dn0GA zgC39/S5gHhnkxlNHOAgYzjBRD/ioNsYce3ZmQO12cz9cdPXe2T6L1akDEzrFeiqwvXbfVvt isAjPc05WUWjudPtAdnnUD/SvgCWFJVOyDhjUHC6NS/sqhNImiia7650kZzj/i9EfSOuAxHV Hv/PJsvV3wVjI03IBfH13v97Zvhcd/bYIcItxGapBzHivBcNJM7kvdiaTNPAWvmpjVlzuc6i UYrxpSmpM2dLG4r+qulAxlePzmzZsUJ+zirg7wM1sqR2omuGN1mFFBpFNPvSfO2HShUu/n9M Q+IHDAugmuGXLbFEBST5UEgo3+HH52wNn6RLWUU1p07GEDbfxQZ3l9SA2hyl4VcdEji3MH7d UZl+j0drkX1rBdB0KMgNhXyVHveuBb9bz41TJaFKx8FpgpG5krTLYmf9rcqQ3gepcXn8lPLd THIAmYARXsEUUGFGV35a7yn5N2atvOdGvL7NfzFJ7OHte1ZUf6Mg5OpyIpvuTiWZaDtdjFvC eM23k1bUDV3AcPczn8ITy0JmjiLYcOBoh669iBlhtyitfjxVRnj6I3JB7YYYrANs1imxLyOM eKdnnMzLjJZyJ4Wg3HF0r4W2lIfmQlyanyhC7kbuSPLCq7d0PwybVZTe2Z4M81G6Lg51w9GN JvAi9/74bV/i+Y8F1ZPUVGy0tHsf8EBJHuxcU/WHEvefqrTPiXFmoukBMH0Aa0VluhfsAe8/ CqWA1O2dCrWjCHnDliuKb0e1X3CekcG/t/iNEk3TjKyKbCuIhyjbI0u0WRwnuNy3SmMbzREd mMkO1VEqrnahc9BqtN4HWEJrn9sLO3e3j2c8/GdMJEd9/1iHiVzketepnU80bpcqi9eFrRzn 2PJo9hirkvD8KHHwyd7UBdItjdAhZ6a9URkN6LD85BcWHHCtBsT5GSUAh4OqpNrENrq86xXz 9HOkur0JlIgu5rM+tAAAsHPNM+dGH8oMB7uBSKIShkETXi3KCTTnUFGnPyUsHGY79A7ppXqh JsSW+pbWVgyRZZ4QgxuGN0PJosyXytxyOLCypVQoyTh6kaMF6A49tjdW/mfAOviMmOchLhAP V4TxK/gaJ4UPcv90lBjbV9zmMLLHVDRVJZDuH4EDEd8rUNT/Xx5VmB21Vjib1bn53sSC/Ou2 BA7kA13Z+gg5h/w/hI7PFfRqCY21kU804aA43jZYHvqIaG8UJsDQTLzrFQ0O4jnThxdaASzm Ut5KGuCVbNRyad9MGxxhRTQtJ0JFfMWHsgmKFcAgPqQYfsvy1FVrC6qkFRG6eXyApxnjAI2c JSoohqoPip/cZs5P6HLKKdPiFRd1PrmVs6A0+kwxAgDOxpL4mKSPjIV/UASO6IqKizu8uE+s WRqdBNfZS0ATfcxrv9ssE8wab3o8g==
- Ironport-sdr: 6676fcc9_j3u9Rr1tOwjS8DNBIdYe9mTjnC40FQSh7ENj/oy7y+DK+vi jN++wS3CupN0qeiWH8h7gSIlwFF21444TL0aKeQ==
[Apologies for multiple copies]
UNIF 2024: CALL FOR PARTICIPATION
The 38th International Workshop on Unification
Nancy, France, July 2, 2024
A satellite workshop of CADE/IJCAR, affiliated with IJCAR
Website: https://lat.inf.tu-dresden.de/unif2024
* The International Workshop on Unification (UNIF) is a yearly forum
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.
* 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.
* Invited speakers: George Metcalfe (University of Bern), Daniele
Nantes-Sobrinho (Universidade de Brasília, Imperial College London)
* The details of the invited talks, list of accepted contributions and
the schedule of technical program are available on the webpage.
* Registration: visit the IJCAR registration webpage at:
https://merz.gitlabpages.inria.fr/2024-ijcar/page/registration/
(registration possible until June 24)
- [Coq-Club] UNIF 2024 - Call for Participation, Oliver Fernandez Gil, 06/22/2024
Archive powered by MHonArc 2.6.19+.