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.6 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,HTML_MESSAGE,LONGWORDS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=no autolearn_force=no version=3.4.4 Received: from mail-pj1-x103d.google.com (mail-pj1-x103d.google.com [IPv6:2607:f8b0:4864:20::103d]) by inbox.vuxu.org (Postfix) with ESMTP id 503A022794 for ; Sun, 12 May 2024 15:13:14 +0200 (CEST) Received: by mail-pj1-x103d.google.com with SMTP id 98e67ed59e1d1-2b3756e6333sf3664141a91.0 for ; Sun, 12 May 2024 06:13:14 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1715519593; cv=pass; d=google.com; s=arc-20160816; b=kbUAAiH4hhqk5oC5Upe6SXH+U2CI/UxZT6QPbAhQ/qTLidQDqqTiHMdvhNCCuDwZH+ 1u/U5RUowdDF4VgQI+1gJ7yygtQemVsbdoRkKyYANkobZu727ya1CGLDAD3sfzuIavCo onh6sak056ReKJXsB+LwfM1dZOWiMrCXPJTsmVEFov4y169oh8dPDC3DoodKVQYCinpc q0u5CqyNfsji8zKNYTMNEpqupzE1MYr6IC+F4ueeAIH6OctBrP3cGdiRJJxiVCjKZBKZ 7on/wmtyiISdCY3i0/6W65PhdPEaC7RwPPQ2m1/kBCp5Q5cCkeKpMX7ooSZyIJu8j0y7 EbnQ== 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:reply-to:cc:to:subject:message-id:date:from :mime-version:dkim-filter:dmarc-filter:dkim-signature; bh=Y3LU4pkMfJCkDST4H+veh+p33L3bxOVdAYRJlfkJQ5A=; fh=1DDwXO+rtyhhXH1EB05RgGIcmyjUBaDkWlq4m/DgUEo=; b=YDQiqnyfSjlYzYgWTlLmvAVlmrUsBS1EXYojzHyvdtvlL52OQbqfWUqVobgzMy2Wz8 joMBnOPZNH+eNgvacguX7xKUj+AzfWWr9Q/nnPu0Utrd/Qhl2ODjT+npRiAwOOmtuaZV UzpVlSDoO0Iq/4XAQXRP0buwa05rGIj6RWU+3tjjzbpOmSuUH/fOInZcokGw3CUHu+hm ZdWMth7Kru62+aVKGkhMTChhk9vYhVbXJ4wyZ8GgYIkHwnRz/eUGx7tieMt3YiBYcu25 Cqf7KuBLo5dOWMyEOJNUeQTZUkWQ2gWHkmTWjEJYsa8T4iiIMktgZtyWMYIwFwPN2+2P rQIA==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=oXgOJ9jh; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) smtp.mailfrom=kbh@umn.edu; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=umn.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1715519593; x=1716124393; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:reply-to:x-original-authentication-results :x-original-sender:cc:to:subject:message-id:date:from:mime-version :dkim-filter:dmarc-filter:from:to:cc:subject:date:message-id :reply-to; bh=Y3LU4pkMfJCkDST4H+veh+p33L3bxOVdAYRJlfkJQ5A=; b=Io01H3UXXcsus1/bGs/suqrEg639UX777RKktzTCAvKGhAfAHsbCAt8Hdk/Eqhq0a5 6201o8h/1FEY+lQmj6cQmP7acpewlkhi5ry6WXCDNvqEYp/NpMGudr7NW9kkDojb2p9O mAvgHYGo3nGtxTL+att9albuxVajgnQzWq45O8IcJz8b8ALEuBofUQczkSHIRdf7xJOk iv3EqaBEFMSMwPtH0Ghf1gOvFUZO9DqVXbL/weFwN2r0MjAYYxqAXeeeRdBmF2isrJrv WVS90mj4gMJnr/qfM09IJvnjOWjOPDin9EErffBayXWqHcNeucx9jTMxK7pNJNiP90Lf zIhQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715519593; x=1716124393; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence:reply-to :x-original-authentication-results:x-original-sender:cc:to:subject :message-id:date:from:mime-version:dkim-filter:dmarc-filter :x-beenthere:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=Y3LU4pkMfJCkDST4H+veh+p33L3bxOVdAYRJlfkJQ5A=; b=FFBHxQ34f7qb1BNazkq1w8l2pr/1+w2A042ySAIQ+hEa50xILKMMy4e4Y+fFUR7bO4 Jtn30i5haevBUZquTY+2thu058/6hL0vcOP8w+JN7CraP+IKVzzm7xmC61L47rjYWBbi GqTA+mja/HtlF5/nkbT2ftExy+RK0V8cqTnUgphptMtWDGogL8QTCQtlV1V0XYOZGruG jdNCFS9i9S45FLyXonMPhtxr3n/e+Zu5FCdHdMQIQU25Y5RcHds5H1DOzZiSOdv/KZhi qHSmIQRMjUVh56UUpMMdtRQ9qG35V0bCpRKTaJMbqscP++U8IC6BTb/VvPtDKLIUcD4m SMqw== X-Forwarded-Encrypted: i=2; AJvYcCX7gLhC57KuDWnRHNCeq/LvgYJL4iSDRwRQAUjsH8JQXD8GxjYLmqNcghnedQIEfPRyle9Ky50CGsKriGXsImtCXQ== X-Gm-Message-State: AOJu0YwBNNU1eeyqdWhatpdfCr7S/j+YsC8eBYJmMO1bqfc9xAfjiZQC m6sMzsP7IkYEDFcTSMmWHfk9/EkTVtJgvvmTTBanl4PgQkvDJYUZ X-Google-Smtp-Source: AGHT+IF8h9D/G+EZJJV0XwaMnZUpA3JnHDIqyyRyxUiGsSh3Aubs1s1aUms74F0o4GCMvFD88ceU7Q== X-Received: by 2002:a17:90b:28c:b0:2b4:b366:ad8f with SMTP id 98e67ed59e1d1-2b6cc44f84bmr6594054a91.16.1715519592831; Sun, 12 May 2024 06:13:12 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:90a:d357:b0:2a2:9d0f:c728 with SMTP id 98e67ed59e1d1-2b6626a41dbls176782a91.2.-pod-prod-06-us; Sun, 12 May 2024 06:13:10 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCV6PcBLEkrOxPngj9OntCYLKjKxFUimoIcfI2eC5u/eUpUrX5IxHWNngbYfsNKlAE3di/q8PopVrOem6rVqzeBPacIjA5KKuIloimuC4roa0ihw2A== X-Received: by 2002:a17:90a:348d:b0:2b4:32ae:4712 with SMTP id 98e67ed59e1d1-2b6cc141d7emr6850682a91.9.1715519590056; Sun, 12 May 2024 06:13:10 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1715519590; cv=none; d=google.com; s=arc-20160816; b=sIF/biUiN6UoV6siPc8MVXE1JY7JXhfkcxjj8blCZ0oaCrvqRIZFRF8WzDgl7jojn0 gGA1Mc0b8lCFrnx7q6Gko0WEf3IViFlV++3I8TYDPREh0GcTkK6HpTa5de4VYu9mfU53 FYxR8GFvB7qWqaLq90B4l+e1tf6L59fjQsYczR8rBc1t3FZdG64dL8iP/oJx79DtT6xy KmYjEU++kh1bC7yW7PCmDJJwXG4+jSh7vgFxMHVy50s/ZpuhsN2Nr+T0pEVjYXA265yj qUbRZOphnr1CahWvXFBs0eWqqGArVe19qcsJO67Au0dGig0oWIB5arGNBFuSIHxrN7Qy k7iQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:subject:message-id:date:from:mime-version:dkim-signature :dkim-filter:dmarc-filter; bh=O310s54dsNYM4pqck6Heth4HlsVt4tncmHV/9w69rJ4=; fh=57RobWG/xW1EgDwDLoILmmxHfpO7tYf5t2gbXqxz0FQ=; b=rMD2ubzIOJ6TtEnENxFQTeBe4hD7zfcxpD4bxc9fHN5RxyyFagrkPjFI3lVCF8ydG8 iqR+EKn13Iy0ghk7Z+G71492YpTFNLj+gexdoptTz21Vf8QB1vLjjUwLPF7Jka9MR53e pZLB6WNuKFYB7VJeTDW6/bBTz3waNg8BQsUAvnL0/e4n6ZCwlEtaBjmL04338pW0simG qeB6NmrQViNZeRNWfYSFXceaBPikosUwFU2CG5C6yH95KkNNmGND1bi9ojwddhwxtixw UOtQbkhv5RAx5FKihe13oDjLN5lYwv/5eeU8H+K+yMOZoJxxaByF+3MlhTWxts/sbF8y bI/Q==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=oXgOJ9jh; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) smtp.mailfrom=kbh@umn.edu; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=umn.edu Received: from mta-p5.oit.umn.edu (mta-p5.oit.umn.edu. [134.84.196.205]) by gmr-mx.google.com with ESMTPS id 98e67ed59e1d1-2b670e32e4csi326204a91.1.2024.05.12.06.13.09 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 12 May 2024 06:13:09 -0700 (PDT) Received-SPF: pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) client-ip=134.84.196.205; Received: from localhost (unknown [127.0.0.1]) by mta-p5.oit.umn.edu (Postfix) with ESMTP id 4VcjjK1kz3z9vc5H for ; Sun, 12 May 2024 13:13:09 +0000 (UTC) X-Virus-Scanned: amavisd-new at umn.edu Received: from mta-p5.oit.umn.edu ([127.0.0.1]) by localhost (mta-p5.oit.umn.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id nw_dOPYTTqqZ for ; Sun, 12 May 2024 08:13:09 -0500 (CDT) Received: from mail-ej1-f69.google.com (mail-ej1-f69.google.com [209.85.218.69]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mta-p5.oit.umn.edu (Postfix) with ESMTPS id 4VcjjJ5Pb2z9vc5B for ; Sun, 12 May 2024 08:13:08 -0500 (CDT) DMARC-Filter: OpenDMARC Filter v1.3.2 mta-p5.oit.umn.edu 4VcjjJ5Pb2z9vc5B DKIM-Filter: OpenDKIM Filter v2.11.0 mta-p5.oit.umn.edu 4VcjjJ5Pb2z9vc5B Received: by mail-ej1-f69.google.com with SMTP id a640c23a62f3a-a51fdbd06c8so253709366b.3 for ; Sun, 12 May 2024 06:13:08 -0700 (PDT) X-Forwarded-Encrypted: i=1; AJvYcCX1hs3DkhWV6/SQIWPNIwIWZqHEypI9I+H88fa9FQBcAhoF/MaNQpHNkhe/P21K1HSoj53YK27SA8vGGDiimksSbPAn4WbFL7EkbT9eRIUy5KkIHA== X-Received: by 2002:a17:906:70c:b0:a59:c28a:7eb4 with SMTP id a640c23a62f3a-a5a2d5d3d2dmr444884166b.44.1715519587577; Sun, 12 May 2024 06:13:07 -0700 (PDT) X-Received: by 2002:a17:906:70c:b0:a59:c28a:7eb4 with SMTP id a640c23a62f3a-a5a2d5d3d2dmr444882766b.44.1715519587176; Sun, 12 May 2024 06:13:07 -0700 (PDT) MIME-Version: 1.0 From: "'Favonia' via Homotopy Type Theory" Date: Sun, 12 May 2024 08:12:31 -0500 Message-ID: Subject: [HoTT] MSFP 2024 deadline extension: Tuesday 28th May To: ProofTheory@lists.bath.ac.uk, univalent-mathematics@googlegroups.com, Homotopy Type Theory , types-announce@lists.seas.upenn.edu, haskell@haskell.org, caml-list@inria.fr, agda@lists.chalmers.se, coq-club@inria.fr, categories@mq.edu.au Cc: Jeremy Gibbons Content-Type: multipart/alternative; boundary="000000000000996d9906184187ab" X-Original-Sender: kbh@umn.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=oXgOJ9jh; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) smtp.mailfrom=kbh@umn.edu; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=umn.edu X-Original-From: Favonia Reply-To: Favonia 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: , --000000000000996d9906184187ab Content-Type: text/plain; charset="UTF-8" We extended the submission deadline to Tuesday 28th May in case you missed it. :-) Jeremy and Favonia * Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn, Estonia A satellite workshop of FSCD 2024 https://msfp-workshop.github.io/msfp2024/ ** Extended Deadline: Tuesday 28th May ** The tenth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. MSFP 2024 will be held on Monday 8th July 2024 in Tallinn, Estonia in affiliation with FSCD (https://compose.ioc.ee/icalp2024/). Previous instances have been held in Munich (with ETAPS 2022), virtually (2020), in Oxford (with FLOC 2018), Eindhoven (with ETAPS 2016), Grenoble (ETAPS 2014), Tallinn (with ETAPS 2012), Baltimore (with ICFP 2010), Reykjavik (with ICALP 2008), and Kuressaare (with MPC and AMAST 2006). Important Dates: ================ Paper deadline: Tuesday 28th May (AoE) Notification: Friday 21st June (16:00 UTC) Workshop: Monday 8th July Final version: (after workshop, TBD) Invited Speakers: ================= TBA Programme Committee: ==================== Kazuyuki Asada - Tohoku University, JP Robert Atkey - University of Strathclyde, UK Ana Bove - Chalmers University of Technology, SE Liang-Ting Chen - Academia Sinica, TW Peng Fu - University of South Carolina, US Jeremy Gibbons - University of Oxford, UK (co-chair) Kuen-Bang Hou (Favonia) - University of Minnesota, US (co-chair) Robin Kaarsgaard - University of Southern Denmark, DK Paul Blain Levy - University of Birmingham, UK Dan Marsden - University of Nottingham, UK Dylan McDermott - Reykjavik University, IS (more to follow) Submission: =========== Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Favonia (kbh@umn.edu) and Jeremy Gibbons (jeremy.gibbons@cs.ox.ac.uk) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of at most 15 pages that will appear in the proceedings (published with EPTCS) and extended abstracts of at most two pages, which we will post on the website but do not constitute formal publications and will not appear in the proceedings. A short abstract should be submitted by four days in advance of the paper deadline (for both full paper and extended abstract submissions). For full details, see the webpage. We are using EasyChair to manage submissions: https://easychair.org/conferences/?conf=msfp2024 -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAH_%2BrvcEUE62xP86OcXZkYdiK7GidwpsYqHby78wk3_oDmRsdA%40mail.gmail.com. --000000000000996d9906184187ab Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
We extended the submission deadline to Tuesday 28th May in= case you missed it. :-)

