2nd CFP - Express/SOS 2026 (@CONFEST)
Giorgio Bacci <grbacci-t5LvXY1cjzpaa/[email protected]> Thu, 21 May 2026 08:03:22 +0000
| Newsgroups | gmane.comp.science.types.announce,gmane.comp.lang.caml.inria,gmane.science.mathematics.categories |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoqKiogQ0FM TCBGT1IgUEFQRVJTIEVYUFJFU1MvU09TQENPTkZFU1QyMDI2CgpbQXBvbG9naWVzIGZvciBtdWx0 aXBsZSBwb3N0aW5nc10KCioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCjJuZCBD YWxsIGZvciBQYXBlcnMgRXhwcmVzcy9TT1MgMjAyNgoKICogVmVudWU6IExpdmVycG9vbCwgVUss IFNlcHRlbWJlciA1LCAyMDI2CiAqIFN1Ym1pc3Npb24gZGVhZGxpbmU6IEp1bmUgMjIsIDIwMjYg KGZ1bGwgYW5kIHNob3J0IHBhcGVycykKICogV2Vic2l0ZTogaHR0cHM6Ly91cmxkZWZlbnNlLmNv bS92My9fX2h0dHBzOi8vZXhwcmVzc3Nvcy5naXRodWIuaW8vY29uZi8yMDI2X187ISFJQnpXTFVz IVFqc1RsVFJKaVhabVI2dk9LYkRRTmh3a0lqR3hXY1loQVBDS1M3RGx3RDdZUTZWQXlNTFZkSzU2 YTUyZ0dkOWk1SnloS1g2eV94U1dwYmlaRXozSFJSQ01tbGlKYmNQTSQgCiAqIEludml0ZWQgU3Bl YWtlcnM6IE5vYnVrbyBZb3NoaWRhIChPeGZvcmQgVW5pdmVyc2l0eSkgJiBGYWJpbyBaYW5hc2kg KFVDTCkKCioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCkNvbWJpbmVkIDMzcmQg SW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbiBFeHByZXNzaXZlbmVzcyBpbiBDb25jdXJyZW5jeSAK YW5kIDIzcmQgV29ya3Nob3Agb24gU3RydWN0dXJhbCBPcGVyYXRpb25hbCBTZW1hbnRpY3MgKEV4 cHJlc3MvU09TIDIwMjYpCgpMaXZlcnBvb2wsIFVLLCBTZXB0ZW1iZXIgNSwgMjAyNiwgYWZmaWxp YXRlZCB3aXRoIENPTkNVUiAyMDI2Cj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT0KCj09IElNUE9SVEFOVCBEQVRFUwotIFBhcGVyIFN1Ym1pc3Npb246IEp1bmUgMjIs IDIwMjYgCi0gTm90aWZpY2F0aW9uIHRvIGF1dGhvcnM6IEp1bHkgMjUsIDIwMjYKLSBXb3Jrc2hv cDogU2VwdGVtYmVyIDUsIDIwMjYKLSBGaW5hbCB2ZXJzaW9uIChwb3N0LXByb2NlZWRpbmdzKTog T2N0b2JlciAyNSwgMjAyNgoKPT0gU0NPUEUgQU5EIFRPUElDUwpUaGUgRVhQUkVTUy9TT1Mgd29y a3Nob3Agc2VyaWVzIGFpbXMgdG8gYnJpbmcgdG9nZXRoZXIgcmVzZWFyY2hlcnMgaW50ZXJlc3Rl ZCBpbiB0aGUgZm9ybWFsIHNlbWFudGljcyBvZiBzeXN0ZW1zIGFuZCBwcm9ncmFtbWluZyBjb25j ZXB0cywgYW5kIGluIHRoZSBleHByZXNzaXZlbmVzcyBvZiBjb21wdXRhdGlvbmFsIG1vZGVscy4K ClRvcGljcyBvZiBpbnRlcmVzdCBmb3IgRVhQUkVTUy9TT1MgMjAyNiBpbmNsdWRlLCBidXQgYXJl IG5vdCBsaW1pdGVkIHRvOgotIGV4cHJlc3NpdmVuZXNzIGFuZCByaWdvcm91cyBjb21wYXJpc29u cyBiZXR3ZWVuIG1vZGVscyBvZiBjb21wdXRhdGlvbiAocHJvY2VzcyBhbGdlYnJhcywgZXZlbnQg c3RydWN0dXJlcywgUGV0cmkgbmV0cywgcmV3cml0ZSBzeXN0ZW1zKQotIGV4cHJlc3NpdmVuZXNz IGFuZCByaWdvcm91cyBjb21wYXJpc29ucyBiZXR3ZWVuIHByb2dyYW1taW5nIGxhbmd1YWdlcyBh bmQgbW9kZWxzIChkaXN0cmlidXRlZCwgY29tcG9uZW50LWJhc2VkLCBvYmplY3Qtb3JpZW50ZWQs IHNlcnZpY2Utb3JpZW50ZWQpOwotIGxvZ2ljcyBmb3IgY29uY3VycmVuY3kgKG1vZGFsIGxvZ2lj cywgcHJvYmFiaWxpc3RpYyBhbmQgc3RvY2hhc3RpYyBsb2dpY3MsIHRlbXBvcmFsIGxvZ2ljcyBh bmQgcmVzb3VyY2UgbG9naWNzKTsKLSBhbmFseXNpcyB0ZWNobmlxdWVzIGZvciBjb25jdXJyZW50 IHN5c3RlbXM7Ci0gdGhlb3J5IG9mIHN0cnVjdHVyYWwgb3BlcmF0aW9uYWwgc2VtYW50aWNzICht ZXRhLXRoZW9yeSwgY2F0ZWdvcnktdGhlb3JldGljIGFwcHJvYWNoZXMsIGNvbmdydWVuY2UgcmVz dWx0cyk7Ci0gY29tcGFyaXNvbnMgYmV0d2VlbiBzdHJ1Y3R1cmFsIG9wZXJhdGlvbmFsIHNlbWFu dGljcyBhbmQgb3RoZXIgZm9ybWFsIHNlbWFudGljIGFwcHJvYWNoZXM7Ci0gYXBwbGljYXRpb25z IGFuZCBjYXNlIHN0dWRpZXMgb2Ygc3RydWN0dXJhbCBvcGVyYXRpb25hbCBzZW1hbnRpY3M7Ci0g c29mdHdhcmUgdG9vbHMgdGhhdCBhdXRvbWF0ZSwgb3IgYXJlIGJhc2VkIG9uLCBzdHJ1Y3R1cmFs IG9wZXJhdGlvbmFsIHNlbWFudGljcy4KCldlIGVzcGVjaWFsbHkgd2VsY29tZSBjb250cmlidXRp b25zIGJyaWRnaW5nIHRoZSBnYXAgYmV0d2VlbiB0aGUgYWJvdmUgdG9waWNzIGFuZCBuZWlnaGJv dXJpbmcgYXJlYXMsIHN1Y2ggYXMsIGZvciBpbnN0YW5jZToKLSBjb21wdXRlciBzZWN1cml0eQot IG11bHRpLWFnZW50IHN5c3RlbXMKLSBwcm9ncmFtbWluZyBsYW5ndWFnZXMKLSBmb3JtYWwgdmVy aWZpY2F0aW9uCi0gcmV2ZXJzaWJsZSBjb21wdXRhdGlvbgotIGtub3dsZWRnZSByZXByZXNlbnRh dGlvbgoKPT0gU1VCTUlTU0lPTiBHVUlERUxJTkVTOgoKV2UgaW52aXRlIHR3byB0eXBlcyBvZiBz dWJtaXNzaW9uczoKKiBGdWxsIHBhcGVycyAodXAgdG8gMTUgcGFnZXMsIGV4Y2x1ZGluZyByZWZl cmVuY2VzKS4KKiBTaG9ydCBwYXBlcnMgKHVwIHRvIDUgcGFnZXMsIGV4Y2x1ZGluZyByZWZlcmVu Y2VzLCBub3QgaW5jbHVkZWQgaW4gdGhlIHdvcmtzaG9wIHBvc3QtcHJvY2VlZGluZ3MpCgpBbGwg c3VibWlzc2lvbnMgaGF2ZSB0byBhZGhlcmUgdG8gdGhlIEVQVENTIGZvcm1hdCAoaHR0cHM6Ly91 cmxkZWZlbnNlLmNvbS92My9fX2h0dHBzOi8vaW5mby5lcHRjcy5vcmcvX187ISFJQnpXTFVzIVFq c1RsVFJKaVhabVI2dk9LYkRRTmh3a0lqR3hXY1loQVBDS1M3RGx3RDdZUTZWQXlNTFZkSzU2YTUy Z0dkOWk1SnloS1g2eV94U1dwYmlaRXozSFJSQ01tck9Da1liUiQgKS4KU2ltdWx0YW5lb3VzIHN1 Ym1pc3Npb24gdG8gam91cm5hbHMsIGNvbmZlcmVuY2VzIG9yIG90aGVyIHdvcmtzaG9wcyBpcyBv bmx5IGFsbG93ZWQgZm9yIHNob3J0IHBhcGVyczsgZnVsbCBwYXBlcnMgbXVzdCBiZSB1bnB1Ymxp c2hlZC4KClN1Ym1pc3Npb24gaXMgcGVyZm9ybWVkIHRocm91Z2ggRWFzeUNoYWlyOgpodHRwczov L3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9j b25mPWV4cHJlc3Nzb3MyMDI2X187ISFJQnpXTFVzIVFqc1RsVFJKaVhabVI2dk9LYkRRTmh3a0lq R3hXY1loQVBDS1M3RGx3RDdZUTZWQXlNTFZkSzU2YTUyZ0dkOWk1SnloS1g2eV94U1dwYmlaRXoz SFJSQ01tcW9BZk9kZyQgCgpUaGUgZmluYWwgdmVyc2lvbnMgb2YgYWNjZXB0ZWQgZnVsbCBwYXBl cnMgd2lsbCBiZSBwdWJsaXNoZWQgaW4gRVBUQ1MuCkl0IGlzIHVuZGVyc3Rvb2QgdGhhdCBmb3Ig ZWFjaCBhY2NlcHRlZCBzdWJtaXNzaW9uLCBvbmUgb2YgdGhlIGNvLWF1dGhvcnMgd2lsbCByZWdp c3RlciBmb3IgdGhlIHdvcmtzaG9wIGFuZCBwcmVzZW50IHRoZSBwYXBlci4KCiogV2UgYXJlIHBs ZWFzZWQgdG8gYW5ub3VuY2UgdGhlIHBvc3NpYmlsaXR5IG9mIGEgSm9pbnQgU3BlY2lhbCBJc3N1 ZSB3aXRoIEVYUFJFU1MvU09TIDIwMjUgKGR1ZSBpbiBEZWNlbWJlciAyMDI2KS4KCj09IElOVklU RUQgU1BFQUtFUlM6CgpOb2J1a28gWW9zaGlkYSAoT3hmb3JkIFVuaXZlcnNpdHkpCkZhYmlvIFph bmFzaSAoVW5pdmVyc2l0eSBDb2xsZWdlIExvbmRvbikKCj09IFdPUktTSE9QIENPLUNIQUlSUzoK Ckdpb3JnaW8gQmFjY2kgKFVuaXZlcnNpdHkgb2YgQWFsYm9yZywgRGVubWFyaykKQW5uYSBQaGls aXBwb3UgKFVuaXZlcnNpdHkgb2YgQ3lwcnVzLCBDeXBydXMpCgo9PSBQUk9HUkFNIENPTU1JVFRF RToKCkhlbm5pbmcgQmFzb2xkIChMSUFDUywgTGVpZGVuIFVuaXZlcnNpdHksIFRoZSBOZXRoZXJs YW5kcykKR2lvdmFubmkgQmVybmFyZGkgKFVuaXZlcnNpdMOpIFBhcmlzIERpZGVyb3QgLSBJUklG LCBGcmFuY2UpCk1hcmNvIEJlcm5hcmRvIChVbml2ZXJzaXR5IG9mIFVyYmlubywgSXRhbHkpCkNo aWFyYSBCb2RlaSAoVW5pdmVyc2l0eSBvZiBQaXNhLCBJdGFseSkKSm9oYW5uZXMgQm9yZ3N0csO2 bSAoVXBwc2FsYSBVbml2ZXJzaXR5LCBTd2VkZW4pCkdlb3JnaWFuYSBDYWx0YWlzIChVbml2ZXJz aXR5IG9mIFR3ZW50ZSwgVGhlIE5ldGhlcmxhbmRzKQpQZWRybyBSLiBE4oCZQXJnZW5pbyAoVW5p dmVyc2lkYWQgTmFjaW9uYWwgZGUgQ8OzcmRvYmEgLSBDT05JQ0VULCBBcmdlbnRpbmEpCkVtYW51 ZWxlIETigJlPc3VhbGRvIChVbml2ZXJzaXR5IG9mIEtvbnN0YW56LCBHZXJtYW55KQpGYXRlbWVo IEdoYXNzZW1pIChVbml2ZXJzaXR5IG9mIFRlaHJhbiwgSXJhbikKRGF2aWQgTi4gSmFuc2VuIChJ bnN0aXR1dGUgb2YgU29mdHdhcmUsIENoaW5lc2UgQWNhZGVteSBvZiBTY2llbmNlcywgQ2hpbmEp ClZhc2lsZWlvcyBLb3V0YXZhcyAoVHJpbml0eSBDb2xsZWdlIER1YmxpbiwgSXJlbGFuZCkKRGlt aXRyaW9zIEtvdXphcGFzIChVbml2ZXJzaXR5IG9mIEdsYXNnb3csIFNjb3RsYW5kKQpEb3JpYW5h IE1lZGnEhyAoVW5pdmVyc2l0eSBvZiBUdXJpbiwgSXRhbHkpCkx1Y2EgUGFkb3ZhbmkgKFVuaXZl cnNpdHkgb2YgQm9sb2duYSwgSXRhbHkpCkpvdmFua2EgUGFudG92aWMgKFVuaXZlcnNpdHkgb2Yg Tm92aSBTYWQsIFNlcmJpYSkKTWFyY28gUGVyZXNzb3R0aSAoVW5pdmVyc2l0eSBvZiBTb3V0aGVy biBEZW5tYXJrLCBEZW5tYXJrKQpUYXRqYW5hIFBldHJvdiAoVW5pdmVyc2l0eSBvZiBUcmllc3Rl LCBJdGFseSkKSm9yZ2UgQS4gUMOpcmV6IChVbml2ZXJzaXR5IG9mIEdyb25pbmdlbiwgVGhlIE5l dGhlcmxhbmRzKQpFbWlsaW8gVHVvc3RvIChHcmFuIFNhc3NvIFNjaWVuY2UgSW5zdGl0dXRlLCBJ dGFseSkKCgo9PSBDT05UQUNUCkluIGNhc2Ugb2YgcXVlc3Rpb25zLCBwcm9zcGVjdGl2ZSBhdXRo b3JzIGFyZSBlbmNvdXJhZ2VkIHRvIGNvbnRhY3QgdGhlIGNvLWNoYWlycyBhdApncmJhY2NpQGNz LmFhdS5kayBvciBhbm5hcEB1Y3kuYWMuY3kKCg==