From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 33FFC5D5 for ; Mon, 2 May 2022 09:40:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=g98beSdVpviJWQm1hgswcJ58UsDWvXQ41q+WxSM8bjM=; b=UkkEgFDr+3lSJlJ4UkKSoQuttfjMLS8s4adCw1/RIiWmtFQhM0zie+as VnWKt7VAZRnAab64CXBMnXi0HEAxVgwJwauTviG+NP9hTfUctiRU9N3+C 4u/EqCvc2f6Zs6KJmeiEU5GoNg/Z98D1bMwZMqcdYZWOa21aUFnUWvB9s g=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@inria.fr X-IronPort-AV: E=Sophos;i="5.91,190,1647298800"; d="scan'208";a="34237087" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 May 2022 11:40:42 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9F571E027B; Mon, 2 May 2022 11:40:42 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 131A1E00BE; Mon, 2 May 2022 11:40:40 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:subject:to; bh=g98beSdVpviJWQm1hgswcJ58UsDWvXQ41q+WxSM8bjM=; b=ICAuI6xcOpfiMUmRIHo3EDP8lv0bDg2XN1kouiC+fRAm5fRL4M+m8C/3 8YplLThQ8l5L/THYvzttYCTpwDWB/pX91SQxRYAn+tDXciSfNb4XMrKSb Li8LcKftSVLv2TVPYaj66xV7par1Qen4w9B4/2Wu7PXMotIeeV3oQ8KyQ c=; X-IronPort-AV: E=Sophos;i="5.91,190,1647298800"; d="scan'208";a="12938278" Received: from unknown (HELO [172.28.32.169]) ([193.52.83.10]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 May 2022 11:40:39 +0200 Message-ID: Date: Mon, 2 May 2022 11:40:37 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.8.1 From: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= Content-Language: en-US To: undisclosed-recipients: ; Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------qWTXYN4li2Puk3P63uDiAAcL" Subject: [Caml-list] TYPES 2022 -- Call for participation Reply-To: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= X-Loop: caml-list@inria.fr X-Sequence: 18753 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------qWTXYN4li2Puk3P63uDiAAcL Content-Type: multipart/mixed; boundary="------------wzdMTCnqxGOXxkqJnSKntMF6"; protected-headers="v1" From: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= Message-ID: Subject: TYPES 2022 -- Call for participation --------------wzdMTCnqxGOXxkqJnSKntMF6 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable CALL FOR PARTICIPATION 28th International Conference on Types for Proofs and Programs, TYPES 202= 2 and EuroProofNet Cost Action CA20111 meeting Nantes, France, 20-25 June 2022 https://types22.inria.fr Early registration deadline: June, 1st 2022 Registration: https://types22.sciencesconf.org/registration/ Registration fees: see below INVITED SPEAKERS Youyou Cong: Composing Music from Types Ekaterina Komendantskaya: Refine and Synthesise: a type-theoretic view on neural network robustness. Sam Lindley: On the expressive power of types. Leonardo de Moura: The Lean 4 theorem prover and programming language REGISTRATION FEES To facilitate their attendance, TYPES'22 offers a reduced rate for students, available in the registration form. In addition, all registrations performed before June, 1st will be offered a discount. It is possible to register for the satellite events only, which will take place on June 24th and 25th. Such a registration is free, but mandatory for catering purposes. Registering to TYPES'22 implicitly includes registration to satellite events. See the registration page https://types22.sciencesconf.org/registration/ for details. BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. The EuroProofNet Cost Action CA20111 focuses on the same research topics as TYPES and partially sponsors the TYPES Conference. CONTACT Email: types2022@easychair.org PROGRAM COMMITTEE Sandra Alves (University of Porto) Carlo Angiuli (Carnegie Mellon University) Stephanie Balzer (Carnegie Mellon University) Lars Birkedal (Aarhus University) Fr=C3=A9d=C3=A9ric Blanqui (INRIA) Sandrine Blazy (Universit=C3=A9 de Rennes 1 - IRISA) Thierry Coquand (University of Technology) Andrej Dudenhefner (Saarland University) Jacques Garrigue (Nagoya University) Delia Kesner (Universit=C3=A9 de Paris) (PC Co-Chair) Marina Lenisa (Universit=C3=A0 di Udine) Paul Blain Levy (University of Birmingham) Sara Negri (Universit=C3=A0 degli Studi di Genova) Pierre-Marie P=C3=A9drot (INRIA) (PC Co-Chair) Luca Padovani (Universit=C3=A0 di Torino) Zoe Paraskevopoulou (Northeastern University) Brigitte Pientka (McGill University) Matija Pretnar (University of Ljubljana) Talia Ringer (University of Washington) Kathrin Stark (Princeton University) Pawe=C5=82 Urzyczyn (University of Warsaw) Lionel Vaux (Universit=C3=A9 d=E2=80=99Aix-Marseille) Niki Vazou (IMDEA Software) TYPES STEERING COMMITTEE Andreas Abel (Gothenburg University) Sandra Alves (University of Porto) (Secretary) Henning Basold (Leiden University) (SC chair) Fr=C3=A9d=C3=A9ric Blanqui (INRIA) Ugo de'Liguoro (Universit=C3=A0 di Torino) Matthieu Sozeau (INRIA & Universit=C3=A9 de Nantes) ORGANIZERS Assia Mahboubi (INRIA & Universit=C3=A9 de Nantes) Matthieu Sozeau (INRIA & Universit=C3=A9 de Nantes) Nicolas Tabareau (INRIA & Universit=C3=A9 de Nantes) --------------wzdMTCnqxGOXxkqJnSKntMF6-- --------------qWTXYN4li2Puk3P63uDiAAcL Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEEukepH5EE5yGE1w9teSLAH9m6PHsFAmJvpxUFAwAAAAAACgkQeSLAH9m6PHvr Eg/6AgZTPR7pO6q1dzUsZHphOtUJn9ibCWB3OD1Wfcch+r+P2RWJvtwVdpFIt7Nus1dy6McPvR/F VCdYk1qqDvludhhQLaJ7p7yk93MYF34PThXvQaxlYTOTpm6VmRwDAOcScD7LuE8fxnStJD2PtcZL Vyku73zF8wmbC9tpoRJFPps0z+XLtmYJ8kQ8trtrNvNtjO1bX5K6ZaweTpMgme6xLsGLNGNF9G3x 4XpPw1GcZV/X41SUK1cMPrsMdYoQeyW7opGtbwULFc/4a/S/Uobuhuiu/RnD4J9/xKUG7urbQjhg yXbszog2MctrTa/XnYJ2V9yZl8A2w8IN+S0H+7F7CccRkHoWtsWm+EsfM32GKhcSbl9E4AYuZnOD YbXMMdetitOhqERGBPnXGiJJx8ccH7ifKUnyELJ4uQM33zHxuw58/1izlvDpTG32ZF39+fIV68HC sMLR4xc5JFfmd3+euoJdELCEGX6AKx4GDp9ds+9f1TU9maEX8wDOU3y0YXgZ+B5bMmP8gRxvcSaV rieagmF7bhUpoRvJ0UWgeVnupoZ0QYoSn3ku+o6sIg//zwxyyWRcA7ROgj/1sWZcnNzWSPrpxZk4 QB3w4/XprFmYLQ1eetxK1CSICvkiNq8vEuJNcbdHT+hmuxIyLISjUGEsMHvx74z39+kI3Nh5vzBr 35A= =jfQ+ -----END PGP SIGNATURE----- --------------qWTXYN4li2Puk3P63uDiAAcL--