From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 15881 invoked from network); 3 Sep 2021 08:27:43 -0000 Received: from mail-lf1-x13f.google.com (2a00:1450:4864:20::13f) by inbox.vuxu.org with ESMTPUTF8; 3 Sep 2021 08:27:43 -0000 Received: by mail-lf1-x13f.google.com with SMTP id q5-20020ac25fc5000000b003d9227d9edcsf1993312lfg.2 for ; Fri, 03 Sep 2021 01:27:43 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1630657662; cv=pass; d=google.com; s=arc-20160816; b=IaW9G+RlTO0PV5hz6MquiJt1QocMSnL5GuXJDwol9XlbEi1LtWRhVg9yUQGSaZm5r/ 6r236F3WrAtRukHI3vbfWFJwFkwbuyNGPqRTNLKGBzyb/mXK5qEEd6UdqojIhtjMQh/2 TEDUVZNjfV8AQ/unT2OcD93pyQ9+84JBXkZ1x0RmSkTeswIOk0W7aFVYJPuo3+P+4qxn 8AmAfQ/J8ln5t05FzN9SsYGZUPT/uSrTkd0NBYALiTb7KESsLG132jgqPfeef5v7qJyk KkOPWj2tendSHwKXrAVOtJ3ciMdgbrzpPRQoqf5vc+E6mANJ2Je6AWPxxLASVHqkp0pZ +08A== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:content-language:content-transfer-encoding :in-reply-to:mime-version:user-agent:date:message-id:from:to :references:subject:ironport-hdrordr:sender:dkim-signature; bh=XtqRt9n7bfW+QV0LtmoP6eURmehLB5Jpa+bGJroPUAY=; b=DrcZ4cmG+5DQHb+VaSx8tn0iiObVOEe0QAO7nmhzAqsyqoltFpUKvgnez7+kvI33Z/ awUeAoBvt/Z2zKfrPhb2/Fapjw/uQ/F53OZGSTsEvvydaajVIduIE0X3PXVUJx6OQJTT KYwef02Inq4/VOaapnf9e8/tmkjsY5TLLWC/af/edhkqCjYb2cg/hQv40vOg+UViM+3j E2w2JUX0B1eS8PIZUzn+z/MpjqeYnlsohDozqfTjzt1jtezTOIugHqM67+VFdWoiOBD9 EuSMUHp7IObFjDciUcQvoFLcKBMVJnskbQQc+tB4eAYjl6E02H3CcBxCZc6hmgz7bKxd 2CeA== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.104 as permitted sender) smtp.mailfrom=frederic.blanqui@inria.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:ironport-hdrordr:subject:references:to:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding :content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=XtqRt9n7bfW+QV0LtmoP6eURmehLB5Jpa+bGJroPUAY=; b=eo/gea79s9u0jx3vpmaulG/To8Ld9silEruRNkOHcPFEkdVJtk5niQOdCTnfSveJX2 +3JWpmtk6zduNVfhPYz4BBHahmblyrIbXix6yaVx6JPO9+Cv/AZoMg3my+7Bs5L6SdU2 cqxc5Ea5ibVD6fS7imhMjzu9+tGARO/fuI62uSaFzEYHs5xwIgBbIKa3Av2w1Lz1L6iQ /oHh9+cBZwrQG40f4gAvLBhbEW5oRCA/SMVsVID/hH/NoosCJidmYN8GYky5Wfcb2b6S vdV2LyLNZdYT4uiZibTxaJV23FVC/nVSEmqB8QtDfNDwXJN8zx0OCVL/lPZ7ZpoA3yJ4 935Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:ironport-hdrordr:subject:references:to :from:message-id:date:user-agent:mime-version:in-reply-to :content-transfer-encoding:content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=XtqRt9n7bfW+QV0LtmoP6eURmehLB5Jpa+bGJroPUAY=; b=gRb/cgQ0xbSxe553fLXQs47AkDpUNlFhpUbZ3AWCHLs85bV2nYOsqR6GMMLaScvT9/ w1qQElBT6hTI9jUB2CSuaIQYidlrvv23nnhAALzunMItluug5UGN83BeDvFnP9Ana91Y vTAq6vCyaL13HZZsECTt5BiCjw+f4c39EPu8oF9VM02d91m7qO96otA1kNVRycU5tmuf 7lx4ghRnjFKDsxoxEQmFoh0K4ZSxCn2zszKS5j8TYAUgmjy+aZoZ/3fB87F2hK5EIfXz P3GaU2jAu4/UTSxxj5SmB6ZQWyOCKog846fGvWWMUGFgUlgCBLw+fmGqPbDe/2sVjgWN rycg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532pOa1JwWLrNsJu0KWJRQMXjylDBISfSwkrDf40trHSzePG4V7x I4pazrWRWPOmSFJhit1Vshw= X-Google-Smtp-Source: ABdhPJxoCPBi6t5sMD0TpBdFN9gMn3Uy8R6k/qnwhlZc/7pltrAgd6nlUcNv77U/pK4/Jyr2o6Csrw== X-Received: by 2002:ac2:53a3:: with SMTP id j3mr1802777lfh.603.1630657662240; Fri, 03 Sep 2021 01:27:42 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ac2:4146:: with SMTP id c6ls2188lfi.2.gmail; Fri, 03 Sep 2021 01:27:41 -0700 (PDT) X-Received: by 2002:a05:6512:2206:: with SMTP id h6mr1794594lfu.621.1630657661207; Fri, 03 Sep 2021 01:27:41 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1630657661; cv=none; d=google.com; s=arc-20160816; b=UbHloFhBes7dH+fiHggP8oHx6P0A4VGpWmdBmP0PTaK8OJo9zQbifjQgjQWx2NAgRq zvKwR9mePYVv/8Nl6d0Hua8b68gtKFUDPqkVJ3oiH05pQvMzXcZTLf6JhCewn5uPp444 TMKyq9IbfAH8BfCXQF05CSw/V0p2Px/zozdcrdF4RRM6+LWWEDT1cBDZtBvoB0mGaJFl W0ei9ed0QX7p7nkmjFHTtQUXucu6/BzvJlZQdHj050qYO3w99oHF4xnfBNacH8H+KptT 0GzOs1squ0wPpR6XWR8nYgCSJr0wvzGemrImxwU8d+ZEfb11cZgwYqkmmBFiwdilx5US JNtA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-language:content-transfer-encoding:in-reply-to:mime-version :user-agent:date:message-id:from:to:references:subject :ironport-hdrordr; bh=GsTn+X+DeH8TCHDDgwZGSxOR9UXvAvP6EjV2Cmy16r8=; b=VoTYcpT1XZVSwcmRDj5SqeRnB+aHDqP7XPhr1NIdg5QXtJ6Rle/PdW0TjKAL2qGkhk o980YrGgcMF48lB9GI9h7QKtVNojWfm3Jm6dfSgmLa/D83c1WDHociZj9cTJDL0Djgho /Sx6qSNq30iC4feaJ5Q4eLCeluDNB1Dw7wrkqPF0lJZrBdPRLnTo2Xx5ZirndkYXIP9m sp1J1on14YKtBK5kWIBCByUoeLbMKEemj1ATpGbkB2kG0OwVtfp0qKMxQod5a/z9hMB5 bcANqf6Nsh9PXzw/ie1yjuCnbyuF3ux80LTenw+/HGQ8B9SqeslN0yfSrscUkQY+QpWs gVPg== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.104 as permitted sender) smtp.mailfrom=frederic.blanqui@inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr. [192.134.164.104]) by gmr-mx.google.com with ESMTPS id z4si236184lfr.2.2021.09.03.01.27.41 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 03 Sep 2021 01:27:41 -0700 (PDT) Received-SPF: pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.104 as permitted sender) client-ip=192.134.164.104; IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Aiy+gKKCT7JN1eUblHekz55DYdb4zR+YMi2TD?= =?us-ascii?q?tnoBKyC9F/bzqynAppkmPHPP5Ar5G0tQ/OxoQZPwJU80rKQFhrX5Xo3SPzUO2l?= =?us-ascii?q?HIEGgK1+KLqAEIfReQygc378ddmsZFZuEYQmIK9/rS0U2UH9Mh39Wd4J6hmO3e?= =?us-ascii?q?i1NkVgNncMhbnmFEIzfeKFB/VAZcBZY/GYDZzcJbrTuhdB0sH72GL0hAZfXKt9?= =?us-ascii?q?LRlJ7gbARDLRYi8QGPgzSp5dfBYmCl9yZbaS5G0bg48WTDnha82oWP2svLsSPh?= =?us-ascii?q?6w=3D=3D?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="391839960" Received: from lfbn-idf2-1-768-78.w86-247.abo.wanadoo.fr (HELO [192.168.1.19]) ([86.247.212.78]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 03 Sep 2021 10:27:40 +0200 Subject: [HoTT] EuroProofNet - Call for Working Group membership Application References: <973e881b-ab94-21e4-17b2-f94f75643e2b@inria.fr> To: homotopytypetheory@googlegroups.com From: =?UTF-8?B?RnLDqWTDqXJpYyBCbGFucXVp?= X-Forwarded-Message-Id: <973e881b-ab94-21e4-17b2-f94f75643e2b@inria.fr> Message-ID: <1036a1f6-1a8a-04fe-721d-cd022a74f18d@inria.fr> Date: Fri, 3 Sep 2021 10:27:39 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 MIME-Version: 1.0 In-Reply-To: <973e881b-ab94-21e4-17b2-f94f75643e2b@inria.fr> Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable Content-Language: en-US X-Original-Sender: frederic.blanqui@inria.fr X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.104 as permitted sender) smtp.mailfrom=frederic.blanqui@inria.fr Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , Dear all, Registration to EuroProofNet working groups is open on=20 https://e-services.cost.eu/action/CA20111/working-groups/apply (it's=20 possible to register to several working groups). EuroProofNet is new COST action (see=20 https://www.cost.eu/actions/CA20111/) aiming at federating all the=20 European researchers working on proofs in order to improve the=20 interoperability of proof systems. There are currently 6 working groups=20 (WG): - WG1: Proof systems interoperability. - WG2: Automated theorem provers. - WG3: Program verification. - WG4: Libraries of formal proofs. - WG5: Machine learning on proofs. - WG6: Type theory. You will find all the details on the objectives of EuroProofNet in=20 https://e-services.cost.eu/files/domain_files/CA/Action_CA20111/mou/CA20111= -e.pdf=20 . A COST action can fund visits to other labs, and participation to summer=20 schools, workshops and conferences. Anyone willing to contribute to the=20 goals of the action is eligible. If you are interested, you just need to=20 register on https://e-services.cost.eu/action/CA20111/working-groups/apply = . Best regards, Fr=C3=A9d=C3=A9ric Blanqui, chair of EuroProofNet. --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/1036a1f6-1a8a-04fe-721d-cd022a74f18d%40inria.fr.