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=-0.7 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-pj1-x1038.google.com (mail-pj1-x1038.google.com [IPv6:2607:f8b0:4864:20::1038]) by inbox.vuxu.org (Postfix) with ESMTP id 6F6D029707 for ; Thu, 1 Feb 2024 10:24:41 +0100 (CET) Received: by mail-pj1-x1038.google.com with SMTP id 98e67ed59e1d1-295aaffe58bsf1842166a91.1 for ; Thu, 01 Feb 2024 01:24:41 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1706779479; cv=pass; d=google.com; s=arc-20160816; b=CdZ+CCO+C8+CDp8yyigp/sVAT2TKho6tx0i5OYAX5mxekSlKllUtH08Zte6L+qsC0j zsxbuQY7Xuwx4yRThF/WBgfhR/Msuda8TFZM4XnHkWrIc0DO6H+ws8bF0nVdOT3VW21b pjFri3YDDQBsQYrk8yMLv4gXBspY7PKM4G8sfoaOZzw9dPgjn1Ey7uNq13vSqaP9tHnT 1j2DF/nZduLItv6vwzYXit3fkPq7iwqwmsRVjeMtf7pUHQRGflLl55b9G6SUd7hFgxaP d4cJ30sjWA8/eHoE7RsXe5uf4tAKtJj5CQOdU3bCrI6yqL6SfMFK5dNYomXfMcIBXPoD J9dw== 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=p4J2oM6wuBYT3Jow/lXKyWYbDRQzsKUPwcu8h5wHVFA=; fh=3sIP6N/TEjoc1Uq37Y498r2kAtX4ApZak0DpOSnwMFI=; b=cuIXHFbVPt+A30CGnRWVqbJX5iJyXhajF6aMiqF/dV9aKK6Du51l1izLks3+BI1YAA wTy6H8XQjL8FbAIu76xMZJeUp7KCu9jGoB2mM5inResJSHWZy00XPXJft7m1kWX9MgTq CXy4DhNZlyIKBYpN+qffrG/+T+T2JtMW6DkHA4A6KYqZ56l+y42wgu1nqkcSSLwgabSx uz20H9ovIcUn3TPkcRJbw6i1I92pwKW3rwdumWeYiF73nCxfaE3vi0hU/hRxzDBlCo76 VBqCpyI9VZO0uaiamGHriapC7yFKA90Fyzkf7yHPsE+aHeX3Z3Zkb4/oM6/IVZLdobQP vmKA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=iFQKrfl0; spf=pass (google.com: domain of rmogelberg@gmail.com designates 2607:f8b0:4864:20::1133 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=1706779479; x=1707384279; 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=p4J2oM6wuBYT3Jow/lXKyWYbDRQzsKUPwcu8h5wHVFA=; b=EO4yYnaeXRm1wc+AfQic4/+7Fj4yI6knG8vq6s2P2oZ9P11CtZKFZcvfRMznGaeYyf ww3Fr5gwpFV8tCFQYLMesVhmvlfKCIgwk4yUv/bl2+F8wP3uVrlsoZamm8wlyQaujil1 6Hc54c3/aNw7pUEvF0oPw9hFJTLal+EOm2Xc6SfG0YoBAYw5XCD7g2WnqC4q5Gx2ILhz wy3oX4pbm1Fej+rUr/SWRAKUnPONc3F9pqdAl6PZ0JtiRzMhe0aaZ/P09SUorP4Lq7QX xeSu0qIx8Wr2RqB0mGzPwWyaU/uznBNZGcXbn7rVUpuuKYgGgKKKCSmgIxPWgd34H9fw PN8w== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706779479; x=1707384279; 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=p4J2oM6wuBYT3Jow/lXKyWYbDRQzsKUPwcu8h5wHVFA=; b=NahaocaMh01vQ3IwQoj25Bby3oJu+wwtvgFBVI5jxUwAjtTeCj5VGq5Hj+bdudpqUL 3xyXhStK7qQhiDPC/HoWiD+H1uc/rhqYfLKdwWALhnWAwPpcQcZNjpDKQ0LYTtaTb/5x xukP+g5SCQ78+RZVsy1uWXkKDEz5rfGXAtvwWTld+qbxYRfFYPqVxsd/1U36LbELYEqo S9lTmslm+Bk7MNdbmOrfC+QsA4+e/pvLb6foh/JxZfDiAZoVJeva+mD/hbPxSbWVQYG8 042bEKtvRlBb2vFMMFiikpx2vkU2Cuj2tFBYM+t1iBi+Dy2xxRamJtC8F542EXRrHBVt nEYA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706779479; x=1707384279; 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=p4J2oM6wuBYT3Jow/lXKyWYbDRQzsKUPwcu8h5wHVFA=; b=xO15Qdaek80fLSN2m+iyecF+ZQkv4n1OSNX6tfnG2NnyIvpUHbjK7iVVpiLckG3HJg rMfR0sFL6O2pGAyWrQU8QEV7wWQ5P1ImyryX6KRD1PuX+vhNfiZaDajDmwe2A6SCAQpN r17w4oNoL81VbWBl7p0Y/qGUTm3W6eRakFp+czyWWnXJ2HLpcH2NffL0JDR6vqX+PllG VlWCD0u1gzZdGkct+a4Qgr8yghOWTtHn2PgMHDDWujcmv2Zp2XZQuGXFo/m72t+Jj4vH laJV7l/hZKz/zmxCplg4AehR27IZ6P6/C7QmKgMwZLOIbusJIhE5TXvr1qYVeDSasz1Y eMig== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YxzkhuzuoZ0BfbRYi8rtWs1RUQ4wx7Iv2Ul9Qu+wZWl+KZTXtlJ eUU8x/YwM7g9B65mgzF+j+kX1PP/V+aAjfb1CTH6zTKSUz2WBtQY X-Google-Smtp-Source: AGHT+IEhdLQdLSpF0EgwL2QxaHiIm639yHGmN5Fbb9F7M+7gw8RJp4Ufh4u4D4KL7hUtRHECYn+Ucg== X-Received: by 2002:a17:90a:ec02:b0:296:880:20b2 with SMTP id l2-20020a17090aec0200b00296088020b2mr3015109pjy.15.1706779479396; Thu, 01 Feb 2024 01:24:39 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:90b:1f87:b0:295:5269:b39e with SMTP id so7-20020a17090b1f8700b002955269b39els462599pjb.2.-pod-prod-00-us; Thu, 01 Feb 2024 01:24:36 -0800 (PST) X-Received: by 2002:a17:90a:c901:b0:295:84b4:5813 with SMTP id v1-20020a17090ac90100b0029584b45813mr5127345pjt.8.1706779476630; Thu, 01 Feb 2024 01:24:36 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1706779476; cv=none; d=google.com; s=arc-20160816; b=Vi4czQYUIB51y+aeDyXEbzCy/s3csBDOhpObOBok7DkcSH2gXbVrbjeF150/4Fn9qR TbGN3kQcFew8hIO3ftBrV+tqSjAzgfMEgG6OWqdt4smvIE2ZnSdHRgZkX4KjqdNnpfks oHVDXnCzJGjYMCqi0AS3IqsdksO1ib1BVhwOi9mLDzm+h219MtSjsFw3uPbS3bXsxo84 yhdXah7dKJfuhFc1BQCN9GZnDTgb/UyvCUQeSMty6oNDEgIjF+UuGcRr1EgPiyX7joxb 4tGvMerD8zgtRR0KxtBDX1PM8QsHJll6E8W8sZHsROoIcu5iYHSoLrZPy+O8LnHBr8X+ zpLA== 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=kziSWv7AmDYVRs20iDTJVhtX5NGe5m/ClO7igeJyrVg=; fh=3sIP6N/TEjoc1Uq37Y498r2kAtX4ApZak0DpOSnwMFI=; b=JaAQ9FTe7yeOkMNKDyITxIgDbxg+vWlp+Qdw+mijB02Ud+2p0WrPFHXbXsfwMu6c1o vTFYdiBpiwNDdZOEaTKlke2WXi93G5sqxJtrQbZtbfqxPGHTtNr/0BcrlOaIjQhhv/c7 utO34IqFLswJA1969Bqb9pLDPVI7fwdgn+aDof2YCiBuj4+dvQQlzvBxT9ngfWlI23aE b+BZ95eEyhD3/1f8pdO8N05+KfWBARRGuJf2Yj96TLIcYdze0eh2f9F5XVOsS+EEr6p1 Z9/Zy/JE7gjxFaHSK8IENKjpPLh1EFI40jp9LJXh6Tab5f2XXyzDhXWaoHGl0eGKmSoo WuAA==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=iFQKrfl0; spf=pass (google.com: domain of rmogelberg@gmail.com designates 2607:f8b0:4864:20::1133 as permitted sender) smtp.mailfrom=rmogelberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-yw1-x1133.google.com (mail-yw1-x1133.google.com. [2607:f8b0:4864:20::1133]) by gmr-mx.google.com with ESMTPS id h4-20020a17090aa88400b0029617ce321csi52256pjq.0.2024.02.01.01.24.36 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 01 Feb 2024 01:24:36 -0800 (PST) Received-SPF: pass (google.com: domain of rmogelberg@gmail.com designates 2607:f8b0:4864:20::1133 as permitted sender) client-ip=2607:f8b0:4864:20::1133; Received: by mail-yw1-x1133.google.com with SMTP id 00721157ae682-6040e7ebf33so5379527b3.0 for ; Thu, 01 Feb 2024 01:24:36 -0800 (PST) X-Received: by 2002:a81:8416:0:b0:604:1911:4848 with SMTP id u22-20020a818416000000b0060419114848mr1395230ywf.14.1706779475935; Thu, 01 Feb 2024 01:24:35 -0800 (PST) MIME-Version: 1.0 From: =?UTF-8?Q?Rasmus_M=C3=B8gelberg?= Date: Thu, 1 Feb 2024 10:24:25 +0100 Message-ID: Subject: [HoTT] Types 2024 Call for Contributions To: homotopytypetheory@googlegroups.com Content-Type: multipart/alternative; boundary="0000000000005f862606104e905a" 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=iFQKrfl0; spf=pass (google.com: domain of rmogelberg@gmail.com designates 2607:f8b0:4864:20::1133 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: , --0000000000005f862606104e905a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Call for Contributions TYPES 2024 30th International Conference on Types for Proofs and Programs Copenhagen, Denmark, 10 - 14 June 2024 https://types2024.itu.dk 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. IMPORTANT DATES --------------- * Submission of abstract 4 March 2024 AoE * Author notification 19 April 2024 AoE * Camera-ready version of abstract 10 May 2024 AoE * Conference 10 - 14 June 2024 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/CAO0VQQb0O%3DMhLN4ZVSo_Mb%3DBSb8CtrX39HVBqXwOU%2BPhddCGi= g%40mail.gmail.com. --0000000000005f862606104e905a 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=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Call=C2=A0for Contributions
=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 30th International C= onference 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=A0Types=C2=A0for Proofs and Programs
=C2=A0
=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Copenhagen, Denmark, 10 - 14 = June 2024
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0https://types2024.itu.dk


OVERV= IEW
--------

The TYPES meetings are a forum to present new and on= -going work in all
aspects of type theory and its applications, especial= ly in formalised
and computer assisted reasoning and computer programmin= g.

The TYPES areas of interest include, but are not limited to:
<= br>* foundations of type theory and constructive mathematics;
* applicat= ions of type theory;
* dependently typed programming;
* industrial us= es of type theory technology;
* meta-theoretic studies of type systems;<= br>* proof assistants and proof technology;
* automation in computer-ass= isted 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 publica= tion, but also work in progress.


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

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

IM= PORTANT DATES
---------------

* Submission of abstract=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A04 March 2024 AoE
* Author notifica= tion=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A019 April 2024 Ao= E
* Camera-ready version of abstract =C2=A010 May =C2=A0 2024 AoE
* C= onference=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

Camera-ready versions of the acc= epted contributions will be published
in an informal book of abstracts f= or distribution during the
conference.

POST-PROCEEDIGNS
------= ----------
A post-proceedings volume will be published in the Leibniz In= ternational
Proceedings in Informatics (LIPIcs) series. Submission to th= at 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, Den= mark) (co-chair)
Henning Basold =C2=A0(Leiden University, The Netherland= s)
Andrej Bauer =C2=A0(University of Ljubljana, Slovenia)
Marco Carbo= ne =C2=A0(IT University of Copenhagen, Denmark)
Jesper Cockx =C2=A0(TU D= elft, The Netherlands)
Greta Coraglia =C2=A0(University of Milan, Italy)=
Peter Dybjer =C2=A0(Chalmers University of Technology, Sweden)
Yanni= ck Forster =C2=A0(INRIA, France)
Hugo Herbelin =C2=A0(INRIA, France)
= Patricia Johann =C2=A0(Appalachian State University, USA)
Marie Kerjean = =C2=A0(CNRS, France)
Ekaterina Komendantskaya =C2=A0(University of South= ampton, United Kingdom)
Meven Lennon-Bertrand =C2=A0(University of Cambr= idge, United Kingdom)
Assia Mahboubi =C2=A0(INRIA, France)
Sonia Mari= n =C2=A0(University of Birmingham, United Kingdom)
Anders M=C3=B6rtberg = =C2=A0(Stockholm University, Sweden)
Rasmus 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 Universit= y of Dortmund, Germany)
Simona Ronchi Della Rocca =C2=A0(University of T= urin, Italy)
Kristina Sojakova =C2=A0(Vrije Universiteit Amsterdam, The = Netherlands)
Ana Sokolova =C2=A0(University of Salzburg, Austria)
Bas= Spitters =C2=A0(Aarhus University, Denmark)
Wouter Swierstra =C2=A0(Utr= echt University, The Netherlands)
Philip Wadler =C2=A0(University of Edi= nburgh, United Kingdom)