Jeremy and Favonia

=C2=A0 =C2=A0*
Tenth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING<= br>Monday 8th July 2024, Tallinn, Estonia
A satellite workshop of FSCD 2= 024

https://msfp-workshop.github.io/msfp2024/

=C2=A0** Exten= ded Deadline: Tuesday 28th May **

The tenth workshop on Mathematical= ly Structured Functional Programming is devoted to the derivation of functi= onality from structure. It is a celebration of the direct impact of Theoret= ical Computer Science on programs as we write them today. Modern programmin= g languages, and in particular functional languages, support the direct exp= ression of mathematical structures, equipping programmers with tools of rem= arkable power and abstraction. Where would Haskell be without monads? Funct= ional reactive programming without arrows? Call-by-push-value without adjun= ctions? The list goes on. This workshop is a forum for researchers who seek= to reflect mathematical phenomena in data and control.

MSFP 2024 wi= ll be held on Monday 8th July 2024 in Tallinn, Estonia in affiliation with = FSCD (https= ://compose.ioc.ee/icalp2024/). Previous instances have been held in Mun= ich (with ETAPS 2022), virtually (2020), in Oxford (with FLOC 2018), Eindho= ven (with ETAPS 2016), Grenoble (ETAPS 2014), Tallinn (with ETAPS 2012), Ba= ltimore (with ICFP 2010), Reykjavik (with ICALP 2008), and Kuressaare (with= MPC and AMAST 2006).

Important Dates:
=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D

=C2=A0 =C2=A0Paper deadline: =C2=A0 =C2=A0 = Tuesday 28th May (AoE)
=C2=A0 =C2=A0Notification: =C2=A0 =C2=A0 =C2=A0 F= riday 21st June (16:00 UTC)
=C2=A0 =C2=A0Workshop: =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 Monday 8th July
=C2=A0 =C2=A0Final version: =C2=A0 =C2=A0 = =C2=A0(after workshop, TBD)

Invited Speakers:
=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=C2=A0 =C2=A0TBA

Programme = Committee:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<= br>
=C2=A0 =C2=A0Kazuyuki Asada =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0- Tohoku University, JP
=C2=A0 =C2=A0Robert Atkey =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- University of Strathclyde, UK
=C2=A0 = =C2=A0Ana Bove =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0- Chalmers University of Technology, SE
=C2=A0 =C2=A0Liang-Ting Chen = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Academia Sinica, TW
=C2=A0 =C2=A0Pe= ng Fu =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Univ= ersity of South Carolina, US
=C2=A0 =C2=A0Jeremy Gibbons =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0- University of Oxford, UK (co-chair)
=C2=A0 = =C2=A0Kuen-Bang Hou (Favonia) =C2=A0 - University of Minnesota, US (co-chai= r)
=C2=A0 =C2=A0Robin Kaarsgaard =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Uni= versity of Southern Denmark, DK
=C2=A0 =C2=A0Paul Blain Levy =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 - University of Birmingham, UK
=C2=A0 =C2=A0Dan= Marsden =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - University of N= ottingham, UK
=C2=A0 =C2=A0Dylan McDermott =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 - Reykjavik University, IS

(more to follow)

Submission= :
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Submissions are welcomed on, = but by no means restricted to, topics
such as:

=C2=A0 =C2=A0struc= tured effectful computation
=C2=A0 =C2=A0structured recursion
=C2=A0 = =C2=A0structured corecursion
=C2=A0 =C2=A0structured tree and graph oper= ations
=C2=A0 =C2=A0structured syntax with variable binding
=C2=A0 = =C2=A0structured datatype-genericity
=C2=A0 =C2=A0structured search
= =C2=A0 =C2=A0structured representations of functions
=C2=A0 =C2=A0struct= ured quantum computation
=C2=A0 =C2=A0structure directed optimizations=C2=A0 =C2=A0structured types
=C2=A0 =C2=A0structure derived from prog= rams and data

Please contact the programme chairs Favonia (kbh@umn.edu) and Jeremy Gibbo= ns (jeremy.= gibbons@cs.ox.ac.uk) if you have any questions about the scope of the w= orkshop.

We accept two categories of submission: full papers of at m= ost 15 pages that will appear in the proceedings (published with EPTCS) and= extended abstracts of at most two pages, which we will post on the website= but do not constitute formal publications and will not appear in the proce= edings. A short abstract should be submitted by four days in advance of the= paper deadline (for both full paper and extended abstract submissions). Fo= r full details, see the webpage.

We are using EasyChair to manage su= bmissions:

=C2=A0 =C2=A0https://easychair.org/conferences/?con= f=3Dmsfp2024

--
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://g= roups.google.com/d/msgid/HomotopyTypeTheory/CAH_%2BrvcEUE62xP86OcXZkYdiK7Gi= dwpsYqHby78wk3_oDmRsdA%40mail.gmail.com.
--000000000000996d9906184187ab--