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 EA4A35D5 for ; Fri, 28 Jan 2022 13:33:01 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,324,1635199200"; d="scan'208";a="18469530" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Jan 2022 14:33:01 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id CF888E02A3; Fri, 28 Jan 2022 14:33:00 +0100 (CET) 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 27CB5E00CE; Fri, 28 Jan 2022 14:32:56 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.88,324,1635199200"; d="scan'208";a="4355088" 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; 28 Jan 2022 14:32:56 +0100 Message-ID: <3a6f0384-257b-0fce-a4aa-abe84afd9084@inria.fr> Date: Fri, 28 Jan 2022 14:32:54 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.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="------------soFgsgXzWetnZEN0exlaBabl" Subject: [Caml-list] TYPES 2022 -- Second call for contributions Reply-To: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= X-Loop: caml-list@inria.fr X-Sequence: 18685 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) --------------soFgsgXzWetnZEN0exlaBabl Content-Type: multipart/mixed; boundary="------------CGSRcu6vg0uH8hQuBqz5FZoF"; protected-headers="v1" From: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= Message-ID: <3a6f0384-257b-0fce-a4aa-abe84afd9084@inria.fr> Subject: TYPES 2022 -- Second call for contributions --------------CGSRcu6vg0uH8hQuBqz5FZoF Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable SECOND 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) --------------CGSRcu6vg0uH8hQuBqz5FZoF-- --------------soFgsgXzWetnZEN0exlaBabl Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEEukepH5EE5yGE1w9teSLAH9m6PHsFAmHz8IYFAwAAAAAACgkQeSLAH9m6PHsM mQ/9GXAjUDSQKjSB/9bD7ldwIzHB85cPWiV0/UmYTeuWZOWbyisDcV61kGIGipRCuLl1R2SP2xsP krzDW+9iRfOC11YJh/N47rDz28/w7LeDKfHuWzNnv/qy4L28u9xha16MikpwFu5qQ04rGazUtyEE IL9xlI6LGmGpq0S8ynDmsDilVZuWZPqNShGGtGVNFnaBkQrM4+BY5G9/XId/Su9Y457bc6ovnrcR MoLCUldWFME4+4G5FmuJMTqzkOQd4LMWIQKv0SN7tkwyBTypyytal01FBILVRRrNiSdNW5QnJpR/ vaconf4Li0W82BpIhCKFacPIcBUbQ31Nb5xD6V1EcrqOqEEzlzJjXJzYnsqpfYAPBaE1OI3ozt5o SBCKAzTUsjRR1J/5jGE9BctJGdCwAjaD4k/Ekv98GG69Vdq8huE5KjOFiM4ZwbvqHmFphtW1NeLU j8uFytYaENjkYH5p2j7CTG9fVxr83kyLRa1gG/6643GWInDLJfY8qMzFF3wKXIhDbhmVZJgBFkpH Ap+suzI2uBbt4QRsCcsd/1ciDVdEDQPYfrpuyYavBcrkLG1i+Od48MPwD5MTnkRKSA43uLlc8Nyf kls2lOQ/WnJb/I9IQeO3wJQab3zRfjlsijYTbckdXP6Pi9EOgqU1AQ2jtkNgUrt1UbC6omaSBGjs L7s= =EyJU -----END PGP SIGNATURE----- --------------soFgsgXzWetnZEN0exlaBabl--