Call for participation: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)
Jakob Nordström via dmanet <[email protected]> Tue, 7 Jul 2026 20:25:05 +0200
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Message-ID | <[email protected]> |
RGVhciBjb2xsZWFndWVzLAoKV2Ugd291bGQgbGlrZSB0byBpbnZpdGUgeW91IHRvIHBhcnRpY2lw YXRlIGluIHRoZSAqLzNyZCBJbnRlcm5hdGlvbmFsIFdvcmtzaG9wIG9uIEhpZ2hsaWdodHMgaW4g T3JnYW5pemluZyBhbmQgT3B0aW1pemluZyBQcm9vZi1sb2dnaW5nIFN5c3RlbXMgKFdIT09QUyAn MjYpLyosIHRvIGJlIGhlbGQgb24gKlN1bmRheSBKdWx5IDE5IGluIExpc2JvbiAqYXMgcGFydCBv ZiB0aGUgKkZlZGVyYXRlZCBMb2dpYyBDb25mZXJlbmNlIChGTG9DICcyNikuCioKL1dIT09QUyAv YnJpbmdzIHRvZ2V0aGVyIHJlc2VhcmNoZXJzIGludGVyZXN0ZWQgaW4gKmNlcnRpZnlpbmcgYWxn b3JpdGhtcyBhbmQgcHJvb2YgbG9nZ2luZyBmb3IgYXV0b21hdGVkIHJlYXNvbmluZyBhbmQgY29t YmluYXRvcmlhbCBzb2x2aW5nLiogQXMgcGVyIHRoZSAodGVudGF0aXZlKSBzY2hlZHVsZSBwb3N0 ZWQgYXQgaHR0cHM6Ly9jaWFyYW5tLmdpdGh1Yi5pby9XSE9PUFMyNi8gLCB3ZSB3aWxsIGhhdmUg dHdvICppbnZpdGVkIHRhbGtzKiBieQoKLSAqSGFuaWVsIEJhcmJvc2EgKm9uICpwcm9vZiBsb2dn aW5nIGZvciBzYXRpc2ZpYWJpbGl0eSBtb2R1bG8gdGhlb3JpZXMgKFNNVCkgKnNvbHZpbmcgYW5k Ci0gKlN0ZWZhbiBTemVpZGVyICpvbiAqaW1wb3J0aW5nIHByb29mIGxvZ2dpbmcgY2VydGlmaWNh dGVzIGludG8gTGVhbioKCmFzIHdlbGwgYXMgKmNvbnRyaWJ1dGVkIHByZXNlbnRhdGlvbnMgKm9u OgoKLSBwcm9vZiBsb2dnaW5nIGFuZCBjZXJ0aWZpY2F0aW9uIG9mIHByb3BhZ2F0aW9ucyBmb3Ig c3RhdGUtb2YtdGhlLWFydCBjb21iaW5hdG9yaWFsIHNvbHZpbmcgYWxnb3JpdGhtczsKLSBjZXJ0 aWZpY2F0aW9uIHRlY2huaXF1ZXMgZm9yIHByb2JsZW1zIHdlbGwgYmV5b25kIE5QLCBldmVuIGlu dm9sdmluZyByZWFsLXZhbHVlZCByZWFzb25pbmc7Ci0gcHJvb2YgbG9nZ2luZyBhbmQgemVyby1r bm93bGVkZ2UgcHJvb2ZzOwotIGRlc2lnbiBvZiBuZXcgcHJvb2Ygc3lzdGVtczsKLSB0cmFuc2Zv cm1hdGlvbiBhbmQgY29tcHJlc3Npb24gb2YgcHJvb2ZzOyBhbmQKLSBmb3JtYWwgdmVyaWZpY2F0 aW9uIG9mIGVuY29kaW5ncyBhbmQgc29sdmVyIHZlcmRpY3RzLgoKUGxlYXNlIHNlZSBodHRwczov L2NpYXJhbm0uZ2l0aHViLmlvL1dIT09QUzI2LyBmb3IgbW9yZSBvbiB0aGUgYmFja2dyb3VuZCBh bmQgcHVycG9zZSBvZiB0aGUgL1dIT09QUyAvc2VyaWVzIG9mIHdvcmtzaG9wcy4KCkhlcmUgaXMg aG9waW5nIHRvIHNlZSB5b3UgaW4gTGlzYm9uIGluIG9uZSBhbmQgYSBoYWxmIHdlZWsgZnJvbSBu b3chCgpCZXN0IHJlZ2FyZHMsCkpha29iIE5vcmRzdHLDtm0KCkpha29iIE5vcmRzdHLDtm0sIFBy b2Zlc3NvcgpVbml2ZXJzaXR5IG9mIENvcGVuaGFnZW4gYW5kIEx1bmQgVW5pdmVyc2l0eQpQaG9u ZTogKzQ1IDI4IDc4IDM4IDExIC8gKzQ2IDcwIDc0MiAyMSA5OApodHRwczovL2pha29ibm9yZHN0 cm9tLnNlCgoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqCioKKiAgIENvbnRyaWJ1dGlvbnMgdG8gYmUgc3ByZWFkIHZpYSBETUFORVQgYXJl IHN1Ym1pdHRlZCB0bwoqCiogICAgICAgICAgICAgICAgICAgRE1BTkVUQHpwci51bmkta29lbG4u ZGUKKgoqICAgUmVwbGllcyB0byBhICBtZXNzYWdlIGNhcnJpZWQgIG9uIERNQU5FVCBzaG91bGQg Tk9UIGJlCiogICBhZGRyZXNzZWQgdG8gRE1BTkVUICBidXQgdG8gIHRoZSBvcmlnaW5hbCBzZW5k ZXIuICBUaGUKKiAgIG9yaWdpbmFsICBzZW5kZXIsICBob3dldmVyLCAgaXMgaW52aXRlZCAgdG8g cHJlcGFyZSBhbgoqICAgdXBkYXRlICBvZiB0aGUgcmVwbGllcyAgcmVjZWl2ZWQgYW5kIHRvIGNv bW11bmljYXRlIGl0CiogICB2aWEgRE1BTkVULgoqCiogICAgRElTQ1JFVEUgTUFUSEVNQVRJQ1Mg QU5EIEFMR09SSVRITVMgTkVUV09SSyAoRE1BTkVUKQoqICAgICAgaHR0cDovL3d3dy56YWlrLnVu aS1rb2Vsbi5kZS9BRlMvcHVibGljYXRpb25zL2RtYW5ldC8KKgoqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCg==