From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10859 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Ralph Matthes" Newsgroups: gmane.comp.lang.agda,gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.categories Subject: =?utf-8?q?FICS=2723=3A_Call_for_Contributions_-_Fixed_Poi?= =?utf-8?q?nts_in_Computer_Science_=28CSL=2723_workshop_17_feb_2023=29?= Date: Tue, 15 Nov 2022 13:41:40 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="34976"; mail-complaints-to="usenet@ciao.gmane.io" To: eutypes-Mttm5w9jbbk@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org, agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org, types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Original-X-From: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Tue Nov 15 13:41:45 2022 Return-path: Envelope-to: gcla-agda@m.gmane-mx.org Original-Received: from knota.ita.chalmers.se ([129.16.222.121]) by ciao.gmane.io with esmtp (Exim 4.92) (envelope-from ) id 1ouvG5-0008q3-4l for gcla-agda@m.gmane-mx.org; Tue, 15 Nov 2022 13:41:45 +0100 Original-Received: from knota.ita.chalmers.se (localhost [127.0.0.1]) by knota.ita.chalmers.se (Postfix) with ESMTP id DC86E20953; Tue, 15 Nov 2022 13:41:42 +0100 (CET) Original-Received: from smtp1.irit.fr (smtp1.irit.fr [141.115.24.2]) by knota.ita.chalmers.se (Postfix) with ESMTP id B4A41208E2; Tue, 15 Nov 2022 13:41:41 +0100 (CET) Original-Received: by wwwap4r8.irit.fr (Postfix, from userid 986) id DEE90C09386; Tue, 15 Nov 2022 13:41:40 +0100 (CET) X-Forward: 176.138.13.236 X-BeenThere: agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org X-Mailman-Version: 2.1.35 Precedence: list List-Id: All things Agda List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Original-Sender: "Agda" Xref: news.gmane.io gmane.comp.lang.agda:13060 gmane.comp.science.types.announce:10571 gmane.science.mathematics.logic.coq.club:23167 gmane.science.mathematics.categories:10859 Archived-At: VGhlIDExdGggSW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbiBGaXhlZCBQb2ludHMgaW4gQ29tcHV0 ZXIgU2NpZW5jZSB3aWxsIHRha2UgcGxhY2UgaW4gV2Fyc2F3IG9uIDE3IEZlYnJ1YXJ5IDIwMjMg YXMgYSBzYXRlbGxpdGUgb2YgdGhlIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBDU0wgMjAyMyAo Q29tcHV0ZXIgU2NpZW5jZSBMb2dpYykuCgpUaGUgZ29hbCBvZiB0aGUgd29ya3Nob3AgaXMgdG8g YnJpbmcgdG9nZXRoZXIgcGVvcGxlIGZyb20gZGlmZmVyZW50IGZpZWxkcyBzdWNoIGFzIGFsZ2Vi cmEvY29hbGdlYnJhLCB2ZXJpZmljYXRpb24sIGxvZ2ljLCBhcm91bmQgdGhlIHRoZW1hdGljIG9m IGZpeGVkIHBvaW50cy4KVGhpcyB3b3Jrc2hvcCB3aWxsIGJlIHdpdGhvdXQgcHJvY2VlZGluZ3Mu IEluIHBhcnRpY3VsYXIgeW91IGNhbiBwcmVzZW50IHdvcmsgdGhhdCBpcyBhbHJlYWR5IHB1Ymxp c2hlZCBlbHNld2hlcmUsIG9yIGluIHByb2dyZXNzLgpEZXBlbmRpbmcgb24gdGhlIG5hdHVyZSBv ZiB0aGUgY29udHJpYnV0aW9ucywgYSBzcGVjaWFsIGlzc3VlIG9mIEZ1bmRhbWVudGEgSW5mb3Jt YXRpY2FlIG1pZ2h0IGJlIHB1Ymxpc2hlZCB3aXRoIHNlbGVjdGVkIGNvbnRyaWJ1dGlvbnMgKHdl IGhhdmUgdGhlIGFwcHJvdmFsIGJ5IHRoZSBqb3VybmFsIGZvciB0aGlzKS4KCkZpeGVkIHBvaW50 cyBwbGF5IGEgZnVuZGFtZW50YWwgcm9sZSBpbiBzZXZlcmFsIGFyZWFzIG9mIGNvbXB1dGVyIHNj aWVuY2UuIFRoZXkgYXJlIHVzZWQgdG8ganVzdGlmeSAoY28pcmVjdXJzaXZlIGRlZmluaXRpb25z IGFuZCBhc3NvY2lhdGVkIHJlYXNvbmluZyB0ZWNobmlxdWVzLiBUaGUgY29uc3RydWN0aW9uIGFu ZCBwcm9wZXJ0aWVzIG9mIGZpeGVkIHBvaW50cyBoYXZlIGJlZW4gaW52ZXN0aWdhdGVkIGluIG1h bnkgZGlmZmVyZW50IHNldHRpbmdzIHN1Y2ggYXM6IGRlc2lnbiBhbmQgaW1wbGVtZW50YXRpb24g b2YgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLCBsb2dpYywgdmVyaWZpY2F0aW9uLCBkYXRhYmFzZXMu IFRvcGljcyBpbmNsdWRlLCBidXQgYXJlIG5vdCByZXN0cmljdGVkIHRvOgotZml4ZWQgcG9pbnRz IGluIGFsZ2VicmEgYW5kIGNvYWxnZWJyYQotZml4ZWQgcG9pbnRzIGluIGZvcm1hbCBsYW5ndWFn ZXMgYW5kIGF1dG9tYXRhCi1maXhlZCBwb2ludHMgaW4gZ2FtZSB0aGVvcnkKLWZpeGVkIHBvaW50 cyBpbiBwcm9ncmFtbWluZyBsYW5ndWFnZSBzZW1hbnRpY3MKLWZpeGVkIHBvaW50cyBpbiB0aGUg bXUtY2FsY3VsdXMgYW5kIG1vZGFsIGxvZ2ljcwotZml4ZWQgcG9pbnRzIGluIHByb2Nlc3MgYWxn ZWJyYXMgYW5kIHByb2Nlc3MgY2FsY3VsaQotZml4ZWQgcG9pbnRzIGluIGZ1bmN0aW9uYWwgcHJv Z3JhbW1pbmcgYW5kIHR5cGUgdGhlb3J5Ci1maXhlZCBwb2ludHMgaW4gcmVsYXRpb24gdG8gZGF0 YWZsb3cgYW5kIGNpcmN1aXRzCi1maXhlZCBwb2ludHMgaW4gbG9naWMgcHJvZ3JhbW1pbmcgYW5k IHRoZW9yZW0gcHJvdmluZwotZml4ZWQgcG9pbnRzIGluIGZpbml0ZSBtb2RlbCB0aGVvcnksIGRl c2NyaXB0aXZlIGNvbXBsZXhpdHkgdGhlb3J5LCBhbmQgZGF0YWJhc2VzCi1maXhlZCBwb2ludHMg aW4gY2F0ZWdvcnkgdGhlb3J5IGZvciBsb2dpYyBpbiBjb21wdXRlciBzY2llbmNlCgoKSW52aXRl ZCBTcGVha2VyCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQotVEJBCgo9PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09ClN1Ym1pc3Npb24gYW5kIFJlZ2lzdHJhdGlv biBJbnN0cnVjdGlvbnMKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoKQWJz dHJhY3RzIHByZXNlbnRpbmcgeW91ciBjb21tdW5pY2F0aW9uIHNob3VsZCBiZSBzZW50IHZpYSBo dHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9ZmljczIwMjMuClN1Ym1pc3Np b25zIHNob3VsZCBiZSBmcm9tIDEgdG8gMyBwYWdlcyBsb25nLCBleGNsdWRpbmcgYmlibGlvZ3Jh cGh5LgoKUmVnaXN0cmF0aW9uIHdpbGwgYmUgb3BlbmVkIHNvb24sIGFzIGZvciBvdGhlciBDU0wg d29ya3Nob3BzLiBJdCB3aWxsIGluY2x1ZGUgYSBzbWFsbCBmZWUgdG8gY292ZXIgdGhlIGNvc3Qg b2YgaW52aXRlZCBzcGVha2VyIGFuZCBzb2NpYWwgZXZlbnQuCkFuIGVmZm9ydCB3aWxsIGJlIG1h ZGUgdG8gZW5hYmxlIG9ubGluZSBwYXJ0aWNpcGF0aW9uIGZvciB0aG9zZSB3aG8gY2Fubm90IGF0 dGVuZCBpbiBwZXJzb24uCgpJbXBvcnRhbnQgZGF0ZXMKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tClN1Ym1pc3Npb24gZGVhZGxpbmU6IDA2LzAxLzIwMjMgQW9FCk5vdGlmaWNhdGlv bjogMjcvMDEvMjAyMwpXb3Jrc2hvcDogMTcvMDIvMjAyMwoKPT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PQpDb21taXR0ZWVzCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT0KClByb2dyYW0gQ29tbWl0dGVlCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLQotSGVubmluZyBCYXNvbGQgKExJQUNTLCBVbml2LiBMZWlkZW4pCi1LYXJvbGlpbmEgTGVo dGluZW4gKENOUlMgJiBMSVMgTWFyc2VpbGxlKQotRGVuaXMgS3VwZXJiZXJnLCBjaGFpciAoQ05S UyAmIEVOUyBMeW9uKQotUmFscGggTWF0dGhlcyAoQ05SUyAmIFVuaXYuIFRvdWxvdXNlKQotTWF0 dGVvIE1pbyAoQ05SUyAmIEVOUyBMeW9uKQotRGFtaWFuIE5pd2luc2tpIChVbml2ZXJzaXR5IG9m IFdhcnNhdykKLUZyZWRyaWsgTm9yZHZhbGwgRm9yc2JlcmcgKFVuaXYuIG9mIFN0cmF0aGNseWRl KQotTHVpZ2kgU2FudG9jYW5hbGUgKExJUywgVW5pdi4gQWl4LU1hcnNlaWxsZSBJKQotVGFybW8g VXVzdGFsdSAoSW5zdGl0dXRlIG9mIEN5YmVybmV0aWNzLCBUYWxsaW5uKQoKU3RlZXJpbmcgQ29t bWl0dGVlCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQotUGV0ZXIgRHliamVyIChD aGFsbWVycyBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3kpCi1SYWxwaCBNYXR0aGVzIChJUklULCBU b3Vsb3VzZSkKLURhbWlhbiBOaXdpbnNraSAoVW5pdmVyc2l0eSBvZiBXYXJzYXcpCi1MdWlnaSBT YW50b2NhbmFsZSAoTElTLCBVbml2ZXJzaXTDqSBBaXgtTWFyc2VpbGxlIEkpCi1EZW5pcyBLdXBl cmJlcmcsIGNoYWlyIChDTlJTICYgRU5TIEx5b24pCi1UYXJtbyBVdXN0YWx1IChJbnN0aXR1dGUg b2YgQ3liZXJuZXRpY3MsIFRhbGxpbm4pCi1JZ29yIFdhbHVraWV3aWN6IChMYUJSSSwgQm9yZGVh dXgpCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkFnZGEg bWFpbGluZyBsaXN0CkFnZGFAbGlzdHMuY2hhbG1lcnMuc2UKaHR0cHM6Ly9saXN0cy5jaGFsbWVy cy5zZS9tYWlsbWFuL2xpc3RpbmZvL2FnZGEK