From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 16902 invoked from network); 5 Oct 2023 11:40:17 -0000 Received: from mail-oi1-x23b.google.com (2607:f8b0:4864:20::23b) by inbox.vuxu.org with ESMTPUTF8; 5 Oct 2023 11:40:17 -0000 Received: by mail-oi1-x23b.google.com with SMTP id 5614622812f47-3ae5ac8de14sf1300953b6e.2 for ; Thu, 05 Oct 2023 04:40:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1696506016; x=1697110816; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:sender:from:to:cc:subject:date :message-id:reply-to; bh=+HgFvDireil0ouO3GzMDogwOXiB8/PUTosKf8xDKu2E=; b=LQ7jsq35zP46Sw8Z0ARAHp05rtVk9hT4nJONmEM9yNQdC2Fhpdq+tXQpvUg7G1g9gn vMhwkrJ9yr7RW7ZW2M/Sp+nwZ0/l9LDZ3qXIag36rt0I/Huju1qScoVZU6Cn8oBEl+RD HT6oUN85WjO9lCsG9yiVv2J56aNsjglZRwGwp+W5hU/y0jPZyTS6PxPhAeOXsDmVitIZ rDQTl3AoAEVI34V/hngv3nlBwzaMdZtH4jyEnJ0hUpCygaNKQTkNYaCxteQ0z2e0mqJq 3mehfVtwE2nPOgFbsvGE7dkNEp+d8iCxiR+i1xewBwa5JDJfggr3b5QuZXoU9bOX1VpC euJQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696506016; x=1697110816; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:from:to:cc:subject:date:message-id :reply-to; bh=+HgFvDireil0ouO3GzMDogwOXiB8/PUTosKf8xDKu2E=; b=LcsmBHVVwlRZybMxMyg0HlmXZ2C00trFASv0FmajYUnCOOpGNHoa9qdyOQDwAPsbFg dLxn1Th839jh6zKvRyC768Hk5QckjsCy/DjrVjQf7913ZfA5Rx0f0YglX1GxzW0SDs9t IOhGInJL5gnNo/AcUAHiN50jwHQpnvxXZxHTVglfJyjz4iYew2GuouZkkWf90ZRG2N8E iswSaXk8YI4q6oM0vGIVVQtFx8Qnsbhxbg5hw2SO2yAHrfzRkdcfuIOjWpjzPHXsne48 6xIAe+WtjYyJqjAjrSvQCj0xEMKGUzj4RY1mXU6L5UOe5LbXzNoFG/HOIzYd37aOHcG/ PTTA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696506016; x=1697110816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-sender:mime-version:subject:message-id:to:from:date :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=+HgFvDireil0ouO3GzMDogwOXiB8/PUTosKf8xDKu2E=; b=UZOAbgcpgb92PsNZMZjhJ2Rjmuh0E2UgLfeDs0UsvWRvBFGcSaXNIZ1BqlR3/dVqFK cgJBjEiztXf6o09iY94L1qYK+5DjLvhDwTeoUZ8im300tg1o2wT2jJzCAg1qoqGT+EmB IyPthLO355Yk5GcMax6A7/chz3lASjHnHvi4tceHZHQLnPpkxAcslzbknc8FfKJbXrF5 EukReX1PB2/yzYVdRVv/JTgzESmUGnQDodMAfuhxof1w38Q3tsYg0TJEaAg7TPCZ1Iac e+lH9yR9vQaMmd/95pFpUO//TRKjUanIGQU8SJyyPcJcPGhPoj0POhyvV+6ajOWLJ3zI uKEw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0Yw1syqx3BdoP5RRBThv0iLauXxdp43b/B0tYG3ZJx26u/b5ki9b LlV0lJX4fsBIGC9yftGJkFs= X-Google-Smtp-Source: AGHT+IGR8kL3A1n20SF0eYACw+VC5zGF9zKM7rqT6LJ3eIonfXtBWiL2aQ1K1ipip5Nny5BuKfzqDg== X-Received: by 2002:a05:6870:f703:b0:1d5:5d57:bde5 with SMTP id ej3-20020a056870f70300b001d55d57bde5mr5471638oab.56.1696506015817; Thu, 05 Oct 2023 04:40:15 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6870:568e:b0:1dd:915a:9126 with SMTP id p14-20020a056870568e00b001dd915a9126ls1050799oao.2.-pod-prod-07-us; Thu, 05 Oct 2023 04:40:14 -0700 (PDT) X-Received: by 2002:a05:6870:7688:b0:1dc:6d26:9ff with SMTP id dx8-20020a056870768800b001dc6d2609ffmr1864537oab.6.1696506014234; Thu, 05 Oct 2023 04:40:14 -0700 (PDT) Date: Thu, 5 Oct 2023 04:40:13 -0700 (PDT) From: Benno van den Berg To: Homotopy Type Theory Message-Id: Subject: [HoTT] Call for Papers: TYPES 2023 Post-proceedings MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_4403_1235932645.1696506013158" X-Original-Sender: bennovdberg@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: , List-Unsubscribe: , ------=_Part_4403_1235932645.1696506013158 Content-Type: multipart/alternative; boundary="----=_Part_4404_1205857213.1696506013158" ------=_Part_4404_1205857213.1696506013158 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [APOLOGIES FOR MULTIPLE POSTINGS] TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2023 was held from 12 to 15 June at ETSInf, Universitat Polit=C3=A8cnica de Val=C3=A8ncia, Spain. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference. Submission Guidelines Submission is open to everyone, also to those who did not participate in the TYPES 2023 conference. We welcome high-quality descriptions of original work, as well as position papers, overview papers, and system descriptions. Submissions should be written in English, and be original, i.e. neither previously published, nor simultaneously submitted to a journal or a conference.=20 - Papers have to be formatted with the current LIPIcs style and adhere to the style requirements of LIPIcs. - The upper limit for the length of submissions is 20 pages for the main text (including appendices, but excluding title-page and bibliography). - Papers have to be submitted as PDF via the EasyChair interface, accessible at https://easychair.org/conferences/?conf=3Dposttypes23 - Authors have the option to attach to their submission a zip or tgz file containing code (formalised proofs or programs), but reviewers are not obliged to take the attachments into account and they will not be published. Deadlines - Abstract Submission : 31 October 2023 (AoE)=20 - Paper submission: 30 November 2023 (AoE)=20 - Author notification: 31 March 2023 List of Topics The scope of the post-proceedings is the same as the scope of the conference: the theory and practice of type theory. In particular, we welcome submissions on the following topics: - Foundations of type theory; - Applications of type theory (e.g. linguistics or concurrency); - Constructive mathematics; - 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; - Formalising mathematics using type theory; - Homotopy type theory and univalent mathematics. Editors Eduardo Hermo Reyes, Formal Vindications, Spain Benno van den Berg, Universiteit van Amsterdam, The Netherlands Delia Kesner, Universit=C3=A9 Paris Cit=C3=A9, France=20 Contact In case of questions, contact EMAIL posttypes23@easychair.org --=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/a7ca3558-accf-4a5d-9ed2-53d7c2003f08n%40googlegroups.com= . ------=_Part_4404_1205857213.1696506013158 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[APOLOGIES FOR MULTIPLE POSTINGS]

