From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=Qd8/Lqn4; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id A6B8940086 for ; Thu, 21 May 2026 14:56:39 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:from:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=slIhePu+G2CtRWT68D5vSXW4F3oFLHrwPTV+1900TjU=; b=Qd8/Lqn41nK52EJWbDGQi+gD+RLfA67SyAUG1HZL0kzv8tKOLQVd/qCo kx9SICS5e8FWamnXR4k6wUuY2fU3RJjO7eROhQixUL9lOEI0JRUOy+cUd 4lt9AtPaoE7arxQTJU+0MI+V9RppBJtJ/PqeYbM4be8bpFBcZeAZ5sqLI U=; X-CSE-ConnectionGUID: JPnukI6nRFyRPnv7KpVDCA== X-CSE-MsgGUID: VPtBzj/vRYyQQrCir8x0Zw== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.23,246,1770591600"; d="scan'208,217,223";a="277642817" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 May 2026 16:56:39 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 7790681FDE; Thu, 21 May 2026 16:56:39 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 4C49E81F43 for ; Thu, 21 May 2026 16:32:54 +0200 (CEST) X-CSE-ConnectionGUID: EFZ22ZpTRRyXTiAQivlM5A== X-CSE-MsgGUID: xcNDfuAMRbWZ8BbnRzN+BA== IronPort-SDR: 6a0f1795_FhWzjXN1QkNO9gnlDeggtqvNH6YyCAVikk6LwIMwXKcTHIR jf76TzjZ4TqQ9wHovIzmWxq+jQMHBbyiBIqex2g== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GgQAAUFg9qd8EeroNaHgE8DAILgWQDghYpgQhfMwQLS?= =?us-ascii?q?YRYiHuIeWydM4F8Ag8BAwELAQE7FgQBAQECBIN+jjcfBwEENgQNAQIEAwIDA?= =?us-ascii?q?QEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAFDSYZPDYJbgSyBJgEBA?= =?us-ascii?q?QEBAQEBAQEBAR0CFBKBDh0BASYDD1wCcQIBAYImUwQBAYIiBxEDNgMEDbYog?= =?us-ascii?q?TKBAYIMAQEGgmrYRwN5gWcDBoFOiFcBKoE1AQKEEwGEAXqCC0SBPAsDggU9A?= =?us-ascii?q?oF0gVwDARiFIYJpgiZ6EhuESQuKHYFEIgMmMywBVRMXCwcFgWYDgQZuMh2BI?= =?us-ascii?q?z4XM1gbBwWBS4E3gVyBBIRXeCMsA06BLYE4AgELbT03CQsbiz1dHA+DCWACE?= =?us-ascii?q?4FEWpNNnhuVFweEH4welT8GQpdmgS2RV4gDkQKMD4F6lWEthH4CCgcYggIOE?= =?us-ascii?q?hCBTDMaL4MrEz0DGQ+NfzmDa4RvwlgDQjUCAQEBOQEHAgcOAoFzkDSBSwEB?= IronPort-PHdr: A9a23:vSvG/B3Ak369rA5VsmDOwg0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeCo601xwaVAtqHo7Ic0qyK6PymATRBqb+681k8M7V0HycfjssXmwFySOWkMmbcaNPMUWkRM f8GamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj4tvJrwtxhfVrXdEZutbyGFqKF+cgh3w4tu88IN5/ylftf8s+NRMXbnmc6g9U LdVECkoP2cp6cLkshXOURGB7WYGXGUMlRpIDQnF7BXkUZr0ryD3qOlz1jSEMMPvVbw6Viys4 KhyRBL2hykJKiY1/27LhMN+iqJbuw+hqAdkw4HIeoGVNeFxcb3bcNgHWGdORMdRVyhGAoOhc 4sCCvcKMOhEo4XhoVYFsB2zDhSuCuzy0D9FnmP506403esuHw7IwgwuEc8VvXvOsNn4Lr0fX fyrwKTKyzjIcvNY2S366IjNah0sv/GNXbRsccrRyEkgDR7OgFCXqYz9IjiY0foAv3Ke4epnT eKikHIoqxprrji128cgkI/JhoYMx13C6C52z5o7K8eiR05nfd6rDoFQtyeCOoZ3Qs0vQn9lt SQnxrAFtpC1czYGxZs5yhPbdvCLbYaG7w/iWeueIDp2im9pdK+xihiy70Ss1u3yW8uo3VpWr iRIlMTHuH4K1xzW8MeHS/1981+72TaSzQzT7OVELVgzlarGN54hxrkwlp0QsUjZAiD2n0D2g amLfUsn4uil8/nrb7v7qpOGKoN5iA7zPr4gl8CjG+g0LwwDUmaD9eih27Du/Vf1TKhXgvA3i KXVrZHXKMABqqO7AAJY1Jso5QylADe8ytsYmGEKLFJbdxKDiIjkI0rOIPXkDfennVigiilrx /XcMr36HprNL2bMkLH9crlj8UJc0hczwcpZ55JQEr0BIfTzVVHttNHAExM0PRG4z/z6BNh/2 Y4SQ2yCDrODPK/PtVKF6PojI+yWa48UvDb9JeIl5/nrjXIhh1IRZ6yn3ZwPaH2jAvtmOF+VY WDxgtsbF2cKuhIyTPb2h12aTT5Te3GyUrog6T4hDYKmCZ7PRoSsgLyawCe2BYZWZ2BDClCUC 3jkbYSEW/EWaCKTOMBtiDIEVaK5R48nzh6hrBX6xKZ/LurI5i0Ysoru2MVt6+3cix4y8j96A d6F3m+VSW94hnkISCEo3K58u0Jw0kyD0a1kg/xAC9Bf/ehJXRs7NZHCyex1F879VhjbfteUU lqmRNGmDSksQdIywt8OZl5wFc2tgB/NwSSkH6MYmbqTCJMp96LTxWLxKNplxnjezacvl1YoT tNUNW2+iK5y7xLdCpLUnUuEj6qqbrwc3CDV+2eD02WOuEZYXRZoX6vcRX4RaRiekdOs7UrHS /qqCK87GgpH08+LbKVQOfPzilATb+blJNTfaiqSnH/4UT3O5bSURIHxPX8AmiPZXhtX2zsP9 GqLYFBtThyqpHjTWWQG/TPHZkrt9bI7s3anVgovyBnMaUR91r2z8xpThPqGSvpV0KhX8Dw5p WBSG1Cwl8nTF8LGvxBoKY4aQtQlyFxck3jE8Qp5bdS7N643vlcFaExsul/2kRB+C4FOi88v+ Vhs7w1qAamDlklcMTWcjtjrIrOCDG708Vi0brLOnFHT1NHD4qAU9PExsEnupimyE1Y6qTN51 p9O2HqR4J7HShAPF5T1Oqou3z59obySIiw05oePkGZpLbHxqTjandQgGOoizB+kOdZZKqKNU gHoQYUcAIC1JeomlkLMDFpMNf1O9KMyI8KtdueXkK+tMuF6mTu6jGNBqIlj20OI/iB4R6bGx ZEAi/2f2wKGUX/7gjLD+ojc36NDfRkZBSyl1G7iAM8ZZ6F/e5oKFXb7O9e+lZ11g5/gXWId9 Ub2Xghfnpb2JVzJNxqkjFYDsCZf6Waqkia50TFuxjQgr67EmTfL3/ynbx0ffGhCWGhli17oZ 4myldETGkayPG1L3FOo41j3w69DqeFxNW7WFA1jOQvxN0lpSe2qq/yEZ4QcoINtqihRXOmmN BqxDJ36uzMRyGX5Ai1YwHpoElPi8oW8lBt8hmWHKX91p3eMYsB8yyDU49nETOJQ1D4LLMVho QHeHUP0f9yg/NHP0ozGrvj7TGW5EJtabSjsy4qE8iq9/2xjRxOlzbi/ndjuEA5y1iGetZEif mPrqw7UaZKtzbn8N+YvckRzBVD64tZ3AcknydJ23c5MnyNCwMzEpjIOii/rPM9e2L7iYXZFX jMNz9PPoW2HkAViIn+P24PlRyCYy8placO9ZzBe0SY84sZWTaaMueUfxG0s/Qb+9lqXOKkmz VJ/gbM05XUXgv8Eol8oxySZWfUJGFVAeDfrj1KO5sy/q6NeYCCud6Kx3Qxwh4PEbvnKrwdCV XL+YppnEzV365A1GxTv12Xb4ZqiYsSWa9ZZ5VWE1gzNieRYMsd7vbwpgjJPMnm7p2Bjzepx3 nkMldmq+YOALWtq5qewBBVVYyb0a80k8Tbola9Cn8yS0tPnDtB7Fz4MRpetUeOwHWdYq6H8L wjXWm5ZyD/TCf/FEASY8ksjs3/fD8XhKSSMPHdAhdR6GEvEfxUZ2V9IGm5i2MJkXgGymJ64K x4/v29NoAWg7EQVr4AgfxjnDjWG/17uM2hoDsPHakMHtUlD/xuHaJfHqLssQ2cDptv79FzFK 3THNV0TVCdQBRDCXg6lZ+X1gLuIu+mAWrjndKKIOOrS77UAEa7Umdquytc0pm3VcJzQYj87U btihhcLXGglSZ2CwnNWFHBRznyLNpPLwXX0sixv8pLmq62tAV2zo9DXTeEKaZ1u40zk2Pzac bfP2GAob2cDnpIUmS2Rk+FZhQFOzXgwMWDxTvwWvCrJBso8g4dxCBgWI2N2PcpMtOcn2xVVf NXckpXz36J5ifg8DxFEU0bgk4enf55CJWb1L17BCEuRUdbObTTW38H6Z7+9QrxMna1VsRO3o zOSD07kOHyKiTDoUxmlNewEgjucOVRSv4S0cxAlDmaGLpquchqgLNp+liE725Uvg2/SbygCN H5neEJAqLadqzlFxPN7WiRA4ndjMeiYinOZ4u3fefN0+bNgBiV5kf4f4WxvkuAMqngbGLouw G2L/4U9xjPu2vOCwTdmThdU/zNChYbQ+F5nJb2c7Z5YH3DN4BMK62yUTRUMvdpsTNP16MUyg pDCkrz+LDBa/pfa58wZUoL/buGAKFIqKlzzBXjSCEFWKFzjfXGanEFbnPyIozeNqYMmr5H3h JcUYqReSERvUO0fTF9uHdEEK5oxRC5il7rR36tqrTKu6RLWQstdpJXOUPmfVO7uJDiuhr5Bf xIUwLn8IOz716Xg3lB6MB9kmcLREEvdW9tA5Dd8KAkw8h0lGJ1WRXZ1wV+jbAf/uBf7+ta/h Vgsl014ZbZ0nAo= IronPort-Data: A9a23:YRcFha1m5xAIeVeqhPbD5fd1kn2cJEfYwER7XKvMYLTBsI5bpzdUn GEcCjyCOaqPY2Cnc9h/O4m/oxkHupWEmN9lQQBuqSg9HnlHgPSZOdnIdU2Y0wG6fpSSFho/h yk9QoCdd55sFie0SjOFaOWJQaxUjPnQLlbEILeafHg3GUk8EXlJZStLw4YRmpRvjcWyHzSDs Nbzp9y3EFK+0laYCEpNg064gE0p5q+aVA8w5ARkO6gW5gaGzhH5MbpGTU2PByugKmVrNrXiL wrz5OnR1n/U+R4rFuSknt7TGmUWQqTfNBS5kXFfXa6vmHBq/kTeBY5mXBa0QR4/ZwShx7id+ v0U3XCDYV5B0pn3pQgoe0Uw/xdWbfQXouefSZSImZf7I0XuKxMAyhj1Za08FdVwFu1fWAmi+ RGEQdykg9/qa++emdqGpudQassLAefZZtktok1a9yDpMfcPeJHdR4CXzIoNtNswrpgm8ff2f M8FcWApchGGeBZON1EcBdQkgaGughETcRUB8wvT/PVrpTOLilUgi9ABM/KNEjCObe4TvUGAj mnduX7kRBceXDCa4WPZrSv93L6Wx0sXXqoCH5uU+ONDpWeZ+V5DIhcQb0md4tOQ3xvWt9V3c RVOonByxUQoz2SgR9z5Ghm5u2KspQ8ZQ9MWEusg6QjLxLC83uqCLnMBUiYbLscttcIwTjFsz ELPmdeB6SFTXKO9ZFyvrO2mtQ+IAzklEW4rXC4aSS5Yyoy2yG0stS4jWOqPB4aTqrXI9dzY2 DWWtHJ4nL4SgMgA2uOh4BbBh1pAR6QlrCZrvW07vUr8v2uVgbJJgKTytDDmAQ5odtrxc7V4l CFsdzKiAB8y4WGlznXXGL9RdF1Yz+yMPDfbnFInAp8g6Tm34H+/cIFMqDd/JkJkPcsCEQLUj LvokVoJvvd7ZSL6BZKblqroWqzGO4C5RIy9Dpg5r7NmPvBMSeNw1Hs/PhXOgDuxyhlEfGNWE c7zTPtAxE0yUcxPpAdajc9EuVPy7nlmnTmBdoOx1Bm9z7uVaVicTLpPYhPEbfk04OnA6E/Z+ spWfZnCgRhOcvzMUg+O+64qLHcOMScaA7LyoJdpbeKtGFdtN1wgLP7z+okfXbJZsZ5brNqVw UHlaHRkkAL+oVblNTS1bmtSbeKzfJRn8lM+Ey8eHXep/HkBTaKs8LkUWrE1dqh65eBYkON+Z NgeWsC6Gv8UYC/2yzccSpjcrYJZaxWggzyVDReleDQSe51BRRTD393VYTvU6ygFCxSoufsEo 7GP0h3RRbwBTV9ACPn6Re2OzVTrm1Qgg8N3AlX1J+dMdHXW8IRFLzL7itk1KZouLTTB3j6r6 BaEMywHpOXio54Hz/eRvPqq97yWKupZGlZWO0L57rzsbCnTwTeF8L96Ce2NeWjQaXPw9KCcf t5q9vDbMsAcvVN0ooF5QqdKz6U/2oPVnIVk7D9YRVfFU1f6LYlbACii/dJOvahz1LNmqVOIe kaQyOJ7Z5SNGu3YSWA0GiR0T96+xck1mybT58sbOE/VxjF615vZXFRwPyujsj18Lrx0O9l8m ewNmdMa7lSigUAMKuS50yJmzDmdIkddTq8Ml4o7BbXzgVEB0WByYp37Cw737qqQat5KDFIYH z+MiIfGhJVe3kDnYVNqMVTsh89z3Y8vvjJOx388f2W5oMLP3KIL7UcA4AYJQRRw5TQZ9eBKY 0xAFVB/fIeK9BdW3PlzZXimQVx9NUfI637K6gU7kUPCRBOVTU3LFmo2PNiN8G0/825xejt6/ qmS+F36UATFLd3A4S8vZXFL8/DTb8R91gnnqvCVG86oG5obYz28poSMYWEOiQXsAOJvpUnhi NRpwt1NavzABXZNm5E4NoiU7qRPaRamIGcZf+pt0plUFk7heRaz+wO0FWaPRu13Kcfny3SIU /5VGpoXVjCV9jq/kTQANKtdf552hKEI4fQBSJPKJEkHkZe7rSZ3u7/69CPv2X4neIhzm+0cM aLUTSqJSUaLtEtXmkjMjuVJBTfgaPYAZCzRwP6+28dYM7khoe1TYUUJ/b/shEqsMSxj5AOyv inPQ4T03t5S491gsKW0G5oSGjjuD834Udq51TyasvNMXIvpCtjPvQZEkWvXFV1aEpVJUusmi InXlsD82X7Em7MEU2r5vZ2lPIsR7OWQWNtnCO7GHEN4rwCjBvC1uwAi/lqmI6NniNlev8mrZ zWpYfuKKOI6ZY1v+213WQN/TTAmFKXFXoXxr3icrtONKCQn/y7pEdeFzULtPEZnLnImGpunB gHN7qPkopgSqYlXHxYLCs13G5IychepRaIicMa3rjWCSHWhhlSZoLb5iB488nfxB2KZFNrhq 4fwLvQkmM9eZImTpD2Yj2BzgvHTJG14nfFqOFwYvcV9ij28B2NAN/lbN5Fu5lS4VMDt/MmQW d0PRDJK5ebBsfBseg66+smlWAP36ikmJILiPjJwl6+LQ37eOW5DaYeNMg9r+DFsZ33lyIlL7 D3YFmLYZnCM/32ieQrfCjFXTwuqKjM2C0/kIXzArvE= IronPort-HdrOrdr: A9a23:a+eEW6mu0qLef4Pyub9RvWcHFrjpDfIV3DAbv31ZSRFFG/FwyP rAoB1L73LJYWgqNE3I+errBEDyewK5yXcV2+gs1NKZNzUO11HYT72KgbGSpQEIeBeOlNK1t5 0BT0EWMrSZY2SS5vyKmTVQfexQp+VvvJrY4Nvj8w== X-Talos-CUID: =?us-ascii?q?9a23=3Acbm6E2huEm/jxe4aPf07slusWDJuX1Pvli3iO3O?= =?us-ascii?q?CM3dZdLy8cF6O/IY5up87?= X-Talos-MUID: 9a23:f05Hhgq+W8zm0aSmGFkezyFpEutm/o2LMkoyo8Ussc++JwozER7I2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,246,1770591600"; d="scan'208,217,223";a="147192912" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHG1zihwibxAU6svwU2Cd7cHl/zBOqOtIQXUA?= =?us-ascii?q?Gpr1DuetG7jCeGqt1jXycRuKTJQXLYggGpz7H0MZZ0A/z1J7vvLL2xYO?= =?us-ascii?q?4yBkOJDhswgS+dX3lwAEPirecGZjFMKuqzQpYlwzOgspSe0yt22xCavN?= =?us-ascii?q?ytqvSKYJqM72qS07VSK8xkPw=3D=3D?= Received: from smtp2.science.ru.nl (HELO smtp2.vm.science.ru.nl) ([131.174.30.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 21 May 2026 16:32:53 +0200 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=science.ru.nl; s=cncz-dkim-0001; t=1779373972; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=slIhePu+G2CtRWT68D5vSXW4F3oFLHrwPTV+1900TjU=; b=MVMEOe9XHSROxkKOSXCPBocZ1AEjpLqQQiiOdhYptr/itNR/IPa/FrRAd5LKn1dvwesLXS 5C8d5UzVRdW8FiLzV7/X/LjQdHZifk1pBl8sibOXpc2XRGCI3NKpp96jzhOia3Er4ZygnZ e25JfLJj9R6gwqW4gb8g62mN/0foYKFCMZBk5OsHxE3HpxGXz/lQE6yRKWQlDmvJYmzKLI ykb35L0AP471YsHL0rZTjS1XGMB1VqX60Q+l/nkVb9eqNc++ztZlXGj7iW1p7HmgZU2ZR5 Gytt/NeMw0pwSokP5m3UTs8J5tGnVA/4YCbOCDv39SbB6cVuBanATYtFT7Ji9w== ARC-Seal: i=1; a=rsa-sha256; d=science.ru.nl; s=cncz-dkim-0001; cv=none; t=1779373972; b=w7/gFH8KVpglYvGp2Pnm3GxqHuGhU14rxBI0B8QVHpSCPOBvW3BpHjZbcmVRJ4+929bwkY 3/dKBw/NK6VefQdEQiVkqf4CcDpoEUaxKXxzXINYfwPsb2rWTRP5PRDlind10nbAy/n6zv Xr60Fo1iQn0YmlEdMmmw5KGsTVO7ABFnytp5EL0GE+iNvjaj4tRNEvtIdREPjs5WXh+Ep9 XwYa6VYs7awnrJ1suX4L3T0RPFiE48XDP63uwwt3OI3fkmWtdfc1Gk1chf7c0pqV9FyZeF qsoZ5HGIAgU+vk9TvtSW7Za4nzbkJUOTE01zcnTlcauG8PhUD/nMyCIXZRdEbg== ARC-Authentication-Results: i=1; MSA; auth=pass smtp.auth=cynthiakop smtp.mailfrom=C.Kop@cs.ru.nl Received: from [145.116.169.78] ([145.116.169.78]) (authenticated bits=0) by smtp2.vm.science.ru.nl (8.18.1/8.18.1/Debian-2) with ESMTPSA id 64LEWp2Q1838242 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NO) for ; Thu, 21 May 2026 14:32:52 GMT Content-Type: multipart/alternative; boundary="------------HfH0vGJ1XW2y0OEWeCkE0LB0" Message-ID: <250dc108-fe50-4171-9336-b2f2946c4ab2@cs.ru.nl> Date: Thu, 21 May 2026 16:32:51 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US To: caml-list@inria.fr From: Cynthia Kop X-Validation-by: c.kop@cs.ru.nl Subject: [Caml-list] International School on Rewriting -- 12 to 16 July 2026 Reply-To: Cynthia Kop X-Loop: caml-list@inria.fr X-Sequence: 19512 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: Archived-At: This is a multi-part message in MIME format. --------------HfH0vGJ1XW2y0OEWeCkE0LB0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit From 12 to 16 July, the 15th edition of the International School on Rewriting will take place in Nijmegen, the Netherlands. This school is aimed at Master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. The school offers two different tracks: * Basic track [https://isr2026.cs.ru.nl/basic.html]: a comprehensive introductory course to first-order term rewriting accompanied with exercise sessions, for participants without previous exposure to term rewriting * Advanced track [https://isr2026.cs.ru.nl/advanced.html]: a series of more advanced courses on recent developments and applications, taught by leading experts in the field. Term rewriting is a powerful model of computation that underlies much of functional programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification. Consequently, knowing the basics is beneficial in many areas while the advanced track offers deeper insight into selected topics (such as undecidability and formalisation, tree automata, and lambda calculi) and applications (such as termination and complexity analysis of programs via term rewriting, and model checking using mCRL2). *Early registration ends on 2 June 2026.* Registration instructions are provided at https://isr2026.cs.ru.nl/registration.html Registration includes the lectures, breakfast, lunch and dinner, accommodation (two students to a room — see https://isr2026.cs.ru.nl/accommodation.html ) and the social event. Note that the school is held in the week before the Federated Logic Conferences, but the event is scheduled in such a way as to allow for enough time to travel to Lisbon before the first workshop (there is a direct flight to Lisbon from Eindhoven airport). Hope to see you there! --------------HfH0vGJ1XW2y0OEWeCkE0LB0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit

