Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*)
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> Fri, 13 Jun 2025 16:09:41 +0100
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLQoqKiAgICBQTEVBU0UgTk9URSBUSEFUIEFUVEVOREFOQ0UgT0YgUFJFU0VOVEFUSU9O UyBJUyBPUEVOCioqICAgIFRPIEFMTCBSRUdJU1RFUkVEIFBBUlRJQ0lQQU5UUywgTk9UIE9OTFkg V0cgTUVNQkVSUyEKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoqKgoqKiAgICAgICoqKiogICAgQ0FMTCBGT1IgUEFS VElDSVBBVElPTiAgICAqKioqCioqCioqICAgIE1lZXRpbmcgb2YgdGhlIElGSVAgV29ya2luZyBH cm91cCAxLjYgb24gUmV3cml0aW5nIChJRklQIFdHIDEuNikKKiogICAgMTkgSnVseSAyMDI1Cioq ICAgIEJpcm1pbmdoYW0sIFVuaXRlZCBLaW5nZG9tCioqCioqICAgIGh0dHBzOi8vdXJsZGVmZW5z ZS5jb20vdjMvX19odHRwczovL2lmaXAtd2ctcmV3cml0aW5nLmNzLnJ1Lm5sL2V2ZW50cy9ldmVu dC0yMDI1Lmh0bWxfXzshIUlCeldMVXMhVUlTa3hIYmJkYXNXMmZLUFVnNl8tWTk5Z0ZFU0pkQmpr RHRMUHBOLV91eFNlOVZHMlJDLWJYUTRhTEUyVXNJQ0VWLVJZM0FtdzBSNTVEWlZHMWE1bEhzTmtY YzY4bWckIAoqKgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCioqCioqICAgIElGSVAgV0cgMS42IGluIDIwMjUgaXMg Y28tbG9jYXRlZCB3aXRoIEZTQ0QgMjAyNToKKioKKiogICAgaHR0cHM6Ly91cmxkZWZlbnNlLmNv bS92My9fX2h0dHBzOi8vZnNjZC1jb25mZXJlbmNlLm9yZy8yMDI1L19fOyEhSUJ6V0xVcyFVSVNr eEhiYmRhc1cyZktQVWc2Xy1ZOTlnRkVTSmRCamtEdExQcE4tX3V4U2U5VkcyUkMtYlhRNGFMRTJV c0lDRVYtUlkzQW13MFI1NURaVkcxYTVsSHNObTYxTXcyQSQgCioqCi0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KKiog T1ZFUlZJRVcKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKSUZJUCBXb3JraW5nIEdyb3VwIDEuNiBpcyBvbmUgb2Yg dGhlIHdvcmtpbmcgZ3JvdXBzIG9mIHRoZSBUZWNobmljYWwKQ29tbWl0dGVlIDEgb2YgdGhlIElu dGVybmF0aW9uYWwgRmVkZXJhdGlvbiBmb3IgSW5mb3JtYXRpb24gUHJvY2Vzc2luZwooSUZJUCku IElGSVAgaXMgdGhlIGxlYWRpbmcgbXVsdGluYXRpb25hbCwgYXBvbGl0aWNhbCBvcmdhbmlzYXRp b24gaW4KSW5mb3JtYXRpb24gJiBDb21tdW5pY2F0aW9ucyBUZWNobm9sb2dpZXMgYW5kIFNjaWVu Y2VzLiBJdCBpcwpyZWNvZ25pc2VkIGJ5IFVuaXRlZCBOYXRpb25zIGFuZCBvdGhlciB3b3JsZCBi b2RpZXMsIHJlcHJlc2VudHMgSVQKU29jaWV0aWVzIGZyb20gNTYgY291bnRyaWVzIG9yIHJlZ2lv bnMsIGNvdmVyaW5nIGFsbCA1IGNvbnRpbmVudHMgd2l0aAphIHRvdGFsIG1lbWJlcnNoaXAgb2Yg b3ZlciBoYWxmIGEgbWlsbGlvbi4KCldHIDEuNiBBaW1zCi0tLS0tLS0tLS0tCgoqIFRvIHByb21v dGUgcmVzZWFyY2ggZWZmb3J0cyBpbiByZXdyaXRpbmcgYW5kIGl0cyBhcHBsaWNhdGlvbnMuCiog VG8gZXN0YWJsaXNoIGNsb3NlIGNvb3BlcmF0aW9uIGJldHdlZW4gZXhpc3RpbmcgZ3JvdXBzIGFu ZCB0bwogICBmYWNpbGl0YXRlIHRoZSBlbWVyZ2VuY2Ugb2YgbmV3IG9uZXMuCiogVG8gaW5jcmVh c2UgYXdhcmVuZXNzIG9mIHJld3JpdGluZyB0ZWNobmlxdWVzIGluIHRoZSBjb21wdXRlcgogICBz Y2llbmNlIGNvbW11bml0eSBhdCBsYXJnZS4KKiBUbyBmb3N0ZXIgZGV2ZWxvcG1lbnQgb2YgYXBw bGljYXRpb25zIG9mIHRoZW9yZXRpY2FsIGFkdmFuY2VzLgoKV0cgMS42IFNjb3BlCi0tLS0tLS0t LS0tLQoKKiBSZXdyaXRpbmcgZm9yIGNvbXB1dGluZyBhbmQgcmVhc29uaW5nLgoqIFRoZW9yZXRp Y2FsIHN0dWRpZXMgb2YgdGhlIHJld3JpdGluZyByZWxhdGlvbiBvZiBkaWZmZXJlbnQgb3JkZXJz LgoqIENvbXBsZXhpdHkgaXNzdWVzIG9mIHJld3JpdGluZy4KKiBDb21waWxhdGlvbiB0ZWNobmlx dWVzIGFuZCBhcHBsaWNhdGlvbnMuCiogVGhlb3J5IGFuZCBhcHBsaWNhdGlvbnMgb2YgcmV3cml0 aW5nIGxvZ2ljIGFuZCBjYWxjdWx1cy4KKiBBcHBsaWNhdGlvbiBvZiByZXdyaXRpbmcgdG8gY29u c3RyYWludCBzb2x2aW5nLCB0aGVvcmVtIHByb3ZpbmcgYW5kCiAgIGFsZ2VicmFpYyBzcGVjaWZp Y2F0aW9ucy4KKiBUaGUgZGVzaWduLCBwcm9tb3Rpb24gYW5kIHRlYWNoaW5nIG9mIHJld3JpdGUg YmFzZWQgdGVjaG5pcXVlcyBhbmQKICAgYXBwbGljYXRpb25zLgoKLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoqKiBQ UkVMSU1JTkFSWSBQUk9HUkFNTUUKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKVGhlIHByb2dyYW1tZSBvZiB0aGUg bWVldGluZyBjb25zaXN0cyBvZiBpbnZpdGVkIHRhbGtzIGJ5IHNlbGVjdGVkCnJlc2VhcmNoZXJz IGFuZCBvZiBkaXNjdXNzaW9ucyBmb2N1c3NlZCBvbiB0aGUgYWN0aXZpdGllcyBvZiB0aGUKV29y a2luZyBHcm91cC4KCiAgICAgOTowMCAtIDEwOjAwOiBTZXNzaW9uIDEKICAgICAtIDYwJyBTYW50 aWFnbyBFc2NvYmFyCgogICAgIDEwOjMwIC0gMTI6MzA6IFNlc3Npb24gMgogICAgIC0gNjAnIFJh w7psIEd1dGnDqXJyZXoKICAgICAtIDYwJyBEYW5pZWxlIE5hbnRlcwoKICAgICAxMjozMCAtIDE0 OjAwOiBCcmVhawoKICAgICAxNDowMCAtIDE1OjMwOiBTZXNzaW9uIDMKICAgICAtIDYwJyBGbG9y aWFuIEZyb2huCiAgICAgLSAzMCcgVXBkYXRlIG9uIHRoZSBJbnRlcm5hdGlvbmFsIFNjaG9vbCBv biBSZXdyaXRpbmcKCiAgICAgMTY6MDAgLSAxNzowMDogU2Vzc2lvbiA0CiAgICAgLSA2MCcgRGF2 aWQgQ2VybmEKCiAgICAgMTc6MDAgLSAxNzozMDogU2Vzc2lvbiA1CiAgICAgLSAzMCcgQnVzaW5l c3MgbWVldGluZyAobWVtYmVycy1vbmx5KQoKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoqKiBSRUdJU1RSQVRJT04K LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLQoKVGhlIHJlZ2lzdHJhdGlvbiBwYWdlIGZvciBGU0NEIDIwMjUgYW5kIGFm ZmlsaWF0ZWQgZXZlbnRzLCBzdWNoIGFzCnRoZSBtZWV0aW5nIG9mIHRoZSBJRklQIFdHIDEuNiwg aXMgYXZhaWxhYmxlIGhlcmU6CgpodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9m c2NkMjAyNS5naXRodWIuaW8vcmVnaXN0cmF0aW9uLmh0bV9fOyEhSUJ6V0xVcyFVSVNreEhiYmRh c1cyZktQVWc2Xy1ZOTlnRkVTSmRCamtEdExQcE4tX3V4U2U5VkcyUkMtYlhRNGFMRTJVc0lDRVYt UlkzQW13MFI1NURaVkcxYTVsSHNOVlFQbGtHdyQgCgpBbGwgcGFydHMgb2YgdGhlIHByb2dyYW1t ZSBhcmUgcHVibGljLCBleGNlcHQgZm9yIHRoZSBtZW1iZXJzLW9ubHkKYnVzaW5lc3MgbWVldGlu ZyBhdCB0aGUgZW5kIG9mIHRoZSBwcm9ncmFtbWUuCgpUaGUgZGVhZGxpbmUgZm9yIGVhcmx5IHJl Z2lzdHJhdGlvbiBpcyBvbjoKCiAgICAgKioqKiAgMTUgSnVuZSAyMDI1ICAqKioqCgotLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tCioqIENPTlRBQ1QKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKKiBDaGFpcjogQ3ludGhpYSBLb3AsIFJh ZGJvdWQgVW5pdmVyc2l0eSBOaWptZWdlbgoqIENvLUNoYWlyIGFuZCBzZWNyZXRhcnk6IENhcnN0 ZW4gRnVocywgQmlya2JlY2ssIFVuaXZlcnNpdHkgb2YgTG9uZG9uCgotLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCg==