From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10880 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?2nd_Call_for_Contributions_FICS_2023=3A_Worksho?= =?utf-8?q?p_on_Fixed_Points_in_Computer_Science?= Date: Mon, 19 Dec 2022 20:12:21 +0100 Message-ID: <4d737-63a0b780-d5-9d652b0@197210064> 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="8265"; 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 Mon Dec 19 20:12:24 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 1p7LYm-0001sQ-8Q for gcla-agda@m.gmane-mx.org; Mon, 19 Dec 2022 20:12:24 +0100 Original-Received: from knota.ita.chalmers.se (localhost [127.0.0.1]) by knota.ita.chalmers.se (Postfix) with ESMTP id 5E62D2099C; Mon, 19 Dec 2022 20:12:23 +0100 (CET) Original-Received: from smtp1.irit.fr (smtp1.irit.fr [141.115.24.2]) by knota.ita.chalmers.se (Postfix) with ESMTP id 41A5B1FCE0; Mon, 19 Dec 2022 20:12:22 +0100 (CET) Original-Received: by wwwap4r8.irit.fr (Postfix, from userid 986) id 4BD08C09386; Mon, 19 Dec 2022 20:12:21 +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:13072 gmane.comp.science.types.announce:10625 gmane.science.mathematics.logic.coq.club:23178 gmane.science.mathematics.categories:10880 Archived-At: RGVhciBhbGwsCgpUaGlzIGlzIHRoZSBzZWNvbmQgY2FsbCBmb3IgY29udHJpYnV0aW9ucyBmb3Ig RklDUyAyMDIzLCByZWdpc3RyYXRpb24gaXMgbm93IG9wZW4gb24gdGhlIENTTCAyMDIzIHdlYnBh Z2U6IGh0dHBzOi8vY3NsMjAyMy5taW11dy5lZHUucGwvP3BhZ2VfaWQ9Njk2CgpUaGUgMTF0aCBJ bnRlcm5hdGlvbmFsIFdvcmtzaG9wIG9uIEZpeGVkIFBvaW50cyBpbiBDb21wdXRlciBTY2llbmNl IHdpbGwgdGFrZSBwbGFjZSBpbiBXYXJzYXcgb24gMTcgRmVicnVhcnkgMjAyMyBhcyBhIHNhdGVs bGl0ZSBvZiB0aGUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIENTTCAyMDIzIChDb21wdXRlciBT Y2llbmNlIExvZ2ljKS4KCkZJQ1Mgd2VicGFnZTogaHR0cHM6Ly9wZXJzby5lbnMtbHlvbi5mci9k ZW5pcy5rdXBlcmJlcmcvRklDUzIwMjMuaHRtCgpUaGUgZ29hbCBvZiB0aGUgd29ya3Nob3AgaXMg dG8gYnJpbmcgdG9nZXRoZXIgcGVvcGxlIGZyb20gZGlmZmVyZW50IGZpZWxkcyBzdWNoIGFzIGFs Z2VicmEvY29hbGdlYnJhLCB2ZXJpZmljYXRpb24sIGxvZ2ljLCBhcm91bmQgdGhlIHRoZW1hdGlj IG9mIGZpeGVkIHBvaW50cy4KVGhpcyB3b3Jrc2hvcCB3aWxsIGJlIHdpdGhvdXQgcHJvY2VlZGlu Z3MuIEluIHBhcnRpY3VsYXIgeW91IGNhbiBwcmVzZW50IHdvcmsgdGhhdCBpcyBhbHJlYWR5IHB1 Ymxpc2hlZCBlbHNld2hlcmUsIG9yIGluIHByb2dyZXNzLgpEZXBlbmRpbmcgb24gdGhlIG5hdHVy ZSBvZiBjb250cmlidXRpb25zLCBhIHByZS1hcHByb3ZlZCBzcGVjaWFsIGlzc3VlIG9mIEZ1bmRh bWVudGEgSW5mb3JtYXRpY2FlIG1pZ2h0IGJlIHB1Ymxpc2hlZCB3aXRoIHNlbGVjdGVkIGNvbnRy aWJ1dGlvbnMuCgpGaXhlZCBwb2ludHMgcGxheSBhIGZ1bmRhbWVudGFsIHJvbGUgaW4gc2V2ZXJh bCBhcmVhcyBvZiBjb21wdXRlciBzY2llbmNlLiBUaGV5IGFyZSB1c2VkIHRvIGp1c3RpZnkgKGNv KXJlY3Vyc2l2ZSBkZWZpbml0aW9ucyBhbmQgYXNzb2NpYXRlZCByZWFzb25pbmcgdGVjaG5pcXVl cy4gVGhlIGNvbnN0cnVjdGlvbiBhbmQgcHJvcGVydGllcyBvZiBmaXhlZCBwb2ludHMgaGF2ZSBi ZWVuIGludmVzdGlnYXRlZCBpbiBtYW55IGRpZmZlcmVudCBzZXR0aW5ncyBzdWNoIGFzOiBkZXNp Z24gYW5kIGltcGxlbWVudGF0aW9uIG9mIHByb2dyYW1taW5nIGxhbmd1YWdlcywgbG9naWMsIHZl cmlmaWNhdGlvbiwgZGF0YWJhc2VzLiBUb3BpY3MgaW5jbHVkZSwgYnV0IGFyZSBub3QgcmVzdHJp Y3RlZCB0bzoKLWZpeGVkIHBvaW50cyBpbiBhbGdlYnJhIGFuZCBjb2FsZ2VicmEKLWZpeGVkIHBv aW50cyBpbiBmb3JtYWwgbGFuZ3VhZ2VzIGFuZCBhdXRvbWF0YQotZml4ZWQgcG9pbnRzIGluIGdh bWUgdGhlb3J5Ci1maXhlZCBwb2ludHMgaW4gcHJvZ3JhbW1pbmcgbGFuZ3VhZ2Ugc2VtYW50aWNz Ci1maXhlZCBwb2ludHMgaW4gdGhlIG11LWNhbGN1bHVzIGFuZCBtb2RhbCBsb2dpY3MKLWZpeGVk IHBvaW50cyBpbiBwcm9jZXNzIGFsZ2VicmFzIGFuZCBwcm9jZXNzIGNhbGN1bGkKLWZpeGVkIHBv aW50cyBpbiBmdW5jdGlvbmFsIHByb2dyYW1taW5nIGFuZCB0eXBlIHRoZW9yeQotZml4ZWQgcG9p bnRzIGluIHJlbGF0aW9uIHRvIGRhdGFmbG93IGFuZCBjaXJjdWl0cwotZml4ZWQgcG9pbnRzIGlu IGxvZ2ljIHByb2dyYW1taW5nIGFuZCB0aGVvcmVtIHByb3ZpbmcKLWZpeGVkIHBvaW50cyBpbiBm aW5pdGUgbW9kZWwgdGhlb3J5LCBkZXNjcmlwdGl2ZSBjb21wbGV4aXR5IHRoZW9yeSwgYW5kIGRh dGFiYXNlcwotZml4ZWQgcG9pbnRzIGluIGNhdGVnb3J5IHRoZW9yeSBmb3IgbG9naWMgaW4gY29t cHV0ZXIgc2NpZW5jZQoKCkludml0ZWQgU3BlYWtlcnMKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tCkdyYWhhbSBMZWlnaDogVEJBCkRhbmEgU2NvdHQ6IFNldmVudHkgWWVhcnMgVXNp bmcgRml4ZWQgUG9pbnRzICh2aWRlbyBsZWN0dXJlKQoKPT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PQpTdWJtaXNzaW9uIEluc3RydWN0aW9ucwo9PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09CgpBYnN0cmFjdHMgcHJlc2VudGluZyB5b3VyIGNvbW11bmljYXRp b24gc2hvdWxkIGJlIHNlbnQgdmlhIGh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/ Y29uZj1maWNzMjAyMy4KU3VibWlzc2lvbnMgc2hvdWxkIGJlIGZyb20gMSB0byAzIHBhZ2VzIGxv bmcsIGV4Y2x1ZGluZyBiaWJsaW9ncmFwaHkuCgpBbiBlZmZvcnQgd2lsbCBiZSBtYWRlIHRvIGVu YWJsZSBvbmxpbmUgcGFydGljaXBhdGlvbiBmb3IgdGhvc2Ugd2hvIGNhbm5vdCBhdHRlbmQgaW4g cGVyc29uLgoKSW1wb3J0YW50IGRhdGVzCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LQpTdWJtaXNzaW9uIGRlYWRsaW5lOiAwNi8wMS8yMDIzIEFvRQpOb3RpZmljYXRpb246IDI3LzAx LzIwMjMKV29ya3Nob3A6IDE3LzAyLzIwMjMKCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT0KQ29tbWl0dGVlcwo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 CgpQcm9ncmFtIENvbW1pdHRlZQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KLUhl bm5pbmcgQmFzb2xkIChMSUFDUywgVW5pdi4gTGVpZGVuKQotQW51cGFtIERhcyAoVW5pdi4gQmly bWluZ2hhbSkKLUthcm9saWluYSBMZWh0aW5lbiAoQ05SUyAmIExJUyBNYXJzZWlsbGUpCi1EZW5p cyBLdXBlcmJlcmcsIGNoYWlyIChDTlJTICYgRU5TIEx5b24pCi1SYWxwaCBNYXR0aGVzIChJUklU LCBDTlJTICYgVW5pdi4gVG91bG91c2UpCi1NYXR0ZW8gTWlvIChDTlJTICYgRU5TIEx5b24pCi1E YW1pYW4gTml3aW5za2kgKFVuaXZlcnNpdHkgb2YgV2Fyc2F3KQotRnJlZHJpayBOb3JkdmFsbCBG b3JzYmVyZyAoVW5pdi4gb2YgU3RyYXRoY2x5ZGUpCi1MdWlnaSBTYW50b2NhbmFsZSAoTElTLCBV bml2LiBBaXgtTWFyc2VpbGxlIEkpCi1UYXJtbyBVdXN0YWx1IChSZXlramF2aWsgVW5pdi4sIFRh bGxpbm4gSW5zdGl0dXRlIG9mIEN5YmVybmV0aWNzKQoKU3RlZXJpbmcgQ29tbWl0dGVlCi0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQotUGV0ZXIgRHliamVyIChDaGFsbWVycyBVbml2 ZXJzaXR5IG9mIFRlY2hub2xvZ3kpCi1SYWxwaCBNYXR0aGVzIChJUklULCBDTlJTICYgVW5pdi4g VG91bG91c2UpCi1EYW1pYW4gTml3aW5za2kgKFVuaXZlcnNpdHkgb2YgV2Fyc2F3KQotTHVpZ2kg U2FudG9jYW5hbGUgKExJUywgVW5pdmVyc2l0w6kgQWl4LU1hcnNlaWxsZSBJKQotRGVuaXMgS3Vw ZXJiZXJnLCBjaGFpciAoQ05SUyAmIEVOUyBMeW9uKQotVGFybW8gVXVzdGFsdSAoUmV5a2phdmlr IFVuaXYuLCBUYWxsaW5uIEluc3RpdHV0ZSBvZiBDeWJlcm5ldGljcykKLUlnb3IgV2FsdWtpZXdp Y3ogKExhQlJJLCBCb3JkZWF1eCkKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX18KQWdkYSBtYWlsaW5nIGxpc3QKQWdkYUBsaXN0cy5jaGFsbWVycy5zZQpodHRw czovL2xpc3RzLmNoYWxtZXJzLnNlL21haWxtYW4vbGlzdGluZm8vYWdkYQo=