TYPES is a maj= or forum for the presentation of research on all aspects
of type theor= y and its applications. TYPES 2023 was held from 12 to 15
June at ETSI= nf, Universitat Polit=C3=A8cnica de Val=C3=A8ncia, Spain. The
post-pro= ceedings volume will be published in LIPIcs, Leibniz
International Pro= ceedings in Informatics, an open-access series of
conference.
Submission Guidelines

Submission is open to everyone, also to= those who did not participate
in the TYPES 2023 conference. We welcom= e high-quality descriptions of
original work, as well as position pape= rs, overview papers, and system
descriptions. Submissions should be wr= itten in English, and be original,
i.e. neither previously published, = nor simultaneously submitted to a
journal or a conference.

- Papers have to be formatted with the current LIPIcs style and adhere
=C2=A0 to the style requirements of LIPIcs.

- The upper limit = for the length of submissions is 20 pages for the
=C2=A0 main text (in= cluding appendices, but excluding title-page and
=C2=A0 bibliography).=

- Papers have to be submitted as PDF via the EasyChair interfac= e,
=C2=A0 accessible at https://easychair.org/conferences/?conf=3Dpost= types23

- Authors have the option to attach to their submission = a zip or tgz
=C2=A0 file containing code (formalised proofs or program= s), but reviewers
=C2=A0 are not obliged to take the attachments into = account and they will
=C2=A0 not be published.

Deadlines
- Abstract Submission : 31 October 2023 (AoE)
- Paper submis= sion: 30 November 2023 (AoE)
- Author notification: 31 March 2023

List of Topics

The scope of the post-proceedings is the = same as the scope of the
conference: the theory and practice of type t= heory. In particular, we
welcome submissions on the following topics:<= br />
- Foundations of type theory;
- Applications of type theory= (e.g. linguistics or concurrency);
- Constructive mathematics;
-= Dependently typed programming;
- Industrial uses of type theory techn= ology;
- Meta-theoretic studies of type systems;
- Proof assistan= ts and proof technology;
- Automation in computer-assisted reasoning;<= br />- Links between type theory and functional programming;
- Formali= sing mathematics using type theory;
- Homotopy type theory and univale= nt mathematics.

Editors

Eduardo Hermo Reyes, Formal V= indications, Spain
Benno van den Berg, Universiteit van Amsterdam, The= Netherlands
Delia Kesner, Universit=C3=A9 Paris Cit=C3=A9, France
Contact

In case of questions, contact EMAIL posttypes23= @easychair.org

--
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.c= om/d/msgid/HomotopyTypeTheory/a7ca3558-accf-4a5d-9ed2-53d7c2003f08n%40googl= egroups.com.
------=_Part_4404_1205857213.1696506013158-- ------=_Part_4403_1235932645.1696506013158--