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,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from mail-oo1-xc3d.google.com (mail-oo1-xc3d.google.com [IPv6:2607:f8b0:4864:20::c3d]) by inbox.vuxu.org (Postfix) with ESMTP id C1D3326741 for ; Thu, 7 Mar 2024 08:00:23 +0100 (CET) Received: by mail-oo1-xc3d.google.com with SMTP id 006d021491bc7-5a1719ca8ebsf595739eaf.2 for ; Wed, 06 Mar 2024 23:00:23 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1709794822; cv=pass; d=google.com; s=arc-20160816; b=ReVib95TYRmQgsS/Xutz/CNs2l8S1hfKALKKUmzW9uEju84d+YmB7hKywotFmWHb+q eQvCjq8Y8Km4N0uvYcNnVbOwxICd6tF12qEElvqSzcOroVA9OhB+nyGaIM5He+4aPwdJ blHGI1KJGrd7gnu0Jh2NdGD7kjenNUMB9szVLTU6Aik5PVJrOnBBTLTlNV1C4fkqsEHW G2Je4B/gL+tf5AKO47J7U0QZWTE8kg0VqN7K6cRUiTBUFzbSezKjiQwxY1PeBZpokEpn YmGHR/G7yrfIxtGzKt8Vl+VJI/tmoj7tCJFJvYhHsSsaVkp0V1G45cA4aYySx5xzbct8 osPA== 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:to:subject:message-id:date:from :mime-version:dkim-filter:dmarc-filter:dkim-signature; bh=jtM5o5w936iA7yD4MG2KqdEBzaonQJQlQCLHMnYloaY=; fh=F5d+no0A8nTA4fVUTUJTODFmxjpBIvxXj3BYINYlrGk=; b=P0JbHgdhrLaE7hvSuc8psozL+tXgGzhE0gKJDDEOtQu33gQfuCJNOQm+M99ifeHTIj KZpcDok6AZMIM0R38YCNZodjj+d+EuWQIF6pJ1004Fzdgc49Lbv9zJGjC5716LSLcjmK 4xmJHwOUyt5g/Sb1XjfAHlZ948aMIHLBL7dlbrI742LTFIYwMLnk2/ZR2FRMVtt+GZZ6 5DtTjVEzaB0q6XAOkoxZA9j3ct6FiRCrzGDvSrAna8c8G0eYHZwsc6Rg2fwbaWti6eSD bEGsLHtkZVdyt2a8x10dHp+MWHGZTvL9ZWllKkyoxu7sI3bBesY8Rpq5n5YAal6dN5b7 SXLw==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=SK6r5bhF; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.206 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=1709794822; x=1710399622; 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:to:subject:message-id:date:from:mime-version :dkim-filter:dmarc-filter:from:to:cc:subject:date:message-id :reply-to; bh=jtM5o5w936iA7yD4MG2KqdEBzaonQJQlQCLHMnYloaY=; b=PTEMcivouFU0RzO1c+l2SEPJw1MEBuulinMMVwwccYW0ZHtdkoa+q3KTlwPXtF4WqA U0266J2LTM//XpLYsaYXhNWBEy8KQpc7ukqPEqlVodoz46CD1KSqfxaASjuTKEmk1Xh0 3r7iJU/xHfEc8gIjjyi/e1s5/l0l4Ni8RPplpLAijGlBybRbR53fDQJl7tkh0FybcWJa vpmZzl2+PWWXVdfQj4VJQYCf4okhvp7WGeLqCo6/TIh6iG9rLhuJMAB42ZBgNI/RK28I LodjJ/2yhmyR0Ue52K7taq0Wk/D3XaCtbCImeaNB3/Z1xW/DOLgcWNE0jliAT4hYmG9v vXRw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1709794822; x=1710399622; 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: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=jtM5o5w936iA7yD4MG2KqdEBzaonQJQlQCLHMnYloaY=; b=kLO/qaqH32Pgde1YWPAuBge2je0ovXoT8Vv0uOHmPdyLpuDEzvgTO6OgjrjJYVRdui G+BN38/+Opdr4Gmh6JWg3ZQHf/PgIcTueitceNCkbLL9igthOzWMbREuReyNa1RAY8lB tGQBjdcZ5Wjbtr0Z/jBLJCOKYa/fpxBoVj4x5ppUNipDvNJezBI4MUISngs1J79l/HFK R7Gv+kZmLmWKZGCLhBokF6D5ExK1iHMSAVpmkAEZnPCwSrPeuX5w9w2Z68ZJh76gYv40 J/wykldyPZlDRYH65DXbS7+W9ym8HRm5Lc9P1HlsaUizBPTaTYKRpMfczzjIyvBBLd1B tS+A== X-Forwarded-Encrypted: i=2; AJvYcCWd3DvzFSJ7C238OltHgiR27EbOo73TJiapo8BOYPi8WrM1DwqiNYjSmGP73QgMbMXvw1sc55NYP8hvjtTkAXaAFA== X-Gm-Message-State: AOJu0Ywi0LunbyS+YcYuhGNKXt07Ow9pxhwAVQH3mctW0vxUmf+cA4p8 JCUeJC3aGqKhzxQonGoWmEmUKXEuFgTb+xdS6G/o1PA1SdYjVmmU X-Google-Smtp-Source: AGHT+IFm3Q1VDf0IZ5aBHMht4Jhr6Cd+YY1Sl7z44yARjwEe5QqxdqUNbptlA3gsqbcMtm6Dywju5w== X-Received: by 2002:a05:6820:16a8:b0:5a1:1cf8:cdd2 with SMTP id bc40-20020a05682016a800b005a11cf8cdd2mr9342646oob.6.1709794821786; Wed, 06 Mar 2024 23:00:21 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a4a:5843:0:b0:598:c95b:c3bc with SMTP id f64-20020a4a5843000000b00598c95bc3bcls548865oob.0.-pod-prod-05-us; Wed, 06 Mar 2024 23:00:19 -0800 (PST) X-Forwarded-Encrypted: i=2; AJvYcCWAd2DjAYku9gmh/QF26o1ShLPtFgvuXvhN3TI+dKg6kHbxupfEaWI6MEF3YIPSHfHPpViP0kj8ByljPrU+PZt80Bjcsl1BbVTYypmfUTSn84h5rQ== X-Received: by 2002:a05:6830:60c:b0:6e4:e781:7839 with SMTP id w12-20020a056830060c00b006e4e7817839mr8159358oti.26.1709794819606; Wed, 06 Mar 2024 23:00:19 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1709794819; cv=none; d=google.com; s=arc-20160816; b=IRpAUKRS0RmmfzlwYAbhoKvzFr8rzSpxTy4lqQxeCNqLRnBtjYuQ6dEmWe1Krsd+Ob /uTtDEFCG7NWvVzo1NQ+AmmtGnSdq2j+q0N2XjSofM8Kw2vxURk1dtdk+TdwjYG04O+u 2CeggGPsNhTmdLMDinuegisJKDluLKdpL/7QdX9c9dmr4bnlOjJRPIug53ZQOyuk+wOL boEAK9mDs/HPOYKDD5HdqRNvzKhk97T/TWYh4usgOT0gA4XExP0NtZiZ/y4IVBSLsq0R VabIR2jjA0N0/72EWyPAOxQvZRhrXq8plOs3JvAaP3ePL/CVRhg95lhda/h91hOABNhY 1rog== 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 :dkim-filter:dmarc-filter; bh=ZHAz1XaMcWBSCoLrxQvAa21SJzr0M86hIBX5cduNcBE=; fh=wJL23tamNBSINRZvkBx/B84ZG+AKrCHAxXKdffmWhVs=; b=gYz7KGVOPQjV1neiOVrpOPUpz1r4LAx42sxfx6cRztDGygpCoFpqCYOJSkW6GcW5qH a8KwE/rFxdRDPcfKZMxQIsh9Z2Ii3JMvs/8NrdiM0GdDd4eVfyOneyI578wTNcO+ldNV kTFbS0iXtZrNrS73ICr/Bu5ayx2w+Glj+OJHwn/Rd7V2Fa0cRccBe/oT/m4qurv4JjX4 ar16TUGc0x8dCaAz42CPJGYwJ00kHqGPI/qhSJDUsg82396DPyKO7mPJ5kpGA73gId/f Dnd8jQNSWDwRAIz32m2Q9oIn/sBB6cRWoigIXvEN9GqQ7vSoUYTWHwCp7T4vr2n790/J Xl+Q==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=SK6r5bhF; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.206 as permitted sender) smtp.mailfrom=kbh@umn.edu; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=umn.edu Received: from mta-p6.oit.umn.edu (mta-p6.oit.umn.edu. [134.84.196.206]) by gmr-mx.google.com with ESMTPS id z16-20020a0568301db000b006e4b3e2c386si907298oti.2.2024.03.06.23.00.19 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 06 Mar 2024 23:00:19 -0800 (PST) Received-SPF: pass (google.com: domain of kbh@umn.edu designates 134.84.196.206 as permitted sender) client-ip=134.84.196.206; Received: from localhost (unknown [127.0.0.1]) by mta-p6.oit.umn.edu (Postfix) with ESMTP id 4Tr0YZ5Jtmz9vK0s for ; Thu, 7 Mar 2024 07:00:18 +0000 (UTC) X-Virus-Scanned: amavisd-new at umn.edu Received: from mta-p6.oit.umn.edu ([127.0.0.1]) by localhost (mta-p6.oit.umn.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id mu7oRsWN9j5C for ; Thu, 7 Mar 2024 01:00:18 -0600 (CST) 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-p6.oit.umn.edu (Postfix) with ESMTPS id 4Tr0YZ1zD2z9v904 for ; Thu, 7 Mar 2024 01:00:18 -0600 (CST) DMARC-Filter: OpenDMARC Filter v1.3.2 mta-p6.oit.umn.edu 4Tr0YZ1zD2z9v904 DKIM-Filter: OpenDKIM Filter v2.11.0 mta-p6.oit.umn.edu 4Tr0YZ1zD2z9v904 Received: by mail-ej1-f69.google.com with SMTP id a640c23a62f3a-a3fb52f121eso36735266b.0 for ; Wed, 06 Mar 2024 23:00:18 -0800 (PST) X-Forwarded-Encrypted: i=1; AJvYcCVwY+lgSTAkVf6D5DGr6F9LWhGfkBZZounj9KAWTK4u1UsTiNw3YMCGH9qgzOb/ft+vQ/ZDZp8GLjXBpcMwrDxpL6oVPZyCcufmj31QZV5nMIY9GA== X-Received: by 2002:a17:907:20d9:b0:a44:1b98:1829 with SMTP id qq25-20020a17090720d900b00a441b981829mr12533699ejb.57.1709794816937; Wed, 06 Mar 2024 23:00:16 -0800 (PST) X-Received: by 2002:a17:907:20d9:b0:a44:1b98:1829 with SMTP id qq25-20020a17090720d900b00a441b981829mr12533666ejb.57.1709794815960; Wed, 06 Mar 2024 23:00:15 -0800 (PST) MIME-Version: 1.0 From: "'Favonia' via Homotopy Type Theory" Date: Thu, 7 Mar 2024 00:59:39 -0600 Message-ID: Subject: [HoTT] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr) 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 Content-Type: multipart/alternative; boundary="000000000000a5049406130ca0d8" 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=SK6r5bhF; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.206 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: , --000000000000a5049406130ca0d8 Content-Type: text/plain; charset="UTF-8" Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn, Estonia A satellite workshop of FSCD 201:5924 https://msfp-workshop.github.io/msfp2024/ ** Deadline: Friday 26th April (abstract), Tuesday 30th April (paper) ** 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: ================ Abstract deadline: Friday 26th April (AoE) Paper deadline: Tuesday 30th April (AoE) Notification: Tuesday 4th June (16:00 UTC) Final version: Tuesday 25th June (AoE) Workshop: Monday 8th July 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, UK (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_%2BrvdkDqsh5n97Ssy%3D-ZdqGsu61tE%3D9Jy6Qez4QHX8ELz%3DxA%40mail.gmail.com. --000000000000a5049406130ca0d8 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Ten= th Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monda= y 8th July 2024, Tallinn, Estonia
A satellite workshop of FSCD 20= 1:5924

