CONCUR 2022: first call for papers
Javier Esparza <[email protected]> Thu, 25 Nov 2021 08:46:58 +0100
| Newsgroups | gmane.comp.science.types.announce,gmane.comp.lang.lambda-prolog,gmane.comp.lang.caml.inria,gmane.comp.mathematics.hol,gmane.science.mathematics.logic.acl2.general,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.petri-nets |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKQ09OQ1VS IDIwMjI6IGZpcnN0IGNhbGwgZm9yIHBhcGVycwo9PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT0KCgpTZXB0ZW1iZXIgMTMtMTYsIDIwMjIgYXQgdGhlIFVuaXZlcnNpdHkgb2YgV2Fyc2F3LCBQ b2xhbmQKCgpXZWJzaXRlOiBodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9jb25j dXIyMDIyLm1pbXV3LmVkdS5wbC9fXzshIUlCeldMVXMhQV9nUHNBSU92bDV2MFZvTzYwSXBpMmk3 bDBmejBPNXJ3cWdUTEF1dlNfY0V1bGhic2VVT2N6Z3dBX3VSWlNuSDYzSTN3bUNIM1pkR0RnJCAK CgpDby1sb2NhdGVkIHdpdGggUUVTVCwgRk9STUFUUywgRk1JQ1MgKHVuZGVyIHRoZSBqb2ludCBu YW1lIENPTkZFU1QpCgoKVGhlIHB1cnBvc2Ugb2YgQ09OQ1VSIDIwMjIsIHRoZSAzM3JkIEludGVy bmF0aW9uYWwgQ29uZmVyZW5jZSBvbiAKQ29uY3VycmVuY3kgVGhlb3J5LCBpcyB0byBicmluZyB0 b2dldGhlciByZXNlYXJjaGVycywgZGV2ZWxvcGVycywgYW5kIApzdHVkZW50cyBpbiBvcmRlciB0 byBhZHZhbmNlIHRoZSB0aGVvcnkgb2YgY29uY3VycmVuY3ksIGFuZCBwcm9tb3RlIGl0cyAKYXBw bGljYXRpb25zLgoKCgpJTVBPUlRBTlQgTk9URSBDT05DRVJOSU5HIFRIRSBDT1ZJRC0xOSBQQU5E RU1JQwoKCkNPTkNVUiAyMDIyIGlzIHBsYW5uZWQgYXMgYSBwaHlzaWNhbCwgaW4tcGVyc29uIGV2 ZW50LCB3aXRoIGNlcnRhaW4gCnN1cHBvcnQgZm9yIHJlbW90ZSBwcmVzZW5jZSwgYm90aCBmb3Ig c3BlYWtlcnMgYW5kIGZvciBvdGhlciAKcGFydGljaXBhbnRzIHdobyBhcmUgdW5hYmxlIG9yIHVu d2lsbGluZyB0byBjb21lLiBEZXBlbmRpbmcgb24gdGhlIApwYW5kZW1pYyBzaXR1YXRpb24sIHdl IG1heSBoYXZlIHRvIG1ha2UgYSBkZWNpc2lvbiB3aGV0aGVyIHRvIGNhbmNlbCB0aGUgCnBoeXNp Y2FsIGNvbXBvbmVudCBvZiB0aGUgZXZlbnQgb3Igbm90LiBUaGlzIHNob3VsZCBiZSBkZWZpbml0 ZWx5IApkZWNpZGVkIGJ5IHRoZSBlbmQgb2YgSnVuZSAyMDIyLgoKCgpJTlZJVEVEIFNQRUFLRVJT CgoKV29qY2llY2ggQ3plcndpxYRza2ksIFVuaXZlcnNpdHkgb2YgV2Fyc2F3LCBQb2xhbmQKUGhp bGlwcGEgR2FyZG5lciwgSW1wZXJpYWwgQ29sbGVnZSBMb25kb24sIFVLClJ1cGFrIE1hanVtZGFy LCBNYXggUGxhbmNrIEluc3RpdHV0ZSBmb3IgU29mdHdhcmUgU3lzdGVtcywgR2VybWFueQpTZXJn aW8gUmFqc2JhdW0sIFVuaXZlcnNpZGFkIE5hY2lvbmFsIEF1dG9ub21hIGRlIE1leGljbywgTWV4 aWNvCgoKCkNPLUxPQ0FURUQgQ09ORkVSRU5DRVMKCgoxOXRoIEludGVybmF0aW9uYWwgQ29uZmVy ZW5jZSBvbiBRdWFudGl0YXRpdmUgRXZhbHVhdGlvbiBvZiBTeXNUZW1zIAooUUVTVCAyMDIyKQoy MHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBGb3JtYWwgTW9kZWxpbmcgYW5kIEFuYWx5 c2lzIG9mIFRpbWVkIApTeXN0ZW1zIChGT1JNQVRTIDIwMjIpCjI3dGggSW50ZXJuYXRpb25hbCBD b25mZXJlbmNlIG9uIEZvcm1hbCBNZXRob2RzIGZvciBJbmR1c3RyaWFsIENyaXRpY2FsIApTeXN0 ZW1zIChGTUlDUyAyMDIyKQoKCldlYnNpdGU6IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19o dHRwczovL2NvbmN1cjIwMjIubWltdXcuZWR1LnBsL19fOyEhSUJ6V0xVcyFBX2dQc0FJT3ZsNXYw Vm9PNjBJcGkyaTdsMGZ6ME81cndxZ1RMQXV2U19jRXVsaGJzZVVPY3pnd0FfdVJaU25INjNJM3dt Q0gzWmRHRGckIAoKCgpJTVBPUlRBTlQgREFURVMgKGFsbCBkYXRlcyBhcmUgQW9FKQoKCkFic3Ry YWN0IFN1Ym1pc3Npb246ICAgIEFwcmlsIDE4LCAyMDIyClBhcGVyIFN1Ym1pc3Npb246ICAgICAg IEFwcmlsIDI1LCAyMDIyCkF1dGhvciBSZXNwb25zZTogICAgICAgIEp1bmUgNi04LCAyMDIyCk5v dGlmaWNhdGlvbjogICAgICAgICAgIEp1bmUgMjUsIDIwMjIKQ2FtZXJhIFJlYWR5OiAgICAgICAg ICAgSnVseSA5LCAyMDIyCkNvbmZlcmVuY2Uocyk6ICAgICAgICAgIFNlcHRlbWJlciAxMy0xNiwg MjAyMgpXb3Jrc2hvcHM6ICAgICAgICAgICAgICBTZXB0ZW1iZXIgMTIgYW5kIDE3LCAyMDIyCgoK ClBBUEVSIFNVQk1JU1NJT04KCgpDT05DVVIgMjAyMiBzb2xpY2l0cyBoaWdoIHF1YWxpdHkgcGFw ZXJzIHJlcG9ydGluZyByZXNlYXJjaCByZXN1bHRzIAphbmQvb3IgZXhwZXJpZW5jZSByZWxhdGVk IHRvIHRoZSB0b3BpY3MgbWVudGlvbmVkIGJlbG93LiBBbGwgcGFwZXJzIG11c3QgCmJlIG9yaWdp bmFsLCB1bnB1Ymxpc2hlZCwgYW5kIG5vdCBzdWJtaXR0ZWQgZm9yIHB1YmxpY2F0aW9uIGVsc2V3 aGVyZS4KCgpFYWNoIHBhcGVyIHdpbGwgdW5kZXJnbyBhIHRob3JvdWdoIHJldmlldyBwcm9jZXNz LiBUaGUgcGFwZXIgbWF5IGJlIApzdXBwbGVtZW50ZWQgd2l0aCBhIGNsZWFybHkgbWFya2VkIGFw cGVuZGl4LCB3aGljaCB3aWxsIGJlIHJldmlld2VkIGF0IAp0aGUgZGlzY3JldGlvbiBvZiB0aGUg cHJvZ3JhbSBjb21taXR0ZWUuCgoKVGhlIENPTkNVUiAyMDIyIHByb2NlZWRpbmdzIHdpbGwgYmUg cHVibGlzaGVkIGJ5IExJUEljcy4KCgpQYXBlcnMgbXVzdCBiZSBzdWJtaXR0ZWQgZWxlY3Ryb25p Y2FsbHkgYXMgUERGIGZpbGVzIHZpYSBFYXN5Q2hhaXI6Cmh0dHBzOi8vdXJsZGVmZW5zZS5jb20v djMvX19odHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXM/Y29uZj1jb25jdXIyMDIyX187 ISFJQnpXTFVzIUFfZ1BzQUlPdmw1djBWb082MElwaTJpN2wwZnowTzVyd3FnVExBdXZTX2NFdWxo YnNlVU9jemd3QV91UlpTbkg2M0kzd21BU1ZBR19LZyQgCgoKUGFwZXJzIG11c3Qgbm90IGV4Y2Vl ZCAxNCBwYWdlcyAoZXhjbHVkaW5nIHJlZmVyZW5jZXMgYW5kIGNsZWFybHkgbWFya2VkIAphcHBl bmRpY2VzKSB1c2luZyB0aGUgTElQSWNzIHN0eWxlLgoKCgpUT1BJQ1MKCgpTdWJtaXNzaW9ucyBh cmUgc29saWNpdGVkIGluIHNlbWFudGljcywgbG9naWNzLCB2ZXJpZmljYXRpb24gYW5kIAphbmFs eXNpcyBvZiBjb25jdXJyZW50IHN5c3RlbXMuIFRoZSBwcmluY2lwYWwgdG9waWNzIGluY2x1ZGUg KGJ1dCBhcmUgCm5vdCBsaW1pdGVkIHRvKToKCgoqIEJhc2ljIG1vZGVscyBvZiBjb25jdXJyZW5j eSBzdWNoIGFzIGFic3RyYWN0IG1hY2hpbmVzLCAKZG9tYWluLXRoZW9yZXRpYyBtb2RlbHMsIGdh bWUtdGhlb3JldGljIG1vZGVscywgcHJvY2VzcyBhbGdlYnJhcywgZ3JhcGggCnRyYW5zZm9ybWF0 aW9uIHN5c3RlbXMsIFBldHJpIG5ldHMsIGh5YnJpZCBzeXN0ZW1zLCBtb2JpbGUgYW5kIApjb2xs YWJvcmF0aXZlIHN5c3RlbXMsIHByb2JhYmlsaXN0aWMgc3lzdGVtcywgcmVhbC10aW1lIHN5c3Rl bXMsIApiaW9sb2d5LWluc3BpcmVkIHN5c3RlbXMsIGFuZCBzeW5jaHJvbm91cyBzeXN0ZW1zOwoK CiogTG9naWNzIGZvciBjb25jdXJyZW5jeSBzdWNoIGFzIG1vZGFsIGxvZ2ljcywgcHJvYmFiaWxp c3RpYyBhbmQgCnN0b2NoYXN0aWMgbG9naWNzLCB0ZW1wb3JhbCBsb2dpY3MsIGFuZCByZXNvdXJj ZSBsb2dpY3M7CgoKKiBWZXJpZmljYXRpb24gYW5kIGFuYWx5c2lzIHRlY2huaXF1ZXMgZm9yIGNv bmN1cnJlbnQgc3lzdGVtcyBzdWNoIGFzIAphYnN0cmFjdCBpbnRlcnByZXRhdGlvbiwgYXRvbWlj aXR5IGNoZWNraW5nLCBtb2RlbCBjaGVja2luZywgcmFjZSAKZGV0ZWN0aW9uLCBwcmUtb3JkZXIg YW5kIGVxdWl2YWxlbmNlIGNoZWNraW5nLCBydW4tdGltZSB2ZXJpZmljYXRpb24sIApzdGF0ZS1z cGFjZSBleHBsb3JhdGlvbiwgc3RhdGljIGFuYWx5c2lzLCBzeW50aGVzaXMsIHRlc3RpbmcsIHRo ZW9yZW0gCnByb3ZpbmcsIHR5cGUgc3lzdGVtcywgYW5kIHNlY3VyaXR5IGFuYWx5c2lzOwoKCiog RGlzdHJpYnV0ZWQgYWxnb3JpdGhtcyBhbmQgZGF0YSBzdHJ1Y3R1cmVzOiBkZXNpZ24sIGFuYWx5 c2lzLCAKY29tcGxleGl0eSwgY29ycmVjdG5lc3MsIGZhdWx0IHRvbGVyYW5jZSwgcmVsaWFiaWxp dHksIGF2YWlsYWJpbGl0eSwgCmNvbnNpc3RlbmN5LCBzZWxmLW9yZ2FuaXphdGlvbiwgc2VsZi1z dGFiaWxpemF0aW9uLCBwcm90b2NvbHM7CgoKKiBUaGVvcmV0aWNhbCBmb3VuZGF0aW9ucyBvZiBh cmNoaXRlY3R1cmVzLCBleGVjdXRpb24gZW52aXJvbm1lbnRzLCBhbmQgCnNvZnR3YXJlIGRldmVs b3BtZW50IGZvciBjb25jdXJyZW50IHN5c3RlbXMgc3VjaCBhcyBnZW8tcmVwbGljYXRlZCAKc3lz dGVtcywgY29tbXVuaWNhdGlvbiBuZXR3b3JrcywgbXVsdGlwcm9jZXNzb3IgYW5kIG11bHRpLWNv cmUgCmFyY2hpdGVjdHVyZXMsIHNoYXJlZCBhbmQgdHJhbnNhY3Rpb25hbCBtZW1vcnksIHJlc291 cmNlIG1hbmFnZW1lbnQgYW5kIAphd2FyZW5lc3MsIGNvbXBpbGVycyBhbmQgdG9vbHMgZm9yIGNv bmN1cnJlbnQgcHJvZ3JhbW1pbmcsIHByb2dyYW1taW5nIAptb2RlbHMgc3VjaCBhcyBjb21wb25l bnQtYmFzZWQsIG9iamVjdC0gYW5kIHNlcnZpY2Utb3JpZW50ZWQuCgoKCkFXQVJEUwoKCkluIDIw MjIsIENPTkNVUiBUZXN0LW9mLVRpbWUgYW5kIGJlc3QgcGFwZXIgYXdhcmRzIHdpbGwgYmUgZ2l2 ZW4gZm9yIHRoZSAKdGhpcmQgdGltZS4gVGhlIHdpbm5lcnMgd2lsbCBiZSBhbm5vdW5jZWQgYXQg dGhlIGNvbmZlcmVuY2UuCgoKCk9SR0FOSVpBVElPTiBDT01NSVRURUUKCgpMb3JlbnpvIENsZW1l bnRlICh3b3Jrc2hvcCBjaGFpcikKUGlvdHJlayBIb2ZtYW4KQmFydGVrIEtsaW4KU8WCYXdlayBM YXNvdGEKUmFkZWsgUGnDs3Jrb3dza2kgKHdlYm1hc3RlcikKCgoKUFJPR1JBTSBDT01NSVRURUUK CgpDLiBBaXN3YXJ5YSwgQ2hlbm5haSBNYXRoZW1hdGljYWwgSW5zdGl0dXRlLCBJbmRpYQpTLiBB a3NoYXksIElJVCBCb21iYXksIEluZGlhClNoYXVsbCBBbG1hZ29yLCBUZWNobmlvbiwgSXNyYWVs Ck5hdGhhbGllIEJlcnRyYW5kLCBJTlJJQSwgRnJhbmNlCklsYXJpYSBDYXN0ZWxsYW5pLCBJTlJJ QSwgRnJhbmNlCkNvbnN0YW50aW4gRW5lYSwgSVJJRiwgVW5pdmVyc2l0w6kgZGUgUGFyaXMsIEZy YW5jZQpCZXJuZCBGaW5rYmVpbmVyLCBDSVNQQSBIZWxtaG9sdHogQ2VudGVyIGZvciBJbmZvcm1h dGlvbiBTZWN1cml0eSwgCkdlcm1hbnkKQmxhaXNlIEdlbmVzdCwgQ05SUywgRnJhbmNlClJvYiB2 YW4gR2xhYmJlZWssIENTSVJPLCBTeWRuZXksIEF1c3RyYWxpYQpEYW5pZWxlIEdvcmxhLCBVbml2 ZXJzaXR5IG9mIFJvbWUgTGEgU2FwaWVuemEsIEl0YWx5CkplYW4gR291YmF1bHQtTGFycmVjcSwg RU5TIFBhcmlzLVNhY2xheSwgRnJhbmNlCkljaGlybyBIYXN1bywgTmF0aW9uYWwgSW5zdGl0dXRl IG9mIEluZm9ybWF0aWNzLCBKYXBhbgpNYXJjaW4gSnVyZHppbnNraSwgVGhlIFVuaXZlcnNpdHkg b2YgV2Fyd2ljaywgVUsKU3RlZmFuIEtpZWZlciwgVW5pdmVyc2l0eSBvZiBPeGZvcmQsIFVLCkJh cnRlayBLbGluLCBVbml2ZXJzaXR5IG9mIE94Zm9yZCwgVUsgKGNvLWNoYWlyKQpCYXJiYXJhIEvD tm5pZywgVW5pdmVyc2l0eSBvZiBEdWlzYnVyZy1Fc3NlbiwgR2VybWFueQpTxYJhd29taXIgTGFz b3RhLCBVbml2ZXJzaXR5IG9mIFdhcnNhdywgUG9sYW5kIChjby1jaGFpcikKTWFydGluIExldWNr ZXIsIFVuaXZlcnNpdHkgb2YgTMO8YmVjaywgR2VybWFueQpCYXMgTHV0dGlrLCBFaW5kaG92ZW4g VW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5LCAgVGhlIE5ldGhlcmxhbmRzClAuIE1hZGh1c3VkYW4s IFVuaXZlcnNpdHkgb2YgSWxsaW5vaXMgYXQgVXJiYW5hLUNoYW1wYWlnbiwgVVMKSGVybmFuIE1l bGdyYXR0aSwgVW5pdmVyc2lkYWQgZGUgQnVlbm9zIEFpcmVzLCBBcmdlbnRpbmEKQW5jYSBNdXNj aG9sbCwgQm9yZGVhdXggVW5pdmVyc2l0eSwgRnJhbmNlIChjby1jaGFpcikKSmFuIE90b3AsIFVu aXZlcnNpdHkgb2YgV3JvY8WCYXcsIFBvbGFuZApKb2VsIE91YWtuaW5lLCBNYXggUGxhbmNrIElu c3RpdHV0ZSBmb3IgU29mdHdhcmUgU3lzdGVtcywgR2VybWFueQpKZWFuLUZyYW7Dp29pcyBSYXNr aW4sIFVuaXZlcnNpdMOpIGxpYnJlIGRlIEJydXhlbGxlcywgQmVsZ2l1bQpHcmlnb3JlIFJvc3Us IFVuaXZlcnNpdHkgb2YgSWxsaW5vaXMgYXQgVXJiYW5hLUNoYW1wYWlnbiwgVVMKSnVycmlhYW4g Um90LCBSYWRib3VkIFVuaXZlcnNpdHksIFRoZSBOZXRoZXJsYW5kcwpEYXZpZGUgU2FuZ2lvcmdp LCBVbml2ZXJzaXR5IG9mIEJvbG9nbmEsIEl0YWx5CkFsZXhhbmRyYSBTaWx2YSwgVW5pdmVyc2l0 eSBDb2xsZWdlIExvbmRvbiwgVUsgYW5kIENvcm5lbGwgVW5pdmVyc2l0eSwgClVTClBhd2XFgiBT b2JvY2nFhHNraSwgVGFsbGlubiBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3ksIEVzdG9uaWEKQW5h IFNva29sb3ZhLCBVbml2ZXJzaXR5IG9mIFNhbHpidXJnLCBBdXN0cmlhCkFsd2VuIFRpdSwgVGhl IEF1c3RyYWxpYW4gTmF0aW9uYWwgVW5pdmVyc2l0eSwgQXVzdHJhbGlhCkZyaXRzIFZhYW5kcmFn ZXIsIFJhZGJvdWQgVW5pdmVyc2l0eSwgVGhlIE5ldGhlcmxhbmRzCk5vYnVrbyBZb3NoaWRhLCBJ bXBlcmlhbCBDb2xsZWdlIExvbmRvbiwgVUsKTGlqdW4gWmhhbmcsIENoaW5lc2UgQWNhZGVteSBv ZiBTY2llbmNlcywgQ2hpbmEKCgoKU1RFRVJJTkcgQ09NTUlUVEVFCgoKSmF2aWVyIEVzcGFyemEs IFRVIE3DvG5jaGVuLCBHZXJtYW55IChjaGFpcikKUGVkcm8gROKAmUFyZ2VuaW8sIE5hdGlvbmFs IFVuaXZlcnNpdHkgb2YgQ29yZG9iYSwgQXJnZW50aW5hCldhbiBGb2traW5rLCBWcmlqZSBVbml2 ZXJzaXRlaXQgQW1zdGVyZGFtLCBUaGUgTmV0aGVybGFuZHMKSm9vc3QtUGlldGVyIEthdG9lbiwg UldUSCwgR2VybWFueQpDYXR1c2NpYSBQYWxhbWlkZXNzaSwgSU5SSUEgYW5kIEVjb2xlIFBvbHl0 ZWNobmlxdWUsIEZyYW5jZQpEYXZpZGUgU2FuZ2lvcmdpLCBVbml2ZXJzaXR5IG9mIEJvbG9nbmEs IEl0YWx5CkppcmkgU3JiYSwgQWFsYm9yZyBVbml2ZXJzaXR5LCBEZW5tYXJrCgotLSAKUHJvZi4g SmF2aWVyIEVzcGFyemEKRmFjdWx0eSBvZiBDb21wdXRlciBTY2llbmNlClRlY2huaWNhbCBVbml2 ZXJzaXR5IG9mIE11bmljaApCb2x0em1hbm5zdHIuIDMsIDg1NzQ4IEdhcmNoaW5nCg==