From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-oi1-x23c.google.com (mail-oi1-x23c.google.com [IPv6:2607:f8b0:4864:20::23c]) by inbox.vuxu.org (Postfix) with ESMTP id 562FD24B7C for ; Tue, 5 Mar 2024 14:22:09 +0100 (CET) Received: by mail-oi1-x23c.google.com with SMTP id 5614622812f47-3c1a496d3d1sf6274728b6e.1 for ; Tue, 05 Mar 2024 05:22:09 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1709644928; cv=pass; d=google.com; s=arc-20160816; b=EC3DD0+BqyNbvU+jhC6xYIhnpyijfwMUJdsvwRo05jvN4SyejUIVZtruGXvomzHj3j BEnb2Q1xAJLJl4+6s9uMkHNDtA5NYr1nSbuG7q2C/ssIk82xQRgeIYUYWFRBcLpdlKE8 4i51UjolWKYinbQWLA7rqPXP4M1ipga2Wlo2tyCcHttSBTw8S6JgyhhTRqchI0ROtalz RbcBtdVvpG4qkzYU/I68PwIgh6ONd59M09Iz9rQ4M5IINRZKXi+VC3/mDY9z57a8gLCR B2ukyPkDZAU4HXYVrBs1qJwr0Ad3pg75G0wv4iKLGI4QEKKbnu6PRlC32ghSgBH5Fd3E x4bw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=drpRKhPU5YBWhjd80aYRomnBm9WpAJHTKvocB5CmyTw=; fh=T4sFm7EawpswN0LEAlOTM1BTHpVfKswGnYwxVhKRZEI=; b=PIdGg8L6Dp/zxma6vKYt9l8qZumaqQdwT1hNVVG+LIGxaQ3MYHd7VyVFtklS41OLkY rtChDm0k5fLGa46BibTW7F6NeH4FVFGHuv9byu/KJ9Lh8LPvqgbhJtKFU1wH8atx2qPr aBsr1KpBVGeZVM0xNBNPI/R1+SDs+KJ6dmt6n8E8+1Gh60mlJY3usvErvgsjXNtTu5mL W/NHFjIQrNVeRqMEGV5Fc2Cwu1HfUWWHWmNUUjmQ6apMU+kmhdoLSndOjvcEBHOPIx+s KpNKz0rgCid1CEWM8/PbAv6qDX6DRbXUXC4+tSByO77VGRDZ2EIHN5gFVC5PxK+lXPiC Cb8A==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=eJK8Y8uf; spf=pass (google.com: domain of rmogelberg@gmail.com designates 2607:f8b0:4864:20::b2a as permitted sender) smtp.mailfrom=rmogelberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1709644928; x=1710249728; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :sender:from:to:cc:subject:date:message-id:reply-to; bh=drpRKhPU5YBWhjd80aYRomnBm9WpAJHTKvocB5CmyTw=; b=nM+FMvZQiuRx07kLhR85Q88USq24QFb3o/wj0djjGz2c8YZOJ3PYBfCjVW26acJkhU qteaD4uR7v/rw3yVK92N/H2B6bbUk4OwwSJPTmf+WHzypYIG+0D31VOgRWRdhy0CaMkP 23+kUSGb6xPGg7lf0CvcT9y00IPMie8AROCCUlnFM1aoTMOLxqiJUDzGGVGzpdIxjrWj 50/b0LfDM1o0XNlXMwZOgSzAbCN+O768ZnyOk17A+NA4uGbOtYsmVFE+3Kz7/6037Dpe flxSzV5YTfur9xdEt/4QcfLXbt2Ll5rsK2NBj059q0Esqo9STCvrdXRSff/fL24DpjWL j8Hg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1709644928; x=1710249728; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version:from :to:cc:subject:date:message-id:reply-to; bh=drpRKhPU5YBWhjd80aYRomnBm9WpAJHTKvocB5CmyTw=; b=a3KJ36xGuPBPQJtIOfoFMv9jr4+2mCD51ET5CE9ebqEa9zBrJMMsR/l/K5bRKKd0O2 lK5B3Zp3MgfBt5F0pUS+WA2e/dfjbPF2fOiKIVk/lVVQEwoDU4GyT88TdETX8xGkVFmO XmHa5rXtORNshSdxjQvWn195Y59UdEja3/yMw1S8ipxUuK0D5QDhUtk0zJMbuJEo8Ko4 DOeQRd8uer8DCUsaz3GJ87jkMizkRIEhbOXX9p2ebW7CqsBxi6+KANzxZoeBq7bBskVi PziXTUvV1jg2ZoC+obOBiVmvAF5ck6f7/QjAOYI/XOs2ryHdpqWIO0LSQ3olhAIc4lEb uyEw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1709644928; x=1710249728; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:x-beenthere:x-gm-message-state :sender:from:to:cc:subject:date:message-id:reply-to; bh=drpRKhPU5YBWhjd80aYRomnBm9WpAJHTKvocB5CmyTw=; b=lgGB/5uOyFju/ORYvsr7i6pUJrtecldo+lJ2EmAaNmrBVDs4QuD3NWEr21soFk+kJ8 QTblflA8wIFcBA9vX+KPrKrUPtM8aU6f9CwFMuwc17KksoowVMOrSjPCIPBvsArfl5/6 46cOqIWvnkrLZb5BIIRXfpUPZ78ZWVes0kGt31T+zIlVBS+r6pBfUQOD809VO1IZg0I1 Y3s+ItCuG5wOerxFp4xY3WJGdANBYhjEM8qIIHkwk2oJkBwzfY6JrJZfJAnNR0V4fKC3 JRnvjDQfJc4FdgLkOZymOB0h9uUM6eb79qxdlSbpSD01Zy72yB9pkgZEGh3iubukbmop 1jrw== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCWAyDK15NKyP9IS2rLqtaK51mAuelZ+TVuntLmJeydXeg718leke81IRj4y5Z/VenDUjJQixXXyszyO/G8URDOuog== X-Gm-Message-State: AOJu0Yx7XXf/T+x2RNDR5ezKMqzcwiz7gn83rVLnZEqTt7IJD0DXeJdG V0RHejJ69Jqat0RheKyNjGIUZMIz4RC3Q686LyuoCReQ5C9Crf2S X-Google-Smtp-Source: AGHT+IFmnN+yDAuIsdy3ET7tTvOrafHG/dwks4EB60ILuNb0loqK2FKy4X9GT6/DXJXjiv+382dKrA== X-Received: by 2002:a05:6870:911f:b0:220:aaf1:d35f with SMTP id o31-20020a056870911f00b00220aaf1d35fmr1743898oae.16.1709644928510; Tue, 05 Mar 2024 05:22:08 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6870:ac22:b0:21f:c29d:96c5 with SMTP id kw34-20020a056870ac2200b0021fc29d96c5ls351599oab.2.-pod-prod-07-us; Tue, 05 Mar 2024 05:22:07 -0800 (PST) X-Received: by 2002:a05:6871:7827:b0:21f:d4dd:ca92 with SMTP id oy39-20020a056871782700b0021fd4ddca92mr1722671oac.40.1709644926962; Tue, 05 Mar 2024 05:22:06 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1709644926; cv=none; d=google.com; s=arc-20160816; b=j5BjNRHEr1beyi0x5iXeWmMlPLdymDEeQ0OpLYhQty/Rs8flT+qj4r32taSW1XxV0L zk1JXLhNcmMHsTChx+pmHY+vifXGmrnJsxbhWvD4LaCyh2mEJDUe0wYGEdF8hK60O5dZ lX9l0nk/ajNhB8K/4hNDxZif1LdIsnb/epwy/bzC++arwfEGhCmpXqgwi6XQXH5jAOgI 0T+jD8EejFick4otVULWufm1t0BQ5VdkE+9TCAkY9d33/7119DXUSoI4Jizk8pngPNMc AM8UoTpLDtITgmY95R1arNj5mlPKk3LD8B591vAQ1BHs92nu2yI5V20W1J9/2lk09upi SDQA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=hMdiBlHxK+ZkZBhD4Df+2O5l7R7OlDfoiXdTUrWFfc8=; fh=3sIP6N/TEjoc1Uq37Y498r2kAtX4ApZak0DpOSnwMFI=; b=ofE1JnlQ54Wjq3cm8970QuD5K+HJxffShaABtuz1YQtuHio7rM262K/cxWbpOU3ag5 tfh2c5o1fQiqCH0iimxbNvTR3sbOBW4Jyhnf+spDmzkoOBEQciARCVALcrxSUtmOgKdo 6layLSNFm/U41gbXyzgSOaJUDd0x/rNIAQ+8BznrD3JEi1exo6rCk4oomWSdBzPtcaSd B4aBU8DMKJGtIwk3gZvm/SgWRT5F3tEj8gsB2Q3rcr4uy+0XWexmj4zono0RBfSWMgtM cJzlTlU4ffbBkJqStBh+2Um3u6/aE8vvxp6d/NiWyEsI/C7lXW0m77kqJbCPVxvuvT3k qytQ==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=eJK8Y8uf; spf=pass (google.com: domain of rmogelberg@gmail.com designates 2607:f8b0:4864:20::b2a as permitted sender) smtp.mailfrom=rmogelberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-yb1-xb2a.google.com (mail-yb1-xb2a.google.com. [2607:f8b0:4864:20::b2a]) by gmr-mx.google.com with ESMTPS id sm1-20020a05620a944100b00788306e13ecsi215783qkn.6.2024.03.05.05.22.06 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 05 Mar 2024 05:22:06 -0800 (PST) Received-SPF: pass (google.com: domain of rmogelberg@gmail.com designates 2607:f8b0:4864:20::b2a as permitted sender) client-ip=2607:f8b0:4864:20::b2a; Received: by mail-yb1-xb2a.google.com with SMTP id 3f1490d57ef6-dcbd1d4904dso6537909276.3 for ; Tue, 05 Mar 2024 05:22:06 -0800 (PST) X-Received: by 2002:a25:aa8b:0:b0:dc2:2b0d:613e with SMTP id t11-20020a25aa8b000000b00dc22b0d613emr8879585ybi.10.1709644926348; Tue, 05 Mar 2024 05:22:06 -0800 (PST) MIME-Version: 1.0 From: =?UTF-8?Q?Rasmus_M=C3=B8gelberg?= Date: Tue, 5 Mar 2024 14:21:55 +0100 Message-ID: Subject: [HoTT] Types 2024, deadline extension To: homotopytypetheory@googlegroups.com Content-Type: multipart/alternative; boundary="00000000000086f8e80612e9ba39" X-Original-Sender: rmogelberg@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=eJK8Y8uf; spf=pass (google.com: domain of rmogelberg@gmail.com designates 2607:f8b0:4864:20::b2a as permitted sender) smtp.mailfrom=rmogelberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , --00000000000086f8e80612e9ba39 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Call for Contributions -- Deadline Extension TYPES 2024 30th International Conference on Types for Proofs and Programs Copenhagen, Denmark, 10 - 14 June 2024 https://types2024.itu.dk =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D[ NEWS ]=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D DATES ----- * Submission of abstract 11 March 2024 AoE **NEW** * Author notification 19 April 2024 AoE * Camera-ready version of abstract 10 May 2024 AoE * Conference 10 - 14 June 2024 ACCOMMODATION ------------- We have reserved a number of hotel rooms at reduced rates. Details at https://types2024.itu.dk/Venue.html =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D OVERVIEW -------- 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. CONTRIBUTED TALKS ----------------- TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference. POST-PROCEEDIGNS ---------------- 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: October 2024. PROGRAMME COMMITTEE ------------------- Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair) Henning Basold (Leiden University, The Netherlands) Andrej Bauer (University of Ljubljana, Slovenia) Marco Carbone (IT University of Copenhagen, Denmark) Jesper Cockx (TU Delft, The Netherlands) Greta Coraglia (University of Milan, Italy) Peter Dybjer (Chalmers University of Technology, Sweden) Yannick Forster (INRIA, France) Hugo Herbelin (INRIA, France) Patricia Johann (Appalachian State University, USA) Marie Kerjean (CNRS, France) Ekaterina Komendantskaya (University of Southampton, United Kingdom) Meven Lennon-Bertrand (University of Cambridge, United Kingdom) Assia Mahboubi (INRIA, France) Sonia Marin (University of Birmingham, United Kingdom) Anders M=C3=B6rtberg (Stockholm University, Sweden) Rasmus Ejlers M=C3=B8gelberg (IT University of Copenhagen, Denmark) (co-ch= air) Benjamin Pierce (University of Pennsylvania, USA) Jakob Rehof (Technical University of Dortmund, Germany) Simona Ronchi Della Rocca (University of Turin, Italy) Kristina Sojakova (Vrije Universiteit Amsterdam, The Netherlands) Ana Sokolova (University of Salzburg, Austria) Bas Spitters (Aarhus University, Denmark) Wouter Swierstra (Utrecht University, The Netherlands) Philip Wadler (University of Edinburgh, United Kingdom) TYPES STEERING COMMITTEE ------------------------ Sandra Alves (University of Porto, Portugal) Eduardo Hermo Reyes (Formal Vindications, Spain) Rasmus Ejlers M=C3=B8gelberg (IT University of Copenhagen, Denmark) Paige Randall North (Utrecht University, The Netherlands) (chair) Matthieu Sozeau (INRIA & Universit=C3=A9 de Nantes, France) Benno van den Berg (University of Amsterdam, The Netherlands) (secretary) ABOUT TYPES ----------- The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2021, 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), Nantes (2022), Val=C3=A8ncia (2023). CONTACT ------- Email: types2024@easychair.org ORGANIZERS ---------- Patrick Bahr (IT University of Copenhagen, Denmark) Marco Carbone (IT University of Copenhagen, Denmark) Rasmus Ejlers M=C3=B8gelberg (IT University of Copenhagen, Denmark) --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAO0VQQZ_4-Dn%2BpEmw4DfMZYqyvtGd30%2BAeSLDOoV%2BjF5JtVFU= A%40mail.gmail.com. --00000000000086f8e80612e9ba39 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Call=C2= =A0for Contributions -- Deadline Extension