https://msfp-workshop.gith= ub.io/msfp2024/

=C2=A0 ** Deadline: Friday 26th April (abstract)= , Tuesday 30th April (paper) **

The tenth workshop on Mathematically= Structured Functional Programming is devoted to the derivation of function= ality from structure. It is a celebration of the direct impact of Theoretic= al Computer Science on programs as we write them today. Modern programming = languages, and in particular functional languages, support the direct expre= ssion of mathematical structures, equipping programmers with tools of remar= kable power and abstraction. Where would Haskell be without monads? Functio= nal reactive programming without arrows? Call-by-push-value without adjunct= ions? The list goes on. This workshop is a forum for researchers who seek t= o reflect mathematical phenomena in data and control.

MSFP 2024 will= be held on Monday 8th July 2024 in Tallinn, Estonia in affiliation with FS= CD (https:/= /compose.ioc.ee/icalp2024/). Previous instances have been held in Munic= h (with ETAPS 2022), virtually (2020), in Oxford (with FLOC 2018), Eindhove= n (with ETAPS 2016), Grenoble (ETAPS 2014), Tallinn (with ETAPS 2012), Balt= imore (with ICFP 2010), Reykjavik (with ICALP 2008), and Kuressaare (with M= PC and AMAST 2006).

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

=C2=A0 =C2=A0 Abstract deadline: =C2=A0Friday = 26th April (AoE)
=C2=A0 =C2=A0 Paper deadline: =C2=A0 =C2=A0 Tuesday 30t= h April (AoE)
=C2=A0 =C2=A0 Notification: =C2=A0 =C2=A0 =C2=A0 Tuesday 4= th June (16:00 UTC)
=C2=A0 =C2=A0 Final version: =C2=A0 =C2=A0 =C2=A0Tue= sday 25th June (AoE)
=C2=A0 =C2=A0 Workshop: =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 Monday 8th July

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