TYPES STEERING COMMITTEE
----------------= --------

Sandra Alves (University of Porto, Portugal)
Eduardo Her= mo Reyes (Formal Vindications, Spain)
Rasmus Ejlers M=C3=B8gelberg (IT U= niversity of Copenhagen, Denmark)
Paige Randall North (Utrecht Universit= y, The Netherlands) (chair)
Matthieu Sozeau (INRIA & Universit=C3=A9= de Nantes, France)
Benno van den Berg (University of Amsterdam, The Net= herlands) (secretary)

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

The TYPES me= etings 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 Anti= bes (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), To= rino (2003), Jouy-en-Josas near Paris (2004), Nottingham
(2006), Cividal= e del Friuli (2007), Torino (2008), Aussois (2009),
Warsaw (2010), Berge= n (2011), Toulouse (2013), Paris (2014), Tallinn
(2015), Novi Sad (2016)= , Budapest (2017), Braga (2018), Oslo (2019),
Virtual (2021), Nantes (20= 22), Val=C3=A8ncia (2023).

CONTACT
-------

Email: types2024@easychair.org

ORGA= NIZERS
----------

Patrick Bahr (IT University of Copenhagen, Denm= ark)
Marco Carbone (IT University of Copenhagen, Denmark)
Rasmus Ejle= rs 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/CAO0VQQb0O%3DMhLN4ZVSo_Mb%3= DBSb8CtrX39HVBqXwOU%2BPhddCGig%40mail.gmail.com.
--0000000000005f862606104e905a--