CFP - FICS Workshop (submission deadline: 1st December 2023)
Alexis Saurin <[email protected]> Mon, 30 Oct 2023 18:51:04 +0100
| Newsgroups | gmane.comp.lang.agda,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
CihBcG9sb2dpZXMgZm9yIG11bHRpcGxlIHBvc3RpbmdzKQoKPT09IENhbGwgZm9yIGNvbnRyaWJ1 dGlvbnMgPT09CgpXb3Jrc2hvcCBvbiBGaXhlZCBQb2ludHMgaW4gQ29tcHV0ZXIgU2NpZW5jZQox OSAmIDIwIEZlYnJ1YXJ5IDIwMjQKaHR0cHM6Ly93d3cuaXJpZi5mci91c2Vycy9zYXVyaW4vZmlj czIwMjQvaW5kZXguaHRtbAoKClRoaXMgeWVhciwgRklDUyB3b3Jrc2hvcCAoV29ya3Nob3Agb24g Rml4ZWQgUG9pbnRzIGluIENvbXB1dGVyIFNjaWVuY2UpIAp3aWxsIHRha2UgcGxhY2UgaW4gTmFw bGVzIG9uIHRoZSAxOXRoIGFuZCAyMHRoIG9mIEZlYnJ1YXJ5LCAyMDI0LCAKYWZmaWxpYXRlZCB3 aXRoIENTTCAyMDI0IChodHRwczovL2NzbDIwMjQuZ2l0aHViLmlvL0hvbWUvKS4KCgo9PSBORVdT ID09CiAgKiBQcm9ncmFtIGNvbW1pdHRlZSBpcyBhbm5vdW5jZWQgYmVsb3c7CiAgKiBXb3Jrc2hv cCBwcm9jZWVkaW5ncyBjb250YWluaW5nIHRoZSBleHRlbmRlZCBhYnN0cmFjdHMgd2lsbCBiZSAK cHVibGlzaGVkIGFzIGFuIEVQVENTIHZvbHVtZTsKICAqIENGUCBhdmFpbGFibGUgYXQ6IGh0dHBz Oi8vd3d3LmlyaWYuZnIvdXNlcnMvc2F1cmluL2ZpY3MyMDI0L2NmcC5odG1sOwogICogRWFzeWNo YWlyIHN1Ym1pc3Npb24gbGluazogCmh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/ Y29uZj1maWNzMjAyNAoKCj09IEltcG9ydGFudCBkYXRlcyBhbmQgcHJhY3RpY2FsIGRldGFpbHM9 PQoKLSBTdWJtaXNzaW9uIGRlYWRsaW5lIGZvciBzaG9ydCBhbmQgZXh0ZW5kZWQgYWJzdHJhY3Rz OiAxIERlY2VtYmVyIDIwMjM7Ci0gTm90aWZpY2F0aW9uOiAyMSBEZWNlbWJlciAyMDIzOwotIFdv cmtzaG9wOiAxOSBhbmQgMjAgRmVicnVhcnkgMjAyNC4KCgpTdWJtaXNzaW9uIGxpbms6IGh0dHBz Oi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1maWNzMjAyNAoKUmVnaXN0cmF0aW9u IHdpbGwgYmUgaGFuZGxlZCBieSBDU0wgMjAyNCAoZGV0YWlscyB0byBjb21lKS4gT25saW5lIApw YXJ0aWNpcGF0aW9uIHdpbGwgYmUgcG9zc2libGUgd2l0aCBhIHJlZHVjZWQgcmVnaXN0cmF0aW9u IGZlZXMsIGJ1dCBhdCAKbGVhc3QgYW4gYXV0aG9yIG9mIGVhY2ggYWJzdHJhY3Qgd2lsbCBoYXZl IHRvIHJlZ2lzdGVyIHdpdGggb24tc2l0ZSBmZWVzLgoKCj09IEFib3V0IEZJQ1Mgd29ya3Nob3Ag c2VyaWVzID09CgpUaGUgZ29hbCBpcyB0byBicmluZyB0b2dldGhlciBwZW9wbGUgZnJvbSBkaWZm ZXJlbnQgc3ViZmllbGRzIHN1Y2ggYXMgCmFsZ2VicmEvY29hbGdlYnJhLCB2ZXJpZmljYXRpb24s IGxvZ2ljLCBhcm91bmQgdGhlIHRoZW1hdGljIG9mIGZpeGVkIApwb2ludHMuIEZpeGVkIHBvaW50 cyBwbGF5IGEgZnVuZGFtZW50YWwgcm9sZSBpbiBzZXZlcmFsIGFyZWFzIG9mIApjb21wdXRlciBz Y2llbmNlLiBUaGV5IGFyZSB1c2VkIHRvIGp1c3RpZnkgKGNvKXJlY3Vyc2l2ZSBkZWZpbml0aW9u cyBhbmQgCmFzc29jaWF0ZWQgcmVhc29uaW5nIHRlY2huaXF1ZXMuIFRoZSBjb25zdHJ1Y3Rpb24g YW5kIHByb3BlcnRpZXMgb2YgCmZpeGVkIHBvaW50cyBoYXZlIGJlZW4gaW52ZXN0aWdhdGVkIGlu IG1hbnkgZGlmZmVyZW50IHNldHRpbmdzIHN1Y2ggYXM6IApkZXNpZ24gYW5kIGltcGxlbWVudGF0 aW9uIG9mIHByb2dyYW1taW5nIGxhbmd1YWdlcywgbG9naWNzLCAKdmVyaWZpY2F0aW9uLCBkYXRh YmFzZXMuCgoKPT0gU2NvcGUgPT0KClRvcGljcyBpbmNsdWRlLCBidXQgYXJlIG5vdCByZXN0cmlj dGVkIHRvOgoKLSBmaXhlZCBwb2ludHMgaW4gYWxnZWJyYSBhbmQgY29hbGdlYnJhCi0gZml4ZWQg cG9pbnRzIGluIGZvcm1hbCBsYW5ndWFnZXMgYW5kIGF1dG9tYXRhCi0gZml4ZWQgcG9pbnRzIGlu IGdhbWUgdGhlb3J5Ci0gZml4ZWQgcG9pbnRzIGluIHByb2dyYW1taW5nIGxhbmd1YWdlIHNlbWFu dGljcwotIGZpeGVkIHBvaW50cyBpbiBwcm9vZnMKLSBmaXhlZCBwb2ludHMgaW4gdGhlIG11LWNh bGN1bHVzIGFuZCBtb2RhbCBsb2dpY3MKLSBmaXhlZCBwb2ludHMgaW4gcHJvY2VzcyBhbGdlYnJh cyBhbmQgcHJvY2VzcyBjYWxjdWxpCi0gZml4ZWQgcG9pbnRzIGluIGZ1bmN0aW9uYWwgcHJvZ3Jh bW1pbmcgYW5kIHR5cGUgdGhlb3J5Ci0gZml4ZWQgcG9pbnRzIGluIHJlbGF0aW9uIHRvIGRhdGFm bG93IGFuZCBjaXJjdWl0cwotIGZpeGVkIHBvaW50cyBpbiBhdXRvbWF0ZWQgdGhlb3JlbSBwcm92 aW5nLCBpbnRlcmFjdGl2ZSB0aGVvcmVtIHByb3ZpbmcgCmFuZCBsb2dpYyBwcm9ncmFtbWluZwot IGZpeGVkIHBvaW50cyBpbiBmaW5pdGUgbW9kZWwgdGhlb3J5LCBkZXNjcmlwdGl2ZSBjb21wbGV4 aXR5IHRoZW9yeSwgCmFuZCBkYXRhYmFzZXMKLSBmaXhlZCBwb2ludHMgaW4gY2F0ZWdvcnkgdGhl b3J5IGZvciBsb2dpYyBpbiBjb21wdXRlciBzY2llbmNlCgoKPT0gVHlwZXMgb2Ygc3VibWlzc2lv bnMgPT0KClRoaXMgeWVhciwgd2Ugd2VsY29tZSB0d28gY2F0ZWdvcmllcyBvZiBzdWJtaXNzaW9u cywgc2hvcnQgYWJzdHJhY3RzIGFzIAp3ZWxsIGFzIGV4dGVuZGVkIGFic3RyYWN0czoKCi0gQm90 aCB0eXBlcyBvZiBzdWJtaXNzaW9ucyB3aWxsIGJlIGhhbmRsZWQgdmlhIEVhc3ljaGFpciBhbmQg d2lsbCBiZSAKcGVlci1yZXZpZXdlZCBieSB0aGUgUEMuCi0gSW4gb3JkZXIgdG8gc3VibWl0IGEg c2hvcnQgb3IgZXh0ZW5kZWQgYWJzdHJhY3QgdG8gRklDUywgcGxlYXNlIHZpc2l0IAp0aGUgZm9s bG93aW5nIGxpbms6IGh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1maWNz MjAyNAotIEEgcHJvY2VlZGluZ3Mgdm9sdW1lIGdhdGhlcmluZyB0aGUgZXh0ZW5kZWQgYWJzdHJh Y3RzIHdpbGwgYmUgCnB1Ymxpc2hlZCBieSBFUFRDUyBzaG9ydGx5IGFmdGVyIHRoZSB3b3Jrc2hv cCAoc2VlIGRldGFpbHMgYmVsb3cpLgoKCkhlcmUgYXJlIGRldGFpbHMgb24gZWFjaCB0eXBlIG9m IHN1Ym1pc3Npb246CgotICoqc2hvcnQgYWJzdHJhY3RzKiogYXJlIGFic3RyYWN0cyBvZiAqKjMg dG8gNSBwYWdlcywgcmVmZXJlbmNlcyAKaW5jbHVkZWQqKiwgZGVzY3JpYmluZyB0aGUgdG9waWMg b2YgdGhlIHByb3Bvc2VkIGNvbnRyaWJ1dGVkIHRhbGsuIFRoZXkgCm1heSBjb250YWluIChpKSBu ZXcgY29tcGxldGVkIHJlc3VsdHMsIChpaSkgd29yayBpbiBwcm9ncmVzcyBvciAoaWlpKSAKYWxy ZWFkeSAocmVjZW50bHkpIHB1Ymxpc2hlZCBvciBzdWJtaXR0ZWQgd29ya3MuIFRoZSBzdWJtaXNz aW9uIGNhbiAKcmVmZXIgdG8gYSBwdWJsaXNoZWQgcGFwZXIgb3IgYSBwcmVwcmludCBidXQgdGhl IGRlc2NyaXB0aW9uIGdpdmVuIGluIAp0aGUgc2hvcnQgYWJzdHJhY3Qgc2hvdWxkIGJlIHN1ZmZp Y2llbnRseSBkZXRhaWxlZCBmb3IgdGhlIFBDIHRvIGp1ZGdlIAp0aGUgcmVsZXZhbmNlIG9mIHRo ZSBwcm9wb3NlZCB0YWxrIHRvIHRoZSB3b3Jrc2hvcCBwcm9ncmFtLgoKLSAqKmV4dGVuZGVkIGFi c3RyYWN0cyoqIGFyZSBwYXBlcnMgb2YgKio2IHRvIDEwIHBhZ2VzLCByZWZlcmVuY2VzIApleGNs dWRlZCoqLCBkZXNjcmliaW5nIG9yaWdpbmFsIHJlc3VsdHMgd2hpY2ggaGF2ZSBub3QgYmVlbiBw dWJsaXNoZWQgCm5vciBhcmUgY3VycmVudGx5IHN1Ym1pdHRlZCBlbHNld2hlcmUuIFRoZSByZXN1 bHRzIG11c3QgYmUgcHJlc2VudGVkIGluIApzdWZmaWNpZW50IGRldGFpbHMgdG8gY29uc3RpdHV0 ZSBhIHNjaWVudGlmaWMgcHVibGljYXRpb24uIEFuIGFwcGVuZGl4IApjYW4gcHJvdmlkZSBhZGRp dGlvbmFsIGRldGFpbHMgZm9yIHRoZSByZXZpZXdlciBidXQgd2lsbCBiZSByZWFkIGF0IHRoZSAK ZGlzY3JldGlvbiBvZiB0aGUgcmV2aWV3ZXJzLgpBIHZvbHVtZSBvZiBwcm9jZWVkaW5ncyBjb250 YWluaW5nIHRoZSAqKmV4dGVuZGVkIGFic3RyYWN0cyoqIHdpbGwgYmUgCnB1Ymxpc2hlZCBzb29u IGFmdGVyIHRoZSB3b3Jrc2hvcCBieSBFUFRDUzogdGhlIGF1dGhvcnMgb2YgZXh0ZW5kZWQgCmFi c3RyYWN0cyB3aWxsIGJlIGFza2VkIHRvIHN1Ym1pdCBhIHJldmlzZWQgdmVyc2lvbiBmZXcgd2Vl a3MgYWZ0ZXIgdGhlIApldmVudCwgYWxsb3dpbmcgdGhlbSB0byB0YWtlIGludG8gYWNjb3VudCB0 aGUgd29ya3Nob3AgZGlzY3Vzc2lvbnMuIApEZXRhaWxzIHdpbGwgYmUgcmVsZWFzZWQgbGF0ZXIu CgoKPT0gUHJvZ3JhbSBDb21taXR0ZWUgPT0KCi0gWmVuYSBBcmlvbGEgKFVuaXZlcnNpdHkgb2Yg T3JlZ29uLCBVU0EpCi0gQWJoaXNoZWsgRGUgKFVuaXZlcnNpdHkgb2YgQmlybWluZ2hhbSwgVUsp Ci0gWmVpbmFiIEdhbGFsIChVbml2ZXJzaXTDoCBkZWdsaSBzdXRkaSBkaSBCb2xvZ25hLCBJdGFs eSkKLSBHdWlsaGVtIEphYmVyIChVbml2ZXJzaXTDqSBkZSBOYW50ZXMsIEZyYW5jZSkKLSBFa2F0 ZXJpbmEgS29tZW5kYW50c2theWEgKEhlcmlvdC1XYXR0IFVuaXZlcnNpdHksIFVLKQotIERlbmlz IEt1cGVyYmVyZyAoQ05SUyAmIEVOUyBMeW9uLCBGcmFuY2UpCi0gTWFydGluIExhbmdlIChVbml2 ZXJzaXR5IG9mIEthc3NlbCwgR2VybWFueSkKLSBDaHJpc3RpbmUgUGF1bGluLU1vaHJpbmcgKFVu aXZlcnNpdMOpIFBhcmlzIFNhY2xheSwgRnJhbmNlKQotIERhbmllbGEgUGV0cmlzYW4gKFVuaXZl cnNpdMOpIFBhcmlzIENpdMOpLCBGcmFuY2UpCi0gQWxleGlzIFNhdXJpbiAoQ05SUyAmIFVuaXZl cnNpdMOpIFBhcmlzIENpdMOpLCBGcmFuY2UpLCBQQyBDaGFpcgotIFRob21hcyBTdHVkZXIgKFVu aXZlcnNpdHkgb2YgQmVybiwgU3dpdHplcmxhbmQpCi0gVGFybW8gVXVzdGFsdSAoUmV5a2phdmlr IFVuaXZlcnNpdHksIEljZWxhbmQpCi0gWWRlIFZlbmVtYSAoVW5pdmVyc2l0eSBvZiBBbXN0ZXJk YW0sIE5ldGhlcmxhbmQpCgoKPT0gSm91cm5hbCBwdWJsaWNhdGlvbiA9PQoKRGVwZW5kaW5nIG9u IHRoZSBudW1iZXIgYW5kIHF1YWxpdHkgb2Ygc3VibWlzc2lvbnMsIHdlIHdpbGwgcGxhbiBhIApz dWJzZXF1ZW50IHNwZWNpYWwgaXNzdWUgb2YgYSBqb3VybmFsLCBhcyBvZnRlbiBkb25lIGZvciBw cmV2aW91cyAKZWRpdGlvbnMgb2YgdGhlIHdvcmtzaG9wLgoKCj09IENvbnRhY3QgPT0KCkFsZXhp cyBTYXVyaW4sIGFsZXhpcy5zYXVyaW5AaXJpZi5mcgpodHRwczovL3d3dy5pcmlmLmZyL3VzZXJz L3NhdXJpbi9pbmRleApfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXwpBZ2RhIG1haWxpbmcgbGlzdApBZ2RhQGxpc3RzLmNoYWxtZXJzLnNlCmh0dHBzOi8vbGlz dHMuY2hhbG1lcnMuc2UvbWFpbG1hbi9saXN0aW5mby9hZ2RhCg==