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 B2E2C5D5 for ; Fri, 20 May 2022 11:09:00 +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=667QZJMYljoH/FeBP+vNOE8irlXBlO6J5owSxnmiO3g=; b=A3y+gLk/7L+43LF6fe/jLRUMdOEJKTHZGapA1x2uqIEyRJk4Thd7BCh5 OK6OL8XtDDyxYmFEiyguZSHF45YUhjOYevrUpl6nJOguXYnmbaqIJnK+1 GGCgGVKQewEJAsIZZlHNQBMCUpdPzN9xwUXfMqEbFJHNhRbVAvt8clrpP 0=; 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,239,1647298800"; d="scan'208";a="37313935" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 May 2022 13:08:59 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3C619E2680; Fri, 20 May 2022 13:08:59 +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 56492E4374; Fri, 20 May 2022 13:08:55 +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=667QZJMYljoH/FeBP+vNOE8irlXBlO6J5owSxnmiO3g=; b=VvInFNfPQ4RUdOmyBYCIFjV7Qs6xBTJJvDEcL1cy4Cb7dbq5kpBThV1W 7gSJbkb9BK1FCdYpEm7d0n6QqWjINHHRHA3kkdtu4IQAVhNUYPzY4/6/O pTZGgrHsifOJb+7hAKaM2Prt68FOjzuo5OX00Ep5EXmLfoK66wuK9pzVQ U=; X-IronPort-AV: E=Sophos;i="5.91,239,1647298800"; d="scan'208";a="14649328" Received: from 91-164-56-121.subs.proxad.net (HELO [192.168.1.151]) ([91.164.56.121]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 20 May 2022 13:08:54 +0200 Message-ID: <291c3ec9-9da1-fa80-70c8-1135c5ae1680@inria.fr> Date: Fri, 20 May 2022 13:08:49 +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="------------BEVc1g69g6veXuUeQL3jkwhn" Subject: [Caml-list] TYPES 2022 -- Second call for participation Reply-To: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= X-Loop: caml-list@inria.fr X-Sequence: 18766 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) --------------BEVc1g69g6veXuUeQL3jkwhn Content-Type: multipart/mixed; boundary="------------Rt3dSYlcF2byh0d4Qoy5Q7R3"; protected-headers="v1" From: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= Message-ID: <291c3ec9-9da1-fa80-70c8-1135c5ae1680@inria.fr> Subject: TYPES 2022 -- Second call for participation --------------Rt3dSYlcF2byh0d4Qoy5Q7R3 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable SECOND 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 PROGRAMME https://types22.inria.fr/programme/ 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) --------------Rt3dSYlcF2byh0d4Qoy5Q7R3-- --------------BEVc1g69g6veXuUeQL3jkwhn Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEEukepH5EE5yGE1w9teSLAH9m6PHsFAmKHdsEFAwAAAAAACgkQeSLAH9m6PHus qg/9E3WDR057l/OfyEDb5+NlY0aPviUQJr2EvSks7my/axrHUblngacOoxpm+7SxADFByO/cgxMA DdGE86BjTSuKJYZ7ij1x4MT6CiE5tX6wR/bF1bEY4B6Iet4pa+3iO+VltJftHDRQtHLKzxiVGblf vnvGc0q9ng9YrL2L8hM4LH28bi0FHZqZp9JSg4pItPvOXp6eIE8H0oGFiVeGmcgTil802g6u453n xhGEuoON3uTzDW0ZSuDllcPXMhstU67IGYiWlAFrZ9ATKKCcuwjMkVgAUiZ8PxcDBSCDstd+8Nio HGrhyY2HKqTv6Mw66gXMwtShdWVBzUHH3XTdyHE6g/LVc9Yq/A5hni9mGUHd/nSiy9hmjprFw0Ne I2+9uyAgqNXT3mZ0h5RdEOtutHLx+rflMZxVx+3Kw9eTzv7KOaOgTHCuLXSQxFZEdwfNaEvMOHOy Jkw+MsJaH1OGeHo4hxkmAWIBvRWZhiqmZct5mfQppKCdeeQuB+7UW1Ulv4g3dskf3O84PzUG3Krj wjKC9FH9x7biibcKal1H2tspGQtYKZx8gzyKu/VpSXc8UIGTKqSdsrhTs5/JahP+AJq+QuWKywS5 cWKqNk99FmOvd1goqgZTZbdXJE5jLntntjvE7sMt8FgXC0wBiOahjpipRRBEhlPr0GT2JWm221vV gOE= =j8Wy -----END PGP SIGNATURE----- --------------BEVc1g69g6veXuUeQL3jkwhn--