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 6754 invoked from network); 31 Oct 2023 15:36:35 -0000 Received: from mail-ot1-x33e.google.com (2607:f8b0:4864:20::33e) by inbox.vuxu.org with ESMTPUTF8; 31 Oct 2023 15:36:35 -0000 Received: by mail-ot1-x33e.google.com with SMTP id 46e09a7af769-6c4fa7d0da0sf8215801a34.3 for ; Tue, 31 Oct 2023 08:36:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1698766593; x=1699371393; 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=pB35vljhNubTDQSbmmQdN4it0fPGMuQe8A5u8QAFpr8=; b=XMZZa3hXAPuXF59evkFNxH4zxuudfit9tcAsvmyn+/uNI35KuWgle3p6B6jwG3oU09 h5yZrA6j9vxZhPmaAWU4BhKIyMxUmWVb2M3HyZjYmeAsge6k9ZhtkDVhtaLUTtWR/4Nn tilTHP1s8ncaeyIB0SHRUSNmW+F7Mn3izWMFhxFBdxSeF3BEeK9qXAbxe7t7Ej2JJc6L T8k/+8y1rliYXrVZFUgB3x+2gT0gzWcjw5eDzJEbjwz7uWqtRIDevUvqZC8cPoyXiC99 OHJPMqAZp3Inl5VhH7YGK/a3n/KUvR/1zNBU1c9JXE97W1f0owdHF99Fpd7SVNBNnkk8 fxuA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1698766593; x=1699371393; 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=pB35vljhNubTDQSbmmQdN4it0fPGMuQe8A5u8QAFpr8=; b=lDPB5EzXe1Tb7ki2mRo8q0VDTDnRCFnnCRYes6y+OzwB1hPxtNXI3ZQIZ1L76uvjqP XohSETzNv7t/Ii+/VoUWD+y4BHxnaiONUP856htFGi/OpT8bLRqmv5co5c7rSY5oUzmA 9hvZU8IxFTN/giguL9MfN3OrZ9xDk32iMg7RG/0WMDCuT4Oq8LepVeGyvij6l/GM8QW7 HYBUgi3IhB9U7AIi0zDvGdFsSGCAO9amSiGPE1mirSFeWTliXIbYubFTf2CqqwiK6tO6 +eHqyOjbZ8CyKE2yNlpbztZEpS2kN5v2WnTmEgwmzkOqypRbfnAFeGauIy8b4TR+wCLS KrcA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698766593; x=1699371393; 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=pB35vljhNubTDQSbmmQdN4it0fPGMuQe8A5u8QAFpr8=; b=AeBPX+zWzrffDuVZ2COXwxHsPrQ1b59gs0RN5hKkdozRU6XdsRSG1PxtcjnAlz85dU 0bcAG8HdHYrLw9/47pb5GNkEBHfV0A0RAjIqzTdCgwMwZPwn/guk0Vibgw/a2Xj/Hthq n7CYaiOcLKMxAT7n431QYoafKtvYhN/k9/6NyywIQ1PtRGdBkR4luxRHvQbsPAziwbIl ZEfO1Vfq5FF2Jfhy6p3jOtT5ZF8fnZwa6GdZx0UepMMyujUSAG0FmJ6WsB4R9/qrvqyl ZneeGeKSHMevbG1x4qV851OaRfvt7IzG+EQBfu5Qh9rfe7+hEYbk6ZgA8rPSj3s+mF0g vg+w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YxGY2510XMafJohW9S3uhpNsR3z21iaBfin7FKfbCcslddaqkfv 6lTcDgtxV8JGOMDe02GDncY= X-Google-Smtp-Source: AGHT+IF+yL2Af32zxdwqrn7DEpcQ2vutC2/o8CTcpKKt/Ri5Cf03Pfvu7XBch5ShZky1LJym/RkG1A== X-Received: by 2002:a05:6870:6c05:b0:1ef:c082:ecbe with SMTP id na5-20020a0568706c0500b001efc082ecbemr10808550oab.55.1698766593260; Tue, 31 Oct 2023 08:36:33 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6870:58b:b0:1e1:371:c3f8 with SMTP id m11-20020a056870058b00b001e10371c3f8ls150477oap.2.-pod-prod-02-us; Tue, 31 Oct 2023 08:36:31 -0700 (PDT) X-Received: by 2002:a05:6870:a11a:b0:1ea:85b:62a3 with SMTP id m26-20020a056870a11a00b001ea085b62a3mr6228163oae.1.1698766591687; Tue, 31 Oct 2023 08:36:31 -0700 (PDT) Date: Tue, 31 Oct 2023 08:36:30 -0700 (PDT) From: Benno van den Berg To: Homotopy Type Theory Message-Id: <287bfdd2-8d30-4ae9-b574-44a9e45702aen@googlegroups.com> Subject: [HoTT] Call for Papers and Deadline Extension for: TYPES 2023 Post-proceedings MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_4845_579874857.1698766590836" 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_4845_579874857.1698766590836 Content-Type: multipart/alternative; boundary="----=_Part_4846_502102068.1698766590836" ------=_Part_4846_502102068.1698766590836 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [WE HAVE EXTENDED THE DEADLINE FOR ABSTRACT AND PAPER SUBMISSION BY THREE= =20 WEEKS] 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 : 21 November 2023 (AoE)=20 - Paper submission: 21 December 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 postt...@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/287bfdd2-8d30-4ae9-b574-44a9e45702aen%40googlegroups.com= . ------=_Part_4846_502102068.1698766590836 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[WE HAVE EXTENDED THE DEADLINE FOR ABSTRACT AND PAPER SUBMISSION BY TH= REE WEEKS]