From 12 to 16 July, the 15th edition of the International School on Rewriting will take place in Nijmegen, the Netherlands.

This school is aimed at Master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. The school offers two different tracks:

  • Basic track [https://isr2026.cs.ru.nl/basic.html]: a comprehensive introductory course to first-order term rewriting accompanied with exercise sessions, for participants without previous exposure to term rewriting
  • Advanced track [https://isr2026.cs.ru.nl/advanced.html]: a series of more advanced courses on recent developments and applications, taught by leading experts in the field.

Term rewriting is a powerful model of computation that underlies much of functional programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification. Consequently, knowing the basics is beneficial in many areas while the advanced track offers deeper insight into selected topics (such as undecidability and formalisation, tree automata, and lambda calculi) and applications (such as termination and complexity analysis of programs via term rewriting, and model checking using mCRL2).

Early registration ends on 2 June 2026. Registration instructions are provided at https://isr2026.cs.ru.nl/registration.html

Registration includes the lectures, breakfast, lunch and dinner, accommodation (two students to a room — see https://isr2026.cs.ru.nl/accommodation.html) and the social event.

Note that the school is held in the week before the Federated Logic Conferences, but the event is scheduled in such a way as to allow for enough time to travel to Lisbon before the first workshop (there is a direct flight to Lisbon from Eindhoven airport).

Hope to see you there!


--------------HfH0vGJ1XW2y0OEWeCkE0LB0--