coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 13th International School on Rewriting (ISR 2022), September 19-24, 2022, Tbilisi, Georgia - Registration Open

From: Besik Dundua <bdundua AT gmail.com>
To: types-list AT lists.seas.upenn.edu, haskell-cafe AT haskell.org, types AT lists.chalmers.se, ciao-users AT cliplab.org, caml users <caml-list AT inria.fr>, erlang-questions AT erlang.org, ARW-COMMITTEE AT liverpool.ac.uk, cl-isabelle-users AT lists.cam.ac.uk, tag AT utlists.utexas.edu, boost-interest AT lists.boost.org, Association for Symbolic Logic <asl AT vassar.edu>, event AT in.tu-clausthal.de, prog-lang AT diku.dk, afsec AT afsec.asr.cnrs.fr, security AT fosad.org, gdr-im AT gdr-im.fr, gt-verif-permanents AT gdr-im.fr, tag AT cs.utexas.edu, planetkr AT kr.org, fmics AT inrialpes.fr, nwpt-info AT lists.ioc.ee, theorynt AT listserv.nodak.edu, comm-theory AT ieee.org, wi AT aifb.uni-karlsruhe.de, iclp-workshops AT sfu.ca, DSG <depsys AT macs.hw.ac.uk>, stp <stp AT macs.hw.ac.uk>, British Logic Colloquium <blc AT cs.nott.ac.uk>, cade AT itu.dk, haskell AT haskell.org, agda AT lists.chalmers.se, types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, laiv-announce AT macs.hw.ac.uk, lfcs-interest AT inf.ed.ac.uk, spls AT lists.cent.gla.ac.uk
Subject: [Coq-Club] 13th International School on Rewriting (ISR 2022), September 19-24, 2022, Tbilisi, Georgia - Registration Open
Date: Sun, 31 Jul 2022 11:43:43 +0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bdundua AT gmail.com; spf=Pass smtp.mailfrom=bdundua AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua1-f52.google.com
Ironport-data: A9a23:gPS/oa+zc4/uO0GJnG5HDrUDT3iTJUtcMsCJ2f8bNWPcYEJGY0x3y GQYDW2DP/iNMDT8c9wkbti/8k0G78LWytBiSFRq+HpEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHvymYAL9EngZqTVMEU/Nsjo+3b9i6mJUqYLhWVnV5 oiq+5a31GKNglaYDEpEs8pvlzs05JweiBtA1rDpTa0jUPf2zhH5PbpHTU2DByOQrrp8QoZWc 93+IISRpQs1yfuC5uSNyd4XemVSKlLb0JPnZnB+A8BOiTAazsA+PzpS2Pc0MS9qZzu1c99Z1 eUR7a6eZDsVJaTl3+EfVjRkUD5UMvgTkFPHCSDXXc27ykTHdz7xyqwrAhxse4If/elzDCdF8 vlwxDIlNEjSwbLrhujhEK8x3KzPL+GzVG8bknts0DfVEP8OTpXKQqGM7thdtNs1rpwRQK6AO 5FAAdZpRCXGPTFrPk0WM7Y/nfuyvinFbiAbrl3A8MLb5ECKlFAruFT3C/Lec9mOAMFUhVqwv XPD522/AxcANdXZxyDt2nmrn6rEmT7xcJkDEaWxsP9smlyagGIJYCD6TnO+qPi9z1O3ApdRd hZS9S0poqw/skesS7ERQiFUvlaZjkJEafR9L9Eh4SjKz6jRzjraGUILG2sphMMdiOc6Qjkj1 1msltzvBCByvLD9dZ573ufLxd9VEXhFRVLudRPoXiNevIa++NBbYgbnC4c8QPTs37UZDBmpm 2jSxBXSkYn/miLi6klW1VXOgjbpu5GQCwBovEPYWWWq6g4/b4mgD2BJ1bQ5xaYQRGp6ZgPZ1 JThpyR4xL1fZX1qvHHdKNjh5Jnzu5643MT02DaD5aUJ+TW34GKEdotN+jx4L0oBGp9aJG6zO BKD41MMvMI70J6WgUlfM93Z5yMCnfiIKDgZfq28gidmOcUvKlHepEmCm2bJjz+0ziDAbp3Ty b/CKZr2ZZrrIatgyzWySo8gPUwDl0gDKZfobcmjlXyPiOLADFbMEOttGAbQM4gRsfzcyC2Io o43H5bbkH13DbyuCgGJq9J7BQ5RdhATW8upw/G7g8bYfmKK7kl6VqeNqV7gEqQ595loehDgp SznBRcBlQKn2xUq62yiMxheVV8mZr4nxVpTAMDmFQ/AN6ELbdn94aEBWYEweLV7puVvweQlH fYAcsSERP9IT22fqTgaaJD8qq1kdQiq1VreZXr7PGBncs4yXRHN9//lYhDrq3sDAy+xgs00/ O+t2wbddpwcSlkwF83Rcv+ukwi8sCFFyuJ/VkfFOPdJf0Do/NQ4IiD9lK5lLMQFKBGFzTyfj l7EDRAdrOjLgok07NiZ3fDe/9n1S7NzRxMIEXPa4LC6MTjh0lCimYIQAvyVeT39VX/v/Prwa OhQycb6OqJVkVtPtb16DO83n68z4t3Yp4hawB5hK3PFYgn5EbhnOHSHgZBCu6ARlL9UvQy6B hCG9tVAY+7bPcrkFBsMLVNgYLnZk/4TnTbW4LI+J0CjvH17+7+OUENzORiQiXwCcOEkbtt9m epx6tQL7wGfiwYxNorUhC5j8WnRfGcLVL8qt81HDYK32BAnzEpOPc7VBiPsusrdbtxNNgw3K 2bRiveYwbtbwUXGfjw4En2UhbhRgpEHuRZryl4eJgTWxoCU2KdvhBABoy4qSgl1zwlc174hM GZcMUAod76F+C1lhZQeUm2hc+2b6MZ1JqAsJ5o1eGzlo42AU2XMKCggML/I8h1DtW1beTdf8 feTz2ONvfMGui3u9nNaZKKng6WLoR9NGsnql8WuHsDDFJ4/CdYgqrH7fnIG8nMLHuto7HAqZ oBWECJYZqjyNCpWqKo+Y2VfOXL8VzjcTFF/rTpdEG/l0I0SlPxeGdRDFqxpRv5wGg==
Ironport-hdrordr: A9a23:xgoYmqhpxOo/qvqodExpwTg9+3BQXtcji2hC6mlwRA09TyX4rb HIoB1/73XJYVkqKRIdcLy7WJVoIkm8yXcW2/hyAV7KZmCP01dAR7sSiLcKrQeQfxEWNdQw6U 6jScVD4RHLYmSSRPyV3DWF
Ironport-phdr: A9a23:Q4li2B29q+Ho4A6psmDOhQoyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaEo6831BSQB9yTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7ye6/94fNbwlWmDaxbq5+I AuroQ7MqsQYnIxuJ7orxBDUuHVIYeNWxW1pJVKXgRnx49q78YBg/SpNpf8v7tZMXqrmcas2S 7xYFykmPHsu5ML3rxnDTBCA6WUaX24LjxdHGQnF7BX9Xpfsriv3s/d21SeGMcHqS70/RC+v5 Ll3RhD2lCgHNiY58GDJhcx2kKJbuw+qqxhmz4LJfI2ZKP9yc6XAdt0YWGVBRN5cWCNBDI2yb IUBEvQPMvpDoobnu1cDtwGzCRWwCO7tzDJDm3/43bc90+QkCQzLwRIvH8kPsHTXsd77OroSU eaow6nV1zrIcvRb1izg54jVdBAuvOyMUqhrfMrezEkgDQLFjlGKpYP5ODOV0/0Avm6G5OVvS eyhkXQoqx1tojex3McsjJHEi4EJx17K9ih03og7KcG8RUN7f9OpDptdui+aOoZ3QM4vTWFlt Sc6x7EYpJK3YCwHxZclyhPeZPGKbpaF7xbsWeuXPDx2inVleLeliBaz90it0vH8VtKp0FpQo SpKjMHAuW4X2BzI6smIVvt98V2g2TaVzQzT7ftEIU8ymKHGKJAh2qY9moQPvUnHBCP7m0X7g LWIekk65OSk8eTqbqvgq5SBLYF7kBv+Pb4rmsGnAeQ3LAwOX2+D9OS5zrLj/En5TKxXjvIsj 6XVqZ7aKMQFqqKjDA9V1YEj6xm7Dzi4ytgXgX4HLFdddBKGiYjmJU3OLejmAfujh1mgijRmy vDcMrH/HJnBMGLPnbf/cbpl7k5T0gszzdRR55JODbEBJer+VVTsu9zFCB82LhG0zPz8BdVy0 4MRQ2OPAquDPKzOtl+I4/ojI++Xa4ANojbyN+Al5+LyjX8+gVIRY7Gl3YELZ3CgAvRmP0KZb GLwjdgbFGcKuhMyTOjriF2ZTT5efG2yXqI55jEjEo2qF4bDRoa3gLyAxii3BJNWZnpeBlCWD Xjob5mEW+sLaC+KPsBhlSUEWaG9RI8lyBGhrxT3y6FnL+rR4i0Xr4jv1Nlz5+3JlBE97yZ4D 8qH0zLFc2YhgnIQSiRz2KFkvWR5y0yfyu5jjvVDU8FL6vVPFAo2KNqUz+VhCN32XkfKd9mEY FavWdarBTV3Scg+h5cScl5wAP2mjwvfxGyhA7YRkrGRH9ov/+aU1Hn4IINg0Hvcz4Eqi1g+R sJFc2q8ieo3/AHWA8bUiEiDjO7+fq0Z2GvJ9Xyf5WuIpkBRFgBqB+GNUGobb03Z6M3k61jeT rioEpwqKA9Iz8HELbFFLpXAt2oDb9DGHfXiX0+cs2OxGxuS3rSLaMzjcCMA32GVA0xBkhsa9 3uCMQV7GzysuXn2CD11CUmpaErpt+B17m64Cgcoxg6iclFl1qGp4VgImfGMQuhV074Z/G8rr DJvABO82c7bEdebuyJlfb5AepU351BcySTerQM5drW7NKdph1cCcgNx903pzV1MG4BKlswrp zsOywVzIurM2UhFXy2Rxov5IPvaJnSkuFiidaPQxnnf1pCK5+IE7P0lsEnjtQXvGkdmu2191 NYQ13Ka6b3GDQkPF57yFg4++QN3rJnTbDIw7MXdzmcqOq+uqXnMwZZhH+Yu1wyhY8Z3PqSfH QO0FNcVQ4ChJPZvml2BYR4eeeFXsqAue4upa76Y1bSqMqN4kSijhGJK5pxm+k2A7W99T6jGx dJN3/iX9gCcESrggUeoqYb6lZ0ALSkWF2yy1Sv+LI1LIKpocsJDB2KvKNafx9NkhpfpQ3NDs lC5QxsAx9e1PBuUYVvV2QxLyV9RoHus3ya1i3RokzwutLuZwATKwv/+bxcdJChNQ2VrjhHhL ZXwx9sdWU3tcwgkkwG0zUf3yqUdo75wayHMQG9Bfib8aXxkU+6zv6CGeNRS6J5uvSgTGOW3Z UjfVbnnoAAa1Dv4N3BQ2XYwfnXilq7W10h2hXqGPW1bqXPSYodw2lHW75rBRqgVliEaXGEsk iXPLl21NMLv/crSnpyFr+PoEyqLTJxPcDLrhaeHuyqwrUZtBRm4hu2yh9ivRQI+2gfwzJ9sU jnU6h/3JJTogeDyOutrc2FpGEK658k+UoF3iYg9gJU42XEBhZiR+TwAi2i3edxU1avWaHsWW SVNyN7c5A3owlYlNX/Nj57oTniGh8JnYd6nZGgb8iY89NxRTryZ5acCgDN4pFz+oA7MJbB2m S5Ywv8z4lYbhfsIsUwj1GHVBrkTAwxROyrrihKD4vi7pa5MImawN7G7kld92ZilArqZ5wBaR Hvjd4w+NS524INyPBTF2zvu6cWsY8HUdvoXtwaIiFHLgu5Jbp01n7wDjmx6OjHTp3ognsQ2l h1tlb2nuoSaIi059q6kBBJFPxX6YsoS/nfmiqMIzZXe5JymApg0QmZDZ5DvV//9VWtK7ZwPV i6LGTw48DKAHKbHWBWY4wFgpm7OFJaiMzeWImMYxJNsXkrVP1RR1SYTWjhyhZslDkay3sW0e ktk4DwM73b3rxJNzqRjMBysGnzHqlKQYywvAIOaMAIQ6whD40nPNsnL5O5uGS1F97WuqQWML iqQYAEbRXoRVBmiAFbudqKr+cGG8+WcAb+mKODSZLyVteFEf/KBxJbqz4I/ujjRbIOAOX5tC /B90U1GNZxgM+LenThHCykeliaXKtWeuA/54Cp86Ma27PXsXgvro4qJEbpbd9t1qViwhu+YO uiciTwcS34Q344QxXLO1LkU3UIDwyBoeT63FL0ctCnLBKvOk65TBhQfZmt9LsxNp6472wBMP 4bchLaXnvZyguMzB0pMfVPkk8CtI8cNJiD1NV/KAlqKKKXTPSfCkIn8ZaKxT6EVjf0B7UXh/ 2bGVRW5ZHLezWqMNVjnK+xHgSCFMQYLvYi8dkwoEm3/VJf8bRb9NtZrjDowyLlyh3XQNGdaP yIvFiEF5rCW8y5che1yXmJb6X8wZ+OIhiCV8uDwJZMfsP8tCSNx3bE/gjxy2/5O4SdISeYg0 iHes9hivliOneyGyz4hWx1L4GUDlMeAukNsPr/c/59LVCPf/R4D2m6XDgwDu9pvDtCHV7l48 tHUj+qzLT5D94iR5s4AH43OL8nBNnM9MB3vETqSDQ0fTDftO3uNz0BalfiT8DWSoP1Y4tDml IcIRqJSfFMwH/IeTE9iGZQOLYx2UTUtjbOAxJRQtDzu8V+LHp8c48qPX+naGfj1LTeFkbRIA nlAiaj1K4geLMyz2kBvbEV7gJWfHkPRWd5XpSgyJgQwoUhL7D1/VjhpgxOjOl7ruiVJU6Puz XtUwkNkbO8g9Snh+QIyL1vO/m4rlVUp3M/iinaXeSLwK6G5WcdXDTD1vg4/KMCeIU49YAusk EhjLDqBSahWiu4qf2x2jgPBsLNAHPddSetPZxpalpT1L704lE9RrCmq3xoN7+fYD5d/nSMld JetqzRL3AcpP5YlYKfXIqRO1F1ZgKmD6zSp2u4GywgbP08R8WmWdX1t2gRAJvw8KiGv5OAp9 R2alm4JZj0XT/Rz6KEi5gYnNu+H1S6lz7NTNhX7KbmEN63A3gqI3c+QHgFriwVRxhEDp+Qpl 59kKRbcVlhznuXNUU5Sboybd1kTN40LpTDSZXrc77uLmMoved37TqeyFYrs/O4Vmh72QlhvR dhdqJRZWMHrihmQLN+7fuFfj0xxol26fhPdS60ZMBOTzGVY/4fmlsIxhc8FYWhDZAc1eSSvu uSO/l9s2aXcGodwOjBAB8MFLi5kAZLh3XcI4zIYSmHwi7xRyRDevWWk92KAUX+lNYolPLDNO nYOQJm34WltqfHozwOHtMyPfSeico0z8t7XtbFA/sjBUagFC+In9R+bwtgQUXWuVySn/cedA Z/2ZsFsaNX1Diz/SVmjk3cvSMy3Ot+xL6+OiAWuRIBOsYDd0ipxfcm6XioTHRt9vYRhrOp1e BEDbpwnYBXpqxV2NqqxJx2d28mvRGDlICVfTv1Wx+G3L7JNyC9kYui/wXomBpY0qov/uVYKX 40PhwrCyOyLYoBfVW3uEyUYdViV4yU+kGdlO6A5xeJ+iBLEvF8AMiyaIexkbGsX2rN0TViWI HhwFi85XwrG1duFslPqhepIuXYHzLM2maVfvXPzv4HSemepUa2v89DOtjY4KMIhqOt3OJDiJ c2PsNXfmCbeRd/eqF7gMmbyGvxEl9xXOC8dTuNPnDRvM8Abv4Zc4GI+U84/I/pED6xm9dXII XJ0SDUfyyMUTdbKxDsZnuK1wKfXjD+VeZUmdQEN6dBM34FbXClxbScT4qSkUs+F8g3MAnhOK wAV4wNW4QsGnYIlZeHp7r3DS5pUwiJXqfZ5OsMqPpxh9l++V2jPxFalErOulOum2Q8Ux/Xpg IFzsPFXBk1UxuIQnUwteugfw0w4sYvDszvOfkT/7jqF9Q==
Ironport-sdr: pDcGXyQrHOG5/p+jVEhETYEzk/XDTgGWqQUZWgZo5CU62EgD29a73Joexti7HByrlwGmiTXPWU EOxNQRlikWZdTKDKR6gjWP81Y13Da79GMaKWF1mUZgs1BSP17U6g6/3eiuOO+QEWO9p1C3PHs0 /b67VP3IoB9cehAz4SyRJiPTkQvFfJbRlVAZ6rlq/NLxxIfwbnoMNaZTjoNxiK+tXQ6BBBDLZo aYCPWrOmNyKau6hzci/rfJRoOjdLxaSk06uvasWoIN/TRPBg4i8dDtgCiYYjQSMzuArhA6zagf z80/ln+eQdP13TnKOM9DxI0V