=C2=A0=C2=A0=C2=A0=C2=A0 = =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0 =C2=A0 =C2=A0TYPES=C2=A02024
=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 30th International Conference on=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0Types=C2=A0for Proofs and Programs
=C2=A0
=C2=A0 =C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Copenhagen, Denmark, 10 - 14 Jun= e 2024
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0https://types2024.itu.dk


= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D[ NEWS ]=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

DATES
-----
* Submi= ssion of abstract=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 11 March 2024 Ao= E **NEW**
* Author notification=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A019 April 2024 AoE
* Camera-ready version of abstract =C2= =A010 May =C2=A0 2024 AoE
* Conference=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 10 - 14 June 2024

= ACCOMMODATION
-------------

We have reserved a number of hotel ro= oms at reduced rates.
Details at https://types2024.itu.dk/Venue.html

=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=C2=A0


OVERVIEW--------

The TYPES meetings are a forum to present new and on-goin= g 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 propo= sing 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.


CONTRIBUTED TALKS
---------------= --

TYPES solicits contributed talks to stimulate discussions. Select= ion
of those will be based on extended abstracts/short papers of 2 pp(not including bibliography) formatted with easychair.cls.


Cam= era-ready versions of the accepted contributions will be published
in an= informal book of abstracts for distribution during the
conference.
<= br>POST-PROCEEDIGNS
----------------
A post-proceedings volume will b= e published in the Leibniz International
Proceedings in Informatics (LIP= Ics) series. Submission to that volume
will be open to everyone.

