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 2E7885D5 for ; Thu, 10 Mar 2022 07:48:13 +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=VXPexyX0jUtDFrLlgqNYGy9NAHDfZt3rGmtxKFSouFk=; b=trBoqp0L0ie6i/wvNS6Md/FBWj/7SipigCIdhCjl61aCZQ0Q8a3vfr89 Dq4gRKYYSKVf3vufNVIOKou0gkP8Bsk0F6sMt4PfBTSNVNPDuM8MhGu2Z WSOBX3jSU2z2DIw+cVHjV4982LDLP+u1ip6ZUPH4vt+hWh5j3hHMfdox8 o=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr 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 X-IronPort-AV: E=Sophos;i="5.90,169,1643670000"; d="scan'208";a="25365569" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Mar 2022 08:48:11 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 278B6E2FBD; Thu, 10 Mar 2022 08:48:11 +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 C441DE2FB8; Thu, 10 Mar 2022 08:48:04 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.90,169,1643670000"; d="scan'208";a="25365500" 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; 10 Mar 2022 08:48:04 +0100 Message-ID: Date: Thu, 10 Mar 2022 08:48:02 +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="------------mC40OslHSg1WToeOLzZKGJ3T" Subject: [Caml-list] TYPES 2022 -- Deadline extension Reply-To: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= X-Loop: caml-list@inria.fr X-Sequence: 18718 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) --------------mC40OslHSg1WToeOLzZKGJ3T Content-Type: multipart/mixed; boundary="------------a1ilFcsTxItzYa5hnmec0ysR"; protected-headers="v1" From: =?UTF-8?Q?Pierre-Marie_P=c3=a9drot?= Message-ID: Subject: TYPES 2022 -- Deadline extension --------------a1ilFcsTxItzYa5hnmec0ysR Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable DEADLINE EXTENSION Following popular pressure, the deadline for talk submission to TYPES 2022 has been extended to **Monday, March 14th AoE**. ----------------------------------------------------------------------- 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) --------------a1ilFcsTxItzYa5hnmec0ysR-- --------------mC40OslHSg1WToeOLzZKGJ3T Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEEukepH5EE5yGE1w9teSLAH9m6PHsFAmIprTIFAwAAAAAACgkQeSLAH9m6PHsh hw/8CNHMwmTFpI7mmMdHXaCksvcRqwhINSTT56pI+LnWTHiTGc7I2b+EPD9eodQ7Ysjao55hLzzG 7ueXfZ2lOPPzZ0OH9tRqwlt0n4ntyUEtyCTC8BJrjdI+UfsSJgXRCF6ZMFwLfpdLj/MRcFoBWNgP V4N2fh+rEKJJIOTpRmcccCkX/8wxAQF0nZirxgE90KyAtUAH7hiZx2q1L0rKdYRwwBF++Ocn50l/ U0kVoJp0onjCT0j6N4zRAaWLAG/vCn0R7RBCKyNpfp+uyEGy/hGofpyyxpFdpab97CTbJjSpJDFJ Mgzp2U6NPtD87rXGY5aKElN4b1Tpuj/rLB9SSjIlgUaZnBGO2uHpiExtavdZB6yYr+5BjcpnTxBh wRH0x1wrLcm4JMSRPjggWCj53wNifM9/tAah+h0mO/re6wyvoZmeCxi8muy4aII85MzisqPurtap QWcqv5Tci7lqytUdbTWUkkm422o1yru0nr8x9gHHtGZEx4pAlReck8qMPaMv7uFzLQkKPdj+w6eT mXSNRvLQ+pGG9OTd+ngL8prMrc/tZ051MAS0tzVTlFe+7w716LXiBMQk6J4MZI/X0YU6SfbWp0/X 1rhD/ZTNIQWKKSu5lkePihHciAWeo4MO4nO8PmG2rzlTgFoCqAIsQEkNoICv1DOuFLDYzqHUovbo YOs= =T3de -----END PGP SIGNATURE----- --------------mC40OslHSg1WToeOLzZKGJ3T--