=C2=A0 =C2=A0 TBA

Programme Co= mmittee:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
=C2=A0 =C2=A0 Kazuyuki Asada =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= - Tohoku University, JP
=C2=A0 =C2=A0 Robert Atkey =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0- University of Strathclyde, UK
=C2=A0 =C2=A0= Ana Bove =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- C= halmers University of Technology, SE
=C2=A0 =C2=A0 Liang-Ting Chen =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Academia Sinica, TW
=C2=A0 =C2=A0 Peng= Fu =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Univer= sity of South Carolina, US
=C2=A0 =C2=A0 Jeremy Gibbons =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0- University of Oxford, UK (co-chair)
=C2=A0 = =C2=A0 Kuen-Bang Hou (Favonia) =C2=A0 - University of Minnesota, UK (co-cha= ir)
=C2=A0 =C2=A0 Robin Kaarsgaard =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- U= niversity of Southern Denmark, DK
=C2=A0 =C2=A0 Paul Blain Levy =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 - University of Birmingham, UK
=C2=A0 =C2=A0= Dan Marsden =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - University = of Nottingham, UK
=C2=A0 =C2=A0 Dylan McDermott =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 - Reykjavik University, IS

(more to follow)

Submis= sion:
=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=A0 = structured effectful computation
=C2=A0 =C2=A0 structured recursion
= =C2=A0 =C2=A0 structured corecursion
=C2=A0 =C2=A0 structured tree and g= raph operations
=C2=A0 =C2=A0 structured syntax with variable binding=C2=A0 =C2=A0 structured datatype-genericity
=C2=A0 =C2=A0 structured s= earch
=C2=A0 =C2=A0 structured representations of functions
=C2=A0 = =C2=A0 structured quantum computation
=C2=A0 =C2=A0 structure directed o= ptimizations
=C2=A0 =C2=A0 structured types
=C2=A0 =C2=A0 structure d= erived from programs and data

Please contact the programme chairs Fa= vonia (kbh@umn.edu) an= d 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 w= ith 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 appea= r 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 su= bmissions). For full details, see the webpage.

We are using EasyChai= r to manage submissions:

=C2=A0 =C2=A0 https://easychair.org/c= onferences/?conf=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 htt= ps://groups.google.com/d/msgid/HomotopyTypeTheory/CAH_%2BrvdkDqsh5n97Ssy%3D= -ZdqGsu61tE%3D9Jy6Qez4QHX8ELz%3DxA%40mail.gmail.com.
--000000000000a5049406130ca0d8--