= Tentative submission deadline for the post-proceedings: October 2024.
PROGRAMME COMMITTEE
-------------------

Patrick Bahr =C2=A0(IT = University of Copenhagen, Denmark) (co-chair)
Henning Basold =C2=A0(Leid= en University, The Netherlands)
Andrej Bauer =C2=A0(University of Ljublj= ana, Slovenia)
Marco Carbone =C2=A0(IT University of Copenhagen, Denmark= )
Jesper Cockx =C2=A0(TU Delft, The Netherlands)
Greta Coraglia =C2= =A0(University of Milan, Italy)
Peter Dybjer =C2=A0(Chalmers University = of Technology, Sweden)
Yannick Forster =C2=A0(INRIA, France)
Hugo Her= belin =C2=A0(INRIA, France)
Patricia Johann =C2=A0(Appalachian State Uni= versity, USA)
Marie Kerjean =C2=A0(CNRS, France)
Ekaterina Komendants= kaya =C2=A0(University of Southampton, United Kingdom)
Meven Lennon-Bert= rand =C2=A0(University of Cambridge, United Kingdom)
Assia Mahboubi =C2= =A0(INRIA, France)
Sonia Marin =C2=A0(University of Birmingham, United K= ingdom)
Anders M=C3=B6rtberg =C2=A0(Stockholm University, Sweden)
Ras= mus Ejlers M=C3=B8gelberg =C2=A0(IT University of Copenhagen, Denmark) (co-= chair)
Benjamin Pierce =C2=A0(University of Pennsylvania, USA)
Jakob = Rehof =C2=A0(Technical University of Dortmund, Germany)
Simona Ronchi De= lla Rocca =C2=A0(University of Turin, Italy)
Kristina Sojakova =C2=A0(Vr= ije Universiteit Amsterdam, The Netherlands)
Ana Sokolova =C2=A0(Univers= ity of Salzburg, Austria)
Bas Spitters =C2=A0(Aarhus University, Denmark= )
Wouter Swierstra =C2=A0(Utrecht University, The Netherlands)
Philip= Wadler =C2=A0(University of Edinburgh, United Kingdom)

