FSCD 2024: Call for Participation (early registration deadline: *May 17, 2024*)
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> Tue, 14 May 2024 11:40:27 +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 LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKPT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09CgogICAgICAgICAgICAgICAgICAgICAgICAgICAgIENBTEwgRk9SIFBB UlRJQ0lQQVRJT04KICAgICAgICAgICAgICAgICAgICAgICAgTmludGggSW50ZXJuYXRpb25hbCBD b25mZXJlbmNlIG9uCiAgICAgICAgICAgRm9ybWFsIFN0cnVjdHVyZXMgZm9yIENvbXB1dGF0aW9u IGFuZCBEZWR1Y3Rpb24gKEZTQ0QgMjAyNCkKICAgICAgICAgICAgICAgICAgICAgICAgSnVseSAx MC0xMywgMjAyNCwgVGFsbGlubiwgRXN0b25pYQogICAgICAgICAgICAgICAgICAgICAgICAgaHR0 cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBzOi8vZnNjZC1jb25mZXJlbmNlLm9yZy8yMDI0 X187ISFJQnpXTFVzIVVRWlJ6REFfR0Z6V3V3dG5oQ3EwVUY5YVcwWXBxb0c0SDRmclRWcGpyU25V S1dRMXZSRGNkaXZRZzd5UHV5WmRobEFqR0x3OVNfbzk0YnFGenNsbElYd0xkWWdlZFhBJCAKCiAg ICAgICAgICAgRlNDRCAyMDI0IHdpbGwgYmUgY28tbG9jYXRlZCB3aXRoIElDQUxQIDIwMjQgYW5k IExJQ1MgMjAyNC4KICAgICAgICAgICAgICAgICAgICAgICAgIGh0dHBzOi8vdXJsZGVmZW5zZS5j b20vdjMvX19odHRwczovL2NvbXBvc2UuaW9jLmVlL2ljYWxwMjAyNC9fXzshIUlCeldMVXMhVVFa UnpEQV9HRnpXdXd0bmhDcTBVRjlhVzBZcHFvRzRINGZyVFZwanJTblVLV1ExdlJEY2RpdlFnN3lQ dXlaZGhsQWpHTHc5U19vOTRicUZ6c2xsSVh3TFhPcFZLS0UkIAogICAgICAgICAgICAgICAgICAg ICAgICAgIGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL2xpY3Muc2lnbG9nLm9y Zy9saWNzMjQvX187ISFJQnpXTFVzIVVRWlJ6REFfR0Z6V3V3dG5oQ3EwVUY5YVcwWXBxb0c0SDRm clRWcGpyU25VS1dRMXZSRGNkaXZRZzd5UHV5WmRobEFqR0x3OVNfbzk0YnFGenNsbElYd0xQWVU4 V0JZJCAKCk9WRVJWSUVXCi0tLS0tLS0tCkZTQ0QgKGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMv X19odHRwczovL2ZzY2QtY29uZmVyZW5jZS5vcmcvX187ISFJQnpXTFVzIVVRWlJ6REFfR0Z6V3V3 dG5oQ3EwVUY5YVcwWXBxb0c0SDRmclRWcGpyU25VS1dRMXZSRGNkaXZRZzd5UHV5WmRobEFqR0x3 OVNfbzk0YnFGenNsbElYd0xrMmZEanZvJCApIGNvdmVycyBhbGwgYXNwZWN0cyBvZiBmb3JtYWwg CnN0cnVjdHVyZXMgZm9yIGNvbXB1dGF0aW9uIGFuZCBkZWR1Y3Rpb24gZnJvbSB0aGVvcmV0aWNh bCBmb3VuZGF0aW9ucyB0byAKYXBwbGljYXRpb25zLiBCdWlsZGluZyBvbiB0d28gY29tbXVuaXRp ZXMsIFJUQSAoUmV3cml0aW5nIFRlY2huaXF1ZXMgYW5kIApBcHBsaWNhdGlvbnMpIGFuZCBUTENB IChUeXBlZCBMYW1iZGEgQ2FsY3VsaSBhbmQgQXBwbGljYXRpb25zKSwgRlNDRCAKZW1icmFjZXMg dGhlaXIgY29yZSB0b3BpY3MgYW5kIGJyb2FkZW5zIHRoZWlyIHNjb3BlIHRvIGNsb3NlbHkgcmVs YXRlZCAKYXJlYXMgaW4gbG9naWMsIG1vZGVscyBvZiBjb21wdXRhdGlvbiwgc2VtYW50aWNzIGFu ZCB2ZXJpZmljYXRpb24gaW4gbmV3IApjaGFsbGVuZ2luZyBhcmVhcy4KCgpSRUdJU1RSQVRJT04K LS0tLS0tLS0tLS0tClRoZSByZWdpc3RyYXRpb24gcGFnZSBmb3IgdGhlIGNvbmZlcmVuY2VzIGlz IGFscmVhZHkgb3BlbiBhbmQgbGlua2VkIGZyb206CgpodHRwczovL3VybGRlZmVuc2UuY29tL3Yz L19faHR0cHM6Ly9jb21wb3NlLmlvYy5lZS9pY2FscDIwMjQvKnJlZ2lzdHJhdGlvbl9fO0l3ISFJ QnpXTFVzIVVRWlJ6REFfR0Z6V3V3dG5oQ3EwVUY5YVcwWXBxb0c0SDRmclRWcGpyU25VS1dRMXZS RGNkaXZRZzd5UHV5WmRobEFqR0x3OVNfbzk0YnFGenNsbElYd0xYamVzWmxzJCAKClRoaXMgbGlu ayBzaG91bGQgYmUgdXNlZCBhbHNvIHRvIHJlZ2lzdGVyIGZvciBhZmZpbGlhdGVkIHdvcmtzaG9w cy4KClRoZSBlYXJseSByZWdpc3RyYXRpb24gZGVhZGxpbmUgaXMgKioqIE1heSAxNywgMjAyNCAq KiouCgpGU0NEIDIwMjQgaXMgY28tbG9jYXRlZCB3aXRoIElDQUxQIDIwMjQgKEp1bHkgOC0xMiwg MjAyNCkgYW5kIExJQ1MgMjAyNCAKKEp1bHkgOC0xMSwgMjAyNCksIGFuZCBzcGVjaWFsIHJhdGVz IGFyZSBhdmFpbGFibGUgZm9yIGpvaW50IApyZWdpc3RyYXRpb24gdG8gdGhlIGNvbmZlcmVuY2Vz LgoKCklOVklURUQgU1BFQUtFUlMKLS0tLS0tLS0tLS0tLS0tLQpJbmZvcm1hdGlvbiBhYm91dCB0 aGUgaW52aXRlZCBzcGVha2VycyBpcyBoZXJlOgoKaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9f X2h0dHBzOi8vY29tcG9zZS5pb2MuZWUvaWNhbHAyMDI0LyppbnZpdGVkX187SXchIUlCeldMVXMh VVFaUnpEQV9HRnpXdXd0bmhDcTBVRjlhVzBZcHFvRzRINGZyVFZwanJTblVLV1ExdlJEY2RpdlFn N3lQdXlaZGhsQWpHTHc5U19vOTRicUZ6c2xsSVh3TFpQWHJJbHckIAoKICAtIERlbGlhIEtlc25l ciwgVW5pdmVyc2l0w6kgUGFyaXMgQ2l0w6kKICAtIEJldHRpbmEgS8O2bmlnaG9mZXIsIFRVIEdy YXoKICAtIFNlYmFzdGlhbiBVbGxyaWNoLCBMZWFuIEZSTwogIC0gU3RlcGhhbmllIFdlaXJpY2gs IFVuaXZlcnNpdHkgb2YgUGVubnN5bHZhbmlhIChqb2ludCBJQ0FMUC9MSUNTL0ZTQ0QgCnNwZWFr ZXIpCgoKQUNDRVBURUQgUEFQRVJTCi0tLS0tLS0tLS0tLS0tLQpUaGUgbGlzdCBvZiBhY2NlcHRl ZCBwYXBlcnMgaXMgaGVyZToKCmh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL2Nz LmlvYy5lZS9mc2NkMjQvYWNjZXB0ZWQuaHRtbF9fOyEhSUJ6V0xVcyFVUVpSekRBX0dGeld1d3Ru aENxMFVGOWFXMFlwcW9HNEg0ZnJUVnBqclNuVUtXUTF2UkRjZGl2UWc3eVB1eVpkaGxBakdMdzlT X285NGJxRnpzbGxJWHdMeUZtdmREWSQgCgoKQUZGSUxJQVRFRCBXT1JLU0hPUFMKLS0tLS0tLS0t LS0tLS0tLS0tLS0KVGhlIGZvbGxvd2luZyB3b3Jrc2hvcHMgYXJlIGFmZmlsaWF0ZWQgd2l0aCBG U0NELCBJQ0FMUCwgYW5kIExJQ1MgaW4gMjAyNDoKCmh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMv X19odHRwczovL2NvbXBvc2UuaW9jLmVlL2ljYWxwMjAyNC8qd29ya3Nob3BzX187SXchIUlCeldM VXMhVVFaUnpEQV9HRnpXdXd0bmhDcTBVRjlhVzBZcHFvRzRINGZyVFZwanJTblVLV1ExdlJEY2Rp dlFnN3lQdXlaZGhsQWpHTHc5U19vOTRicUZ6c2xsSVh3THhxeVVGbmskIAoKICAtIFBhcmFtZXRl cml6ZWQgQXBwcm94aW1hdGlvbiBBbGdvcml0aG1zIFdvcmtzaG9wIChQQUFXIDIwMjQpIC0gSnVs eSAKNiwgMjAyNAogIC0gVHJlbmRzIGluIEFyaXRobWV0aWMgVGhlb3JpZXMgKFRBVCAyMDI0KSAt IEp1bHkgNiwgMjAyNAogIC0gR2VvbWV0cmljIGFuZCBUb3BvbG9naWNhbCBNZXRob2RzIGluIENv bXB1dGVyIFNjaWVuY2UgKEdFVENPIDIwMjQpIC0gCkp1bHkgNi03LCAyMDI0CiAgLSBBbGdvcml0 aG1pYyBBc3BlY3RzIG9mIFRlbXBvcmFsIEdyYXBocyBWSUkgKEFBVEcgMjAyNCkgLSBKdWx5IDcs IDIwMjQKICAtIExlYXJuaW5nIGFuZCBBdXRvbWF0YSAoTGVhcm5BdXQgMjAyNCkgLSBKdWx5IDcs IDIwMjQKICAtIExvZ2ljIE1lbnRvcmluZyBXb3Jrc2hvcCAoTE1XIDIwMjQpIC0gSnVseSA3LCAy MDI0CiAgLSBQYXJhbWV0ZXJpemVkIEFsZ29yaXRobXMgYW5kIENvbnN0cmFpbnQgU2F0aXNmYWN0 aW9uIChQQUNTIDIwMjQpIC0gCkp1bHkgNywgMjAyNAogIC0gU3RydWN0dXJlIG1lZXRzIFBvd2Vy IChTbVAgMjAyNCkgLSBKdWx5IDcsIDIwMjQKICAtIExvZ2ljYWwgRnJhbWV3b3JrcyBhbmQgTWV0 YS1MYW5ndWFnZXM6IFRoZW9yeSBhbmQgUHJhY3RpY2UgKExGTVRQIAoyMDI0KSAtIEp1bHkgOCwg MjAyNAogIC0gTWF0aGVtYXRpY2FsbHkgU3RydWN0dXJlZCBGdW5jdGlvbmFsIFByb2dyYW1taW5n IChNU0ZQIDIwMjQpIC0gSnVseSAKOCwgMjAyNAogIC0gRWlnaHRoIEludGVybmF0aW9uYWwgV29y a3Nob3Agb24gVHJlbmRzIGluIExpbmVhciBMb2dpYyBhbmQgCkFwcGxpY2F0aW9ucyAoVExMQSAy MDI0KSAtIEp1bHkgOC05LCAyMDI0CiAgLSBJbnRlcnNlY3Rpb24gVHlwZXMgYW5kIFJlbGF0ZWQg U3lzdGVtcyAoSVRSUyAyMDI0KSAtIEp1bHkgOSwgMjAyNAogIC0gSW50ZXJuYXRpb25hbCBXb3Jr c2hvcCBvbiBDb25mbHVlbmNlIChJV0MgMjAyNCkgLSBKdWx5IDksIDIwMjQKICAtIFdvbWVuIGlu IExvZ2ljIDIwMjQgLSBKdWx5IDksIDIwMjQKCgpQUk9HUkFNIENPTU1JVFRFRSBDSEFJUgotLS0t LS0tLS0tLS0tLS0tLS0tLS0tLQpKYWtvYiBSZWhvZiwgVFUgRG9ydG11bmQgVW5pdmVyc2l0eQoK UFJPR1JBTSBDT01NSVRURUUKLS0tLS0tLS0tLS0tLS0tLS0KVGhvcnN0ZW4gQWx0ZW5raXJjaCwg VW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtClNhbmRyYSBBbHZlcywgVW5pdmVyc2l0eSBvZiBQb3J0 bwpUYWthaGl0byBBb3RvLCBOaWlnYXRhIFVuaXZlcnNpdHkKTWF1cmljaW8gQXlhbGEtUmluY8Oz biwgQnJhc2lsaWEgVW5pdmVyc2l0eQpTdGVwaGFuaWUgQmFsemVyLCBDTVUKVGhpZXJyeSBDb3F1 YW5kLCBVbml2ZXJzaXR5IG9mIEdvdGhlbmJ1cmcKQWxlamFuZHJvIETDrWF6LUNhcm8sIFF1aWxt ZXMgTmF0aW9uYWwgVW5pdmVyc2l0eSAmIENPTklDRVQtQnVlbm9zIEFpcmVzIApVbml2ZXJzaXR5 CkNsYXVkaWEgRmFnZ2lhbiwgQ05SUywgVW5pdmVyc2l0w6kgZGUgUGFyaXMKU2lsdmlhIEdoaWxl emFuLCBVbml2ZXJzaXR5IG9mIE5vdmkgU2FkClNpbW9uIEdheSwgVW5pdmVyc2l0eSBvZiBHbGFz Z293CkNlemFyeSBLYWxpc3p5aywgVW5pdmVyc2l0eSBvZiBJbm5zYnJ1Y2sKQW1icnVzIEthcG9z aSwgRcO2dHbDtnMgTG9yw6FuZCBVbml2ZXJzaXR5LCBCdWRhcGVzdApEZXh0ZXIgS296ZW4sIENv cm5lbGwgVW5pdmVyc2l0eQpEb21pbmlxdWUgTGFyY2hleS1XZW5kbGluZywgQ05SUywgTG9yaWEK TWFyaW5hIExlbmlzYSwgVW5pdmVyc2l0eSBvZiBVZGluZQpTb25pYSBNYXJpbiwgVW5pdmVyc2l0 eSBvZiBCaXJtaW5naGFtCk5hb2tpIE5pc2hpZGEsIE5hZ295YSBVbml2ZXJzaXR5CkNocmlzdGlu ZSBQYXVsaW4tTW9ocmluZywgUGFyaXMtU2FjbGF5IFVuaXZlcnNpdHkKUGllcnJlLU1hcmllIFDD qWRyb3QsIElucmlhIFJlbm5lcy1CcmV0YWduZS1BdGxhbnRpcXVlCkVsYWluZSBQaW1lbnRlbCwg VW5pdmVyc2l0eSBDb2xsZWdlIExvbmRvbgpKYWtvYiBSZWhvZiAoQ2hhaXIpLCBUVSBEb3J0bXVu ZCBVbml2ZXJzaXR5ClNpbW9uYSBSb25jaGkgZGVsbGEgUm9jY2EsIFVuaXZlcnNpdHkgb2YgVG9y aW5vClN5bHZhaW4gU2NobWl0eiwgVW5pdmVyc2l0w6kgUGFyaXMgQ2l0w6kKQWxla3N5IFNjaHVi ZXJ0LCBVbml2ZXJzaXR5IG9mIFdhcnNhdwpKYWtvYiBHcnVlIFNpbW9uc2VuLCBVbml2ZXJzaXR5 IG9mIENvcGVuaGFnZW4KS2F0aHJpbiBTdGFyaywgSGVyaW90LVdhdHQgVW5pdmVyc2l0eSwgRWRp bmJ1cmdoCkx1dHogU3RyYcOfYnVyZ2VyLCBJbnJpYSBTYWNsYXkKVGFjaGlvIFRlcmF1Y2hpLCBX YXNlZGEgVW5pdmVyc2l0eQpTYXJhaCBXaW5rbGVyLCBGcmVlIFVuaXZlcnNpdHkgb2YgQm9semFu bwoKQ09ORkVSRU5DRSBDSEFJUgotLS0tLS0tLS0tLS0tLS0tCk5pY2NvbMOyIFZlbHRyaSwgVGFs bGlubiBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3kKCldPUktTSE9QIENIQUlSCi0tLS0tLS0tLS0t LS0tCkx1aWdpIExpcXVvcmksIElucmlhCgpTVEVFUklORyBDT01NSVRURUUgV09SS1NIT1AgQ0hB SVIKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCkN5bnRoaWEgS29wLCBSYWRib3Vk IFVuaXZlcnNpdHkgTmlqbWVnZW4KClBVQkxJQ0lUWSBDSEFJUgotLS0tLS0tLS0tLS0tLS0KQ2Fy c3RlbiBGdWhzLCBCaXJrYmVjaywgVW5pdmVyc2l0eSBvZiBMb25kb24KCkZTQ0QgU1RFRVJJTkcg Q09NTUlUVEVFCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCkhlcm1hbiBHZXV2ZXJzIChDaGFpciks IFJhZGJvdWQgVW5pdmVyc2l0eSBOaWptZWdlbgpQYXRyaWNrIEJhaWxsb3QsIENOUlMsIFVuaXZl cnNpdMOpIGRlIExpbGxlCkFsZWphbmRybyBEw61hei1DYXJvLCBRdWlsbWVzIE5hdGlvbmFsIFVu aXZlcnNpdHkgJiBDT05JQ0VULUJ1ZW5vcyBBaXJlcyAKVW5pdmVyc2l0eQpBbXkgRmVsdHksIFVu aXZlcnNpdHkgb2YgT3R0YXdhCkNhcnN0ZW4gRnVocywgQmlya2JlY2ssIFVuaXZlcnNpdHkgb2Yg TG9uZG9uCk1hcmNvIEdhYm9hcmRpLCBCb3N0b24gVW5pdmVyc2l0eQpKw7xyZ2VuIEdpZXNsLCBS V1RIIEFhY2hlbiBVbml2ZXJzaXR5CkRlbGlhIEtlc25lciwgVW5pdmVyc2l0w6kgUGFyaXMgQ2l0 w6kKTmFva2kgS29iYXlhc2hpLCBVbml2ZXJzaXR5IG9mIFRva3lvCkN5bnRoaWEgS29wLCBSYWRi b3VkIFVuaXZlcnNpdHkgTmlqbWVnZW4KTHVpZ2kgTGlxdW9yaSwgSW5yaWEKR2l1bGlvIE1hbnpv bmV0dG8sIFVuaXZlcnNpdMOpIFBhcmlzLU5vcmQKRGFuaWVsZSBOYW50ZXMsIEltcGVyaWFsIENv bGxlZ2UgTG9uZG9uIC8gVW5pdmVyc2l0eSBvZiBCcmFzaWxpYQpGZW1rZSB2YW4gUmFhbXNkb25r LCBWcmlqZSBVbml2ZXJzaXRlaXQgQW1zdGVyZGFtCgpXZSBhcmUgbG9va2luZyBmb3J3YXJkIHRv IHNlZWluZyB5b3UgaW4gVGFsbGlubiEKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09Cg==