=========================================================
13th International School on Rewriting (ISR 2022)

September 19-24, 2022, Tbilisi, Georgia
https://viam.science.tsu.ge/clas2022/isr/

Part of the Computational Logic Autumn Summit (CLAS 2022)
https://viam.science.tsu.ge/clas2022
=========================================================

Term Rewriting is a simple but powerful model of computation with numerous applications in computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification. Rewriting-based techniques are useful in many other fields as well, for instance, in quantum computing, biology, music...

The 13th International School on Rewriting (ISR 2022) will take place at Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The school is aimed at students, researchers and practitioners interested in the use or the study of rewriting and its applications and offers two parallel tracks:  

- Basic track: introduction to first-order term rewriting and λ-calculus
  with lectures by Aart Middeldorp, Sarah Winkler and Sandra Alves

- Advanced track: lectures on rewriting theory and applications
   - Probabilistic term rewriting, Martin Avanzini
   - Protocol Analysis using Maude-NPA, Santiago Escobar
   - Automated Termination Analysis of Term Rewriting, Carsten Fuhs 
   - On the Confluence of Rewrite Systems, Raúl Gutiérrez
   - Theorem Proving with Applications, Christopher Lynch
   - Rule-based Programming with Rholog, Mircea Marin
   - Tree Automata Techniques for Term Rewriting, Aart Middeldorp
   - Modeling and Analysis of Real-time Systems in Rewriting Logic, Peter Csaba Ölveczky
   - Formal Methods for Machine Learning, Caterina Urban
   - Constraint Programming for Analysis of Rewriting, Johannes Waldmann

==================
REGISTRATION
==================

For the registration visit the Easychair system: https://easychair.org/conferences/?conf=clas2022

The registration fee is 200/250 Euro for students (early till July 31/late till August 31) and 350/400 for non-students (early till July 31/late till August 31), which will include access to school materials, coffee breaks, and social events (excursion and banquet). The registration fee for an accompanying person is 150 Euro and includes only social events.

Participants affiliated with Ukrainian universities will have the registration fee waived. Further support will be announced if funds get available. 

==================
ORGANIZERS
==================
Besik Dundua
Temur Kutsia

Contact:  bdundua AT gmail.com

ISR 2022 is promoted by the IFIP WG1.6 and supported by Ivane Javakhishvili Tbilisi State University.

[Coq-Club] 13th International School on Rewriting (ISR 2022), September 19-24, 2022, Tbilisi, Georgia - Registration Open, Besik Dundua, 07/31/2022