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.8 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,HTML_MESSAGE,LONGWORDS, MAILING_LIST_MULTI,MIME_BOUND_DIGITS_15,RCVD_IN_DNSWL_NONE,URIBL_SBL_A autolearn=no autolearn_force=no version=3.4.4 Received: from mail-yb1-xb38.google.com (mail-yb1-xb38.google.com [IPv6:2607:f8b0:4864:20::b38]) by inbox.vuxu.org (Postfix) with ESMTP id 2A54C22035 for ; Fri, 26 Apr 2024 16:19:12 +0200 (CEST) Received: by mail-yb1-xb38.google.com with SMTP id 3f1490d57ef6-de59ff8af0bsf2059157276.2 for ; Fri, 26 Apr 2024 07:19:12 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1714141151; cv=pass; d=google.com; s=arc-20160816; b=Ihpbzfn2JDyR59323+avrboF0m5nLIKrSeU2IIOl3SHtCGGC5xebYOQZm85vdNwp8O 21fZS7xdFHO9GfMRoiGbihwpNOnXh7vKHwlwi9romWOakDIgNU+mKTG46lYN4YB4EEpn ue+vk99lQcw0Mw9W2v+avE3I2SQDuZlogF+F48aB/C+iofsiHQX3R81nmKAXjn4+9VpS jsGleyxin5ZNaLZ+ekukxuwMQFrzyUNfXz2frwTtt+sdQvKQYVPr+kbpV9fJCgDBMChs w5XORJOCtc+nLhCQL8v2XQ0EtibeBzjgEEjO6PylL/wkGJgrzl76Ms5FkNXLfraRC88d HvtQ== 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=5cHBenfTpkPutxCaYTJTCd1xkhU7dIdBXiPWj34Z7LI=; fh=zxIqo3h+G0QSRV40GFtTWNIpDtDSU+xSUgqEyEf1Uo0=; b=ALVRGV3NnjwpIV2XwEd29L158LOlbI83GaQdRoMYTOk519P9g+h7mzOCnomWzgk6Qa Eq6lugQ5AAh7S31y+o2Xg3SJnO6IyK3ntBdWf/jNidfUVYCe3ZGG820IjAXBiSdSu4WQ L6Kub5up5KbkGRHWPOb/CZ/dbTlDGP3pmmfMVGXz3HO2fRHPJIjq2eTj7iCeCXhMd9j/ eedOi/rkw229Zruha+X4v9peeNvQPL6zJiTKSUKIsgay+lXRbokGZOAZ6KFgDknU4GAy QXEATkF7mYYYbF9TClGgGw/hSMQnBnRs8DpbKMqlMuzppyLnH5XbV9PELEq3ns9caxqa rLNw==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=d0wvtedr; 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=1714141151; x=1714745951; 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=5cHBenfTpkPutxCaYTJTCd1xkhU7dIdBXiPWj34Z7LI=; b=lxDYHcfBomKMEHgEFalg0qpxMGXEcqaWJ2P4bWDjr6f1ydkOF8F5tqGz/mhntZXbfp KmrIcfghBkl8CR7LNh8BEaa19a/iztim/CONAmA6fm/8jkwVqP5jebYYhSY41/VoPxaF Y8SJl8zGGEXwPhvqXQpwusB8kxR2QNUXdaYGvhSF8u+45OMdeLV3bbUIaagxjG4xBHJb 8CE6FBBRxBumcmO3qtBCARIUWAhgHt6vfRQQYxC2LJkvo5PhObnVHQcbKRULtmHkN9PY Xeq4w/jSThcejGDRRJI0KTDT5DxIUCrHEIS62Wobwfwv4nY27t7u4K7Maw/Ihh6YuwXb v1Rw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714141151; x=1714745951; 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=5cHBenfTpkPutxCaYTJTCd1xkhU7dIdBXiPWj34Z7LI=; b=w4fWWR+puYwfjZRCFWyl8xjeeTTYCHYspp4O2Sd+g6UzK4FY6LQp4scAV+hy96C6fb 8yhFkHMcZ9mtLzR+pVaEvT+FcHbh6URe80wS/Ci529NbUT3LZ0gHNS/UwRk7bloDu+3S xx3/zgwS42YL0c+6am2J2iTu28t2u5EOjLcbYIHugMVAmIilcbxum/1czJZdWU2Buh45 XD/s1ICNqBqxpgZLEjQ85yu269pTFObntolDpyfKWQFaEjWHQlxKd9fV4FGzRpJX41Uu e2PV5KVJXXbHBZ+UQfGf2h3h5tY6tzmvmqJsXEY/SfBCWA3j5xihpfuGSmzTLOlvjSlt CLeA== X-Forwarded-Encrypted: i=2; AJvYcCWLeUnJclWC3mMRxGZm0XLh2YTHsRTmkXkPvMsC5aSj3GfXvLHZXIN1ykZp+0M0MNgkmKUsuMnCFz0amfQERTYHTg== X-Gm-Message-State: AOJu0Yx9JpApXzNRNza3Vujb6uxyOAgGiN0OAyegZRVMZtau8JYQ7Dz0 6HvNTqMnop3KOoPy1svbV4hzlTDi7IOcQKDnuS2DZr8RBsXiy702 X-Google-Smtp-Source: AGHT+IFMM60pD2iPVuVq0PUD/Ovwu8J1i9MAGpeLwSbPp9wFqO0OYlz5H2xAmlwv4jdDLfCSlopCwg== X-Received: by 2002:a05:6902:2010:b0:de5:5a39:2cad with SMTP id dh16-20020a056902201000b00de55a392cadmr3417306ybb.27.1714141151154; Fri, 26 Apr 2024 07:19:11 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:55c5:0:b0:de5:ab4a:33af with SMTP id 3f1490d57ef6-de5ab4a366bls298563276.2.-pod-prod-03-us; Fri, 26 Apr 2024 07:19:08 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCXYBvJBaTZSD8WTFQeSHXKMYy1F0UO04ooulNy/BHbmlQgPvwHuVC60z4gDcmln2kLfZeY/APd1liuHnNDxfJAdYgZ3KuZIBN/6kESQTlOp+LmRVA== X-Received: by 2002:a05:690c:dd5:b0:61b:9369:ef36 with SMTP id db21-20020a05690c0dd500b0061b9369ef36mr3219513ywb.37.1714141148484; Fri, 26 Apr 2024 07:19:08 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1714141148; cv=none; d=google.com; s=arc-20160816; b=Du9GCLv9sY1YtYJsDqJfeo6Ulor9NE1oCQny0DX4+oHPAaD6fee2kWScVqvVI1Ou4o h9veegE/9Qh209y/EHaTGA/UNo9Yb3mbgZsEBzp6Tv6oUFIklgOFXtyW/CKXf9lfRTh+ t1MeqLbMLPaGMjVJWVz6fhsPLC5H/8rlIFra3FS+6uNqrlMRAN1DjAHDH6DjEK0HTGkD P85r/g7ub8nPda/z8850GqavZ/2RR7tXCqtS7RnbVBbWfah5e8LGiQo5gM28+i+dNd04 lTDSFGruVeWtPyzP0kC481238R3lgfdNwWul8C/QAxHWXXsv3JzbRFH07vU5Mta48veV 26nQ== 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=8loPhLnEDONRxaBKPsRoXJT+lXdElicgTeYPurVmUf0=; fh=+AVQPbjFhfWcAD1XgGmeriGs/aRNOqKphOO16OUOMeQ=; b=d4119pjq+FaCy+WnErRYpOPz0mvvmJFyDjauMwGt/LBcCXGVdsTa81xIizFGl3dL0O gTk8c0ZLl4NqfMOjrjAcSAqh9ei4jBN+E+6DlsGC1tjAwm96GcvLf2wqzaUUIlZdExgc knztpL92S7+zKtDUHtlLACTllKSLFZQpRedB1PeDBiX9Qc+CDMaqjLqOSqgXDrpNzHGN 0iFujffgMq2aGnNJiikpalR3WplS0upBDrz1iIKWtchES5GOVrkEdHzUVaxgaSMBmxo7 LgYfImA8MAP1eRpPygGiWo1oe8tXanre2Y1oGJA3wDycIcsB379G8orrrE8SUlBRlutP iITA==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=d0wvtedr; 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 m6-20020a0dca06000000b0060a6050a1c1si1759065ywd.4.2024.04.26.07.19.08 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 26 Apr 2024 07:19:08 -0700 (PDT) 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 4VQvwr0HdQz9w3sC for ; Fri, 26 Apr 2024 14:19:08 +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 bOHnJVOAeAvy for ; Fri, 26 Apr 2024 09:19:07 -0500 (CDT) Received: from mail-ej1-f71.google.com (mail-ej1-f71.google.com [209.85.218.71]) (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 4VQvwq4380z9w3sG for ; Fri, 26 Apr 2024 09:19:07 -0500 (CDT) DMARC-Filter: OpenDMARC Filter v1.3.2 mta-p6.oit.umn.edu 4VQvwq4380z9w3sG DKIM-Filter: OpenDKIM Filter v2.11.0 mta-p6.oit.umn.edu 4VQvwq4380z9w3sG Received: by mail-ej1-f71.google.com with SMTP id a640c23a62f3a-a5741ee352bso129352466b.1 for ; Fri, 26 Apr 2024 07:19:07 -0700 (PDT) X-Forwarded-Encrypted: i=1; AJvYcCWmKVvIxgA2n7WO2ry6VOrJmthSu53yW1QmGhHsX+PdZUq4sOLgVTIBWOZgTQ8AmNDsDkg9wBmAQyg1qX67YT3tcVvPF2x01/BWgAU+VeCJaDP0RQ== X-Received: by 2002:a17:906:2c52:b0:a58:bfb9:398 with SMTP id f18-20020a1709062c5200b00a58bfb90398mr1759924ejh.67.1714141146249; Fri, 26 Apr 2024 07:19:06 -0700 (PDT) X-Received: by 2002:a17:906:2c52:b0:a58:bfb9:398 with SMTP id f18-20020a1709062c5200b00a58bfb90398mr1759905ejh.67.1714141145857; Fri, 26 Apr 2024 07:19:05 -0700 (PDT) MIME-Version: 1.0 From: "'Favonia' via Homotopy Type Theory" Date: Fri, 26 Apr 2024 09:18:31 -0500 Message-ID: Subject: [HoTT] Reminder: MSFP 2024 Call for Papers (deadline 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 Cc: Jeremy Gibbons Content-Type: multipart/alternative; boundary="0000000000001824470617009604" 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=d0wvtedr; 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: , --0000000000001824470617009604 Content-Type: text/plain; charset="UTF-8" This is a gentle reminder about the upcoming paper submission deadline for MSFP 2024: Tuesday 30th April, AoE. The original CFP did ask for abstracts in advance, but we will not insist on those: if you have a paper and have not registered an abstract, submit it anyway! 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/ ** Deadline: Tuesday 30th April ** 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 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, 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_%2BrveayjBVozFp9mWvqhgdFGNzKzxeSFjQw22rC8634CDd%2BQ%40mail.gmail.com. --0000000000001824470617009604 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
This is a gentle reminder about the upcoming paper submiss= ion deadline=20 for MSFP 2024: Tuesday 30th April, AoE. The original CFP did ask for=20 abstracts in advance, but we will not insist on those: if you have a=20 paper and have not registered an abstract, submit it anyway!

Jeremy and Favonia

=C2=A0 =C2=A0*

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/

=C2=A0** Deadline: Tuesday 30th April **

The tenth workshop on Mathematically Structured Functional Programming=20 is devoted to the derivation of functionality from structure. It is a=20 celebration of the direct impact of Theoretical Computer Science on=20 programs as we write them today. Modern programming languages, and in=20 particular functional languages, support the direct expression of=20 mathematical structures, equipping programmers with tools of remarkable=20 power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without=20 adjunctions? The list goes on. This workshop is a forum for researchers=20 who seek to reflect mathematical phenomena in data and control.

MSFP 2024 will be held on Monday 8th July 2024 in Tallinn, Estonia in affil= iation with FSCD (https://compose.ioc.ee/icalp2024/). Previous instances have been held in Munich (with ETAPS 2022),=20 virtually (2020), in Oxford (with FLOC 2018), Eindhoven (with ETAPS=20 2016), Grenoble (ETAPS 2014), Tallinn (with ETAPS 2012), Baltimore (with ICFP 2010), Reykjavik (with ICALP 2008), and Kuressaare (with MPC and=20 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 =C2=A0Tuesday 30th April (AoE) =C2=A0 =C2=A0Notification:=C2=A0 =C2=A0 =C2=A0 =C2=A0Tuesday 4th June (16:0= 0 UTC)
=C2=A0 =C2=A0Final version:=C2=A0 =C2=A0 =C2=A0 Tuesday 25th June (AoE)
=C2=A0 =C2=A0Workshop:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Monday 8th J= uly

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

=C2=A0 =C2=A0Kazuyuki Asada=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Toho= ku 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 =C2=A0- Acad= emia Sinica, TW
=C2=A0 =C2=A0Peng Fu=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0- University of South Carolina, US
=C2=A0 =C2=A0Jeremy Gibbons=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Univ= ersity of Oxford, UK (co-chair)
=C2=A0 =C2=A0Kuen-Bang Hou (Favonia)=C2=A0 =C2=A0- University of Minnesota,= US (co-chair)
=C2=A0 =C2=A0Robin Kaarsgaard=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Universit= y of Southern Denmark, DK
=C2=A0 =C2=A0Paul Blain Levy=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Univ= ersity of Birmingham, UK
=C2=A0 =C2=A0Dan Marsden=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0- University of Nottingham, UK
=C2=A0 =C2=A0Dylan McDermott=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Reyk= javik 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=A0structured effectful computation
=C2=A0 =C2=A0structured recursion
=C2=A0 =C2=A0structured corecursion
=C2=A0 =C2=A0structured tree and graph operations
=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=A0structured quantum computation
=C2=A0 =C2=A0structure directed optimizations
=C2=A0 =C2=A0structured types
=C2=A0 =C2=A0structure 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=20 that will appear in the proceedings (published with EPTCS) and extended=20 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=20 proceedings. A short abstract should be submitted by four days in=20 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:

=C2=A0 =C2=A0https://easychair.org/conferences/?co= nf=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:/= /groups.google.com/d/msgid/HomotopyTypeTheory/CAH_%2BrveayjBVozFp9mWvqhgdFG= NzKzxeSFjQw22rC8634CDd%2BQ%40mail.gmail.com.
--0000000000001824470617009604--