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 ESMTP id C12C05D5 for ; Mon, 22 Nov 2021 09:56:54 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.87,254,1631570400"; d="scan'208";a="4942375" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Nov 2021 10:56:52 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E8AFCE0349; Mon, 22 Nov 2021 10:56:51 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B9019E0072; Mon, 22 Nov 2021 10:56:47 +0100 (CET) IronPort-Data: =?us-ascii?q?A9a23=3A7Clpe6N+Dg0Uj6nvrR1rl8FynXyQoLVcMsFnjC/?= =?us-ascii?q?WdVG80jkr1D1Un2UfUGnUMvmJZ2v8Ldx/b9y19kJUvJ/Tm99gGjLY11k9FiMQ8?= =?us-ascii?q?ZKt6fexdxqrYXvKdqUvdK/WhiknQoGowPscEzmM+X9BDpC79SMljPjSHOKlYAL?= =?us-ascii?q?5EnsZqTFMGX5JZS1Ly7ZRbr5A2bBVMivV0T/Ai5W31GyNh1aYBlkpB5er83uDi?= =?us-ascii?q?hhdVAQw5TTSbdgT1LPXeuJ84Jg3fcldJFOgKmVY83LTegrN8F251juxExYFOYr?= =?us-ascii?q?6yPChIgtRHviIZVa74pZUc/Hz2V4f/GpiieBibJLwam8O49mNt8hwxc9XuNm1Q?= =?us-ascii?q?B0oM+vUlegHVAVwEidkPKQA9qWvzX2X7Z3PlRadIhMAxN0rVinaJ7Yw9P18DSd?= =?us-ascii?q?F8voWJSoAaBuOr+69y/S1Qa9xnoI7MKHDJo4AoHB8zDfWJfsgWtXHUqLMo9FCt?= =?us-ascii?q?B8sl9hDBrPXYcwedDxkYTzEYgZTIREMBZsl2vqwi3/5NTBUtTq9rLIv+GXW5Ah?= =?us-ascii?q?wy6T2dsbeYZqLS8QTmkOF4G7Ll0z3GRoWcteYzzSI6H+qjeLnkSjwHowZUqCgs?= =?us-ascii?q?OZ26HWe23ACEBANfVCg5+OkzEi6M/pDOlQZ4QIqrLMu7wqgTtD5WhCiuzifs3Y?= =?us-ascii?q?0Y8BXFOMG6AyK0Lv85weCGnNCRDddaJovv4krRlQC3ViQ2tjtGDZHq6yQUXvb9?= =?us-ascii?q?7GOrDr0NzJ9BWQLYCtBSQoe//H4sYQrh1TOSMxiGei7lLXdEjjszj+NtikznJ0?= =?us-ascii?q?WkcdN3KzT1V7GhTOwq93MSQI44kDLXm+i9BJRYI++e5fu80fH7bNJJY2ZQ1/Hs?= =?us-ascii?q?HVss8yQ5/tLDJeRmTaAW/klHbenofuJdjTXx0Nsd7El9jKg8mSLdpsW+y13Ikl?= =?us-ascii?q?uKMpCdDP0CGf8kCZ837dXPWC2dultfJ6xTs0jxqjtE5LpW5j8dsBJbd11fQmI1?= =?us-ascii?q?C1vZlPW02OFuFQsnKYlNJLeadyrE3sAEoxuzXyzRvtb3LM2rggixW7UX4G+yxO?= =?us-ascii?q?o0LG2b2XTQrIYdlaCc4gR5ayIqS3R8s1DLI2ByxxbVeDkeW/M/OY7JEsOBWYyH?= =?us-ascii?q?ov/sYpaevPrCg5vAyQlCvTK6bcgYJB+2bhI0+3F5HW8XAlUxTLXgXrIKA6ib3l?= =?us-ascii?q?/aPXyW5c6p3U9O2ogMD6VN9ILCWq0xP5OLN1qJ/93r6o6lZZJozA+U53oKpxyp?= =?us-ascii?q?v7volzxtaXAkbE=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AiCH4R66xVD62SO8JiQPXwH3XdLJyesId70hD?= =?us-ascii?q?6qkRc21dTiX2rbGdoB12727BtN8dYhpN+KHjSc7wOQKghOAFkvhkTP7SFnioyS?= =?us-ascii?q?vYafAlnNCSn0ywan+OoZ90pIoQXdlcefmANClB/PnHCWqDYuAdKae8gZOVbI7l?= =?us-ascii?q?ph8BI3AIGsUQlnYCe3nrYjwCNX82Tut0ZdvspLsB1mLQJAVIH5fLUggtLsKziK?= =?us-ascii?q?zq5beWR288diJX2Xi/sdrC0s/ML/H35GYqb9pI+91MkRmh4mqJndTewoDLuG6q?= =?us-ascii?q?piejouUZ6ZiRjqobdZb81blEW2Cc3HeCFagResyhzRdFmJCTmWgXrOU=3D?= X-IronPort-AV: E=Sophos;i="5.87,254,1631570400"; d="scan'208";a="4942339" Received: from unknown (HELO [172.28.34.206]) ([193.52.83.10]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 22 Nov 2021 10:56:47 +0100 Message-ID: Date: Mon, 22 Nov 2021 10:56:42 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.3.0 Content-Language: en-US From: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= To: undisclosed-recipients: ; Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------u4FFMQ16cc3oXKKscNMehSsF" Subject: [Caml-list] TYPES 2022 -- Call for contributions Reply-To: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= X-Loop: caml-list@inria.fr X-Sequence: 18616 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) --------------u4FFMQ16cc3oXKKscNMehSsF Content-Type: multipart/mixed; boundary="------------pSStUB7rrQlTiD0YMpfoVhdo"; protected-headers="v1" From: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= Message-ID: Subject: TYPES 2022 -- Call for contributions --------------pSStUB7rrQlTiD0YMpfoVhdo Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable CALL FOR CONTRIBUTIONS 28th International Conference on Types for Proofs and Programs, TYPES 2022 and EuroProofNet Cost Action CA20111 meeting Nantes, France, 20-25 June 2022 https://types22.inria.fr 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. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. The EuroProofNet Cost Action CA20111 focuses on the same research topics as TYPES and partially sponsors the TYPES Conference. INVITED SPEAKERS: TBA CONTRIBUTED TALKS: We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=3Dtypes2022 IMPORTANT DATES: * submission of 2 pp abstract: 9 March 2022 * notification of acceptance/rejection: 20 April 2022 * camera-ready version of abstract: 15 May 2022 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. POST-PROCEEDINGS A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline for the post-proceedings: September 2022. 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) ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2015, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), B=C3=A5stad (1992), Nijmegen (1993), B=C3=A5stad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), L=C3=B6keberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021). CONTACT Email: types2022@easychair.org Organisers: Assia Mahboubi (INRIA & Universit=C3=A9 de Nantes) Matthieu Sozeau (INRIA & Universit=C3=A9 de Nantes) Nicolas Tabareau (INRIA & Universit=C3=A9 de Nantes) --------------pSStUB7rrQlTiD0YMpfoVhdo-- --------------u4FFMQ16cc3oXKKscNMehSsF Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEEukepH5EE5yGE1w9teSLAH9m6PHsFAmGbaVoFAwAAAAAACgkQeSLAH9m6PHud wQ//YEKsv0NDyDCca7PU7ZXXt6UPvnXSvnnBSjveiMwKRAF8neA15Ae1T9he5KftB5vHCgqhvZvq qPoKfHk/moboW8A25e0mzRcGkwFfEzBC3Ase8+eNM4ZL5NvApy3iNohtXZdm/Tr1cnu6UUazslko oVXh6t8TdoDy77eul4/qDSwqPq4dwEJoyjXkYgc7OFEyciFCni5ksI97SilhLZO6cJr+hvisO4D/ KTNRXyfi3IHonxFjdoyAQ+ZSryU+wXgyYapuNWk6BtBKvFlsQdt0lJ+SOtRJHFESycZhwhCWVIRg BiHPTtwIGYwoQb1p9CuQX8iMLk3guF8LV4H6bJF/eEGHfVcBwaZdk+08gL3cNT5to9Uf6CNMaoO2 clVmI5QeUy6waRG6rxkDGcjCtiDmrZV4sgy2GV5C0DErhccJOIhtLuQFM22pUc7kZ77vVeayUtyO ReUe8TQhJXR+ZrrgfukqUiYaVbEononJ5V2WE3riVxEU2Dso4ptjWCcNmtcvKUrB1Xl7Uo7gvWn0 z3pYeQAYpbut1/plvGB3sz5mrMUJjEbA1v/I7gbHVXtDG9t835tKTu5FL/HNDQLRPqz+yvPpPQhP wKu3NvdvA3gLG0u6jvsk8S4FCY0fdCv7eAc104MgHeq+oBcxb9Q+UP9SZopJkLUSBTEPr2YmuW7r tqg= =mjQZ -----END PGP SIGNATURE----- --------------u4FFMQ16cc3oXKKscNMehSsF--