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 663255D5 for ; Fri, 25 Feb 2022 15:08:45 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.90,136,1643670000"; d="scan'208";a="23248497" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Feb 2022 16:08:44 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 74D0FE0B51; Fri, 25 Feb 2022 16:08:43 +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 896E8E037F; Fri, 25 Feb 2022 16:08:38 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.90,136,1643670000"; d="scan'208";a="23248411" Received: from 91-164-56-121.subs.proxad.net (HELO [192.168.1.151]) ([91.164.56.121]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 25 Feb 2022 16:08:38 +0100 Message-ID: <4c77aac2-436a-6451-e33a-28599953825f@inria.fr> Date: Fri, 25 Feb 2022 16:08:37 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.6.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="------------M9tZzU5cCSR5OtYTtxbThP0z" Subject: [Caml-list] TYPES 2022 -- Last call for contributions Reply-To: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= X-Loop: caml-list@inria.fr X-Sequence: 18707 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) --------------M9tZzU5cCSR5OtYTtxbThP0z Content-Type: multipart/mixed; boundary="------------hxUnsZBLdUKe4lFv7M8mjJ1W"; protected-headers="v1" From: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= Message-ID: <4c77aac2-436a-6451-e33a-28599953825f@inria.fr> Subject: TYPES 2022 -- Last call for contributions --------------hxUnsZBLdUKe4lFv7M8mjJ1W Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable LAST 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: Youyou Cong (Tokyo Institute of Technology) Ekaterina Komendantskaya (Heriot-Watt University) Sam Lindley (University of Edinburgh) Leonardo de Moura (Microsoft Research) 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) --------------hxUnsZBLdUKe4lFv7M8mjJ1W-- --------------M9tZzU5cCSR5OtYTtxbThP0z Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEEukepH5EE5yGE1w9teSLAH9m6PHsFAmIY8PUFAwAAAAAACgkQeSLAH9m6PHu5 zxAAsMo7QI7LO9cfzh9B3dMkD9zQrjyaHQJtAmToHR3Znzrd/6p6ah6wszr9KLcgFJsWENY7c9R+ o8ImQPF4uFswmL+vglpIerkwz+aikB/hxVOw0xok+Ptb/FlbAape7zMkdkzDFyRuZFXkUVuLufDl 77SupiZuF1kv6zNBxPsDO46Nlo1v3NcHBO4Gyv6dRohdF8p5eKYD6yQAgbqcY3d4DfrTSSyjT+IE AITbrbqIzoo4jS3cAEOhxGDNKM44LlOuO76Bw5nElt76QiVByKhuwv7vRXH5gahW+Rca4t7gOp/E 58UnqIsr+vy/IdJgKOhOFy58FM2mLGHE99GLrn9095BrYTXeaIO26oMIJWdb92XRFmKziskfmSQE nQVg2TWMA753+surVbgSquYu2kLlHBHnTuZNazYh8rujHJBN9s51e41OaDhnbxq5EGidIzITJYSY oFMfUDh36d4YiOXwRdrEBV1piWH2dpiWyygNETKlheN3wVw06ikDSYL9/EyFQFtToZY6jZAsmU0A 1oC55I0TbsUTTF8aHa9RgS0XAUXqK1TMafVwcT+rAU/Na82g8WiqsCQqyKFQ/chHx+KPZxJoqzls q1DPXqmiU435RCJ7xSMRHvzS4Q2fX9rMNZ3rOcqgKsgKTpVQST4va4LmKzKRb2DVNzs7T7W8avYT vlM= =WrIA -----END PGP SIGNATURE----- --------------M9tZzU5cCSR5OtYTtxbThP0z--