TYPES is a major forum for the presentatio= n of research on all aspects
of type theory and its applications. TYPE= S 2023 was held from 12 to 15
June at ETSInf, Universitat Polit=C3=A8c= nica de Val=C3=A8ncia, Spain. The
post-proceedings volume will be publ= ished 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 participa= te
in the TYPES 2023 conference. We welcome high-quality descriptions = of
original work, as well as position papers, overview papers, and sys= tem
descriptions. Submissions should be written in English, and be ori= ginal,
i.e. neither previously published, nor simultaneously submitted= to a
journal or a conference.=C2=A0

- Papers have to be fo= rmatted with the current LIPIcs style and adhere
=C2=A0 to the style r= equirements of LIPIcs.

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

- Papers ha= ve to be submitted as PDF via the EasyChair interface,
=C2=A0 accessib= le at=C2=A0ht= tps://easychair.org/conferences/?conf=3Dposttypes23

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

Deadlines

- Abstract Submis= sion : 21 November 2023 (AoE)=C2=A0
- Paper submission: 21 December 20= 23 (AoE)=C2=A0
- Author notification: 31 March 2023

List of= Topics

The scope of the post-proceedings is the same as the sco= pe of the
conference: the theory and practice of type theory. In parti= cular, we
welcome submissions on the following topics:

- Fo= undations of type theory;
- Applications of type theory (e.g. linguist= ics or concurrency);
- Constructive mathematics;
- Dependently ty= ped programming;
- Industrial uses of type theory technology;
- M= eta-theoretic studies of type systems;
- Proof assistants and proof te= chnology;
- Automation in computer-assisted reasoning;
- Links be= tween type theory and functional programming;
- Formalising mathematic= s using type theory;
- Homotopy type theory and univalent mathematics.=

Editors

Eduardo Hermo Reyes, Formal Vindications, Sp= ain
Benno van den Berg, Universiteit van Amsterdam, The NetherlandsDelia Kesner, Universit=C3=A9 Paris Cit=C3=A9, France=C2=A0

C= ontact

In case of questions, contact EMAIL=C2=A0postt...@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/287bfdd2-8d30-4ae9-b574-44a9e45702aen%40googl= egroups.com.
------=_Part_4846_502102068.1698766590836-- ------=_Part_4845_579874857.1698766590836--