TYPES STEERI= NG COMMITTEE
------------------------

Sandra Alves (University of= Porto, Portugal)
Eduardo Hermo Reyes (Formal Vindications, Spain)
Ra= smus Ejlers M=C3=B8gelberg (IT University of Copenhagen, Denmark)
Paige = Randall North (Utrecht University, The Netherlands) (chair)
Matthieu Soz= eau (INRIA & Universit=C3=A9 de Nantes, France)
Benno van den Berg (= University of Amsterdam, The Netherlands) (secretary)

ABOUT TYPES-----------

The TYPES meetings from 1990 to 2008 were annual worksh= ops of a sequence
of five EU funded networking projects. From 2009 to 20= 21, TYPES has been
run as an independent conference series. Previous TYP= ES 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 Da= l near Nijmegen
(2002), Torino (2003), Jouy-en-Josas near Paris (2004), = Nottingham
(2006), Cividale del Friuli (2007), Torino (2008), Aussois (2= 009),
Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Talli= nn
(2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019),<= br>Virtual (2021), Nantes (2022), Val=C3=A8ncia (2023).

CONTACT
-= ------

Email: types2024@e= asychair.org

ORGANIZERS
----------

Patrick Bahr (IT Un= iversity of Copenhagen, Denmark)
Marco Carbone (IT University of Copenha= gen, Denmark)
Rasmus Ejlers M=C3=B8gelberg (IT University of Copenhagen,= Denmark)

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https= ://groups.google.com/d/msgid/HomotopyTypeTheory/CAO0VQQZ_4-Dn%2BpEmw4DfMZYq= yvtGd30%2BAeSLDOoV%2BjF5JtVFUA%40mail.gmail.com.
--00000000000086f8e80612e9ba39--