Call for Papers: SPIN 2026: The 32nd International Symposium on Model Checking Software
Vincenzo Ciancia via hol-info <[email protected]> Mon, 24 Nov 2025 18:45:10 +0100
| Newsgroups | gmane.comp.mathematics.hol,gmane.science.mathematics.categories,gmane.comp.lang.maude.general,gmane.comp.misc.ontology.protege.owl |
|---|---|
| Message-ID | <[email protected]> |
U1BJTiAyMDI2OiBUaGUgMzJuZCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBNb2RlbCBDaGVj a2luZyBTb2Z0d2FyZQpBcHJpbCAxNeKAkzE2LCAyMDI2LCBjby1sb2NhdGVkIHdpdGggRVRBUFMg MjAyNiBpbiBUb3Jpbm8sIEl0YWx5CgpGaXJzdCBDYWxsIGZvciBQYXBlcnMKaHR0cHM6Ly9zcGlu LXdlYi5naXRodWIuaW8vU1BJTjIwMjYvY2ZwCgpUaGUgU1BJTiBzeW1wb3NpdW0gYWltcyBhdCBi cmluZ2luZyB0b2dldGhlciByZXNlYXJjaGVycyBhbmQgcHJhY3RpdGlvbmVycyBpbnRlcmVzdGVk IGluIGF1dG9tYXRlZCB0b29sLWJhc2VkIHRlY2huaXF1ZXMgZm9yIHRoZSBhbmFseXNpcyBvZiBz b2Z0d2FyZSBhcyB3ZWxsIGFzIG1vZGVscyBvZiBzb2Z0d2FyZSwgZm9yIHRoZSBwdXJwb3NlIG9m IHZlcmlmaWNhdGlvbiBhbmQgdmFsaWRhdGlvbi4gU1BJTiBpcyBhIGJyb2FkbHktc2NvcGVkIHN5 bXBvc2l1bSBmb3Igc29mdHdhcmUgYW5hbHlzaXMgdXNpbmcgYW55IGF1dG9tYXRlZCB0ZWNobmlx dWVzLCBpbmNsdWRpbmcgbW9kZWwgY2hlY2tpbmcsIGF1dG9tYXRlZCB0aGVvcmVtIHByb3Zpbmcs IGFuZCBzeW1ib2xpYyBleGVjdXRpb24uIFN1Ym1pc3Npb25zIGFyZSBzb2xpY2l0ZWQgb24gdGhl b3JldGljYWwgcmVzdWx0cywgbm92ZWwgYWxnb3JpdGhtcywgdG9vbCBkZXZlbG9wbWVudCwgYW5k IGVtcGlyaWNhbCBldmFsdWF0aW9uLgoKSW1wb3J0YW50IERhdGVzCkphbnVhcnkgMTUsIDIwMjY6 IEFic3RyYWN0IHN1Ym1pc3Npb24gZGVhZGxpbmUKSmFudWFyeSAyMiwgMjAyNjogUGFwZXIgc3Vi bWlzc2lvbiBkZWFkbGluZQpKYW51YXJ5IDI5LCAyMDI2OiBBcnRpZmFjdCBzdWJtaXNzaW9uIGRl YWRsaW5lIGZvciB0b29sLXJlbGF0ZWQgcGFwZXJzIChtYW5kYXRvcnkpCk1hcmNoIDA1LCAyMDI2 OiBOb3RpZmljYXRpb24gb2YgYWNjZXB0YW5jZSAoYWxsIHBhcGVycyAmIHRvb2wtcmVsYXRlZCBh cnRpZmFjdHMpCk1hcmNoIDE2LCAyMDI2OiBBcnRpZmFjdCBzdWJtaXNzaW9uIGRlYWRsaW5lIGZv ciBhY2NlcHRlZCBub24tdG9vbCBwYXBlcnMgKHZvbHVudGFyeSkKQXByaWwgMDksIDIwMjY6IE5v dGlmaWNhdGlvbiBvZiBhY2NlcHRhbmNlIGZvciBhZGRpdGlvbmFsIGFydGlmYWN0cwoKUGFwZXJz IHNob3VsZCBiZSBzdWJtaXR0ZWQgdmlhIHRoZSBFYXN5Q2hhaXIgU1BJTiAyMDI2IHN1Ym1pc3Np b24gd2Vic2l0ZSBhdApodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9c3Bp bjIwMjYKU3VibWlzc2lvbnMgc2hvdWxkIGFkaGVyZSB0byBTcHJpbmdlcidzIExOQ1MgZm9ybWF0 LgoKV2l0aCB0aGUgZXhjZXB0aW9uIG9mIHN1cnZleSBhbmQgaGlzdG9yeSBwYXBlcnMsIHRoZSBw YXBlcnMgc2hvdWxkIGNvbnRhaW4gb3JpZ2luYWwgd29yayB0aGF0IGhhcyBub3QgYmVlbiBzdWJt aXR0ZWQgb3IgYWNjZXB0ZWQgZm9yIHB1YmxpY2F0aW9uIGVsc2V3aGVyZS4KCldlIGFyZSBzb2xp Y2l0aW5nIHRocmVlIGNhdGVnb3JpZXMgb2YgcGFwZXJzOgoqIEZ1bGwgUmVzZWFyY2ggUGFwZXJz ICgxNiBwYWdlcywgZXhjbHVkaW5nIGJpYmxpb2dyYXBoeSBhbmQgYXBwZW5kaWNlcyk7CiogRnVs bCBUb29sIFBhcGVycyAoMTYgcGFnZXMsIGV4Y2x1ZGluZyBiaWJsaW9ncmFwaHkgYW5kIGFwcGVu ZGljZXMpLCBhY2NvbXBhbmllZCBieSBhIG1hbmRhdG9yeSBhcnRpZmFjdCwgd2l0aCBhY2NlcHRh bmNlIGNvbmRpdGlvbmFsIG9uIHRoZSBhY2NvbXBhbnlpbmcgYXJ0aWZhY3QgcmVjZWl2aW5nIGF0 IGxlYXN0IHRoZSAiRnVuY3Rpb25hbCIgYmFkZ2UgaW4gdGhlIGFydGlmYWN0IGV2YWx1YXRpb247 IGFuZAoqIFNob3J0IFBhcGVycyAoNiBwYWdlcywgZXhjbHVkaW5nIGJpYmxpb2dyYXBoeSBhbmQg YXBwZW5kaWNlcykuCgpBdCBsZWFzdCBvbmUgYXV0aG9yIG9mIGVhY2ggYWNjZXB0ZWQgcGFwZXIg bXVzdCBhdHRlbmQgdGhlIHN5bXBvc2l1bSBhbmQgcHJlc2VudCB0aGUgcGFwZXIuIEEgQmVzdCBQ YXBlciBhd2FyZCB3aWxsIGJlIGFubm91bmNlZCBhbmQgaGFuZGVkIG91dCBhdCB0aGUgY29uZmVy ZW5jZS4KCkZvciBtb3JlIGRldGFpbHMsIHNlZSB0aGUgU1BJTiAyMDI2IHdlYnNpdGUgYXQKaHR0 cHM6Ly9zcGluLXdlYi5naXRodWIuaW8vU1BJTjIwMjYvCm9yIGNvbnRhY3QgdGhlIFNQSU4gMjAy NiBQQyBjaGFpcnM6CgpWaW5jZW56byBDaWFuY2lhIDx2aW5jZW56by5jaWFuY2lhQGlzdGkuY25y Lml0PgpBcm5kIEhhcnRtYW5ucyA8YS5oYXJ0bWFubnNAdXR3ZW50ZS5ubD4KCgpfX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpob2wtaW5mbyBtYWlsaW5nIGxp c3QKaG9sLWluZm9AbGlzdHMuc291cmNlZm9yZ2UubmV0Cmh0dHBzOi8vbGlzdHMuc291cmNlZm9y Z2UubmV0L2xpc3RzL2xpc3RpbmZvL2hvbC1pbmZvCg==