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 31550 invoked from network); 21 Jul 2022 16:05:43 -0000 Received: from mail-qv1-xf40.google.com (2607:f8b0:4864:20::f40) by inbox.vuxu.org with ESMTPUTF8; 21 Jul 2022 16:05:43 -0000 Received: by mail-qv1-xf40.google.com with SMTP id q4-20020a0ce9c4000000b00473004919ddsf1310648qvo.16 for ; Thu, 21 Jul 2022 09:05:43 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1658419541; cv=pass; d=google.com; s=arc-20160816; b=IGTwgwVfx+SBo+AdD9TeyCFpPHbelrejgWYMhsqjP2U2ByyzMwcrWZKoPlXBonI4UZ 7lNM2rR8fZ8oINEH6iu+Vla6sdHoOAzcKi+VWraOLl0FWdnm8c+dIYi3HX4dExWGt5e6 sk3NLojmaOK1/+ZwKwPm11ztsKi8ZyeWqxOiq0v1zUkdu56IFc5h6WO/Yq3IsnsgFbxe T50mYK04qiSa76Bdy4PjuXi9zbXOhbhlGxY+EdMK0eai0v9V4sljOJ55OJUWcPxF/TLJ OMqZn5l5Q4kpk2CtryhRoEVoD5GAJA/QpImbO2acEo2g42KbSAWg2o7Qubd8lPpgy40a kCwA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:mime-version:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature:dkim-signature; bh=Us/cagTUlJwOXrcXkweooC1aiRawbCOh5fHNMMfdmo0=; b=Yq18fBP6otE8rUipb/o96o+WBIUzxjncytHCPZN4kw2kxXBAABRKlbTDtw1SwwH5tD Cf3UDJChL6ptwJl/iZ6mNOs+xbIDQi0siQj2vZPWG2WbYjphSu7XmfGaBm3+aMaIk6wr RKlxqQbglCeGRbRei6De+LNbKnz7FI0NZqICRJhZLy2jlWj3yHAw6/TkmzkObNUvhufw bJXTev6kpmu9f55Ct8QoQswEReb/CAb1YYY4p7BKaFOLGpHH2ghJpSOG6ZujRVbX4zuc vVVSxr+87BVZdMEuxqe3+Pq2nq10QCOQZFVWDt6XC/wdBxK7Dhk1RuforudzVKSq1gEA GLig== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=MO2WvFjG; spf=pass (google.com: domain of elenatalita@gmail.com designates 2a00:1450:4864:20::629 as permitted sender) smtp.mailfrom=elenatalita@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:from:to:subject:thread-topic:thread-index:date:message-id :accept-language:content-language:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=Us/cagTUlJwOXrcXkweooC1aiRawbCOh5fHNMMfdmo0=; b=IYBlGWtbF4ycKtvZSO54dTSYs1O+NPvy0FlUXkn/ZdQKN9bJWSjgRtcB0xIIZZ1i+z U8YCwoM0nRTOgjBMdYHafpN/H4ToFIDrySYYC4St8VchqRKFkri8j8rQ9nwVB/WDcayx eSvkPMVKtdc+8i+5FqJrayq4zMp49mGBvf2slhEs9ECTyy79YDTB/urBhtusSEv8QLbK gr+HkwDrt29OeSn3VxFLmWwm+DyjlI/DyYvPmYin3eAN3WnCB6Kk2j8D/iWNWRga+07F y556NOIEhwW+VxkXnbA0P01Z3RQkecdveIkZJgJ0ja1ExuYm5hEkv38aK5NLbMLVU4Zd FDbQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:subject:thread-topic:thread-index:date:message-id :accept-language:content-language:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=Us/cagTUlJwOXrcXkweooC1aiRawbCOh5fHNMMfdmo0=; b=KJdrSvzOtA7VfNSomAKgtgeXOi9WnU+7LTP9OOfu7fuBp2AJekPZUjx0/VtGPcYWoZ DBqhr0tUfjkCTKtEDE/qm4AxGC3dXianeLDyRakhXPAS0+b79NZZ4EH7djPWgrQ/1E8b gfNm7WvEiyXUO/WgLa9DTj+4WP6clvL7upBI07DuYENcbRIcl3B0Re9P7NtxUS2br9ZB GzQu3Cfjt8FqiJbvgYcWNwjRNv9MIa/21Q9SMr9enu/2R/+VkwDqlHUiOKIYpfMZfJ8Y 13jYrk4cyENSbkfkEvmSLYHEWGIm7zSfFfkGGLor5zk91zWAy+azkabUKZuWpixcksf1 A+iQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:from:to:subject:thread-topic:thread-index :date:message-id:accept-language:content-language:mime-version :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=Us/cagTUlJwOXrcXkweooC1aiRawbCOh5fHNMMfdmo0=; b=aJjeSKjhlt0C08+jqHWR60aO0RzVIc0BxJqwJRMbyJfAGBhZVnPoHyEvVfD6S3OE99 diCzSJAdnZ4aM6ylfDq1IJUIZQtUZBgxGX2z+i89iDSJrdtziJSRrZKXpJpnN24I9xOj ahAbeDml3V2JRMxdohKc4TAtgmv75++rOgJ41aKjhxI/6/PWmUVgfPs7JZcqPYN8I118 Sp38Ta5HVudKozxYh7rqXFBanx0G1JRg1TYdhhez9Cx/HHsDx77XQaSg1L7lMZZYCCt5 NsIjz+Y+B22VTxeb/JAkjl4AhdvoVkGm8eM7sShcuQyrGzPwnjRJe3pbAyE85khEfiZ4 LpZA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AJIora+XGEr+5D9Nf65t4Id6DzhJaoocLADgirZ8xSjurHXs8Vw0PTvk 0UZnEud+3rn6VOisgx1uNrw= X-Google-Smtp-Source: AGRyM1vgAHUwvshNVsY2vinbCwUNa6sB96VR6U+funxbmLvR2mzJdumhdgXxwmfgqGlO4nowsZjdPw== X-Received: by 2002:a05:622a:110f:b0:31e:e0ae:a734 with SMTP id e15-20020a05622a110f00b0031ee0aea734mr22851242qty.495.1658419540353; Thu, 21 Jul 2022 09:05:40 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ae9:e115:0:b0:6b5:de1e:ec1b with SMTP id g21-20020ae9e115000000b006b5de1eec1bls2332577qkm.5.-pod-prod-gmail; Thu, 21 Jul 2022 09:05:39 -0700 (PDT) X-Received: by 2002:ae9:e606:0:b0:6b5:d2a3:7fd0 with SMTP id z6-20020ae9e606000000b006b5d2a37fd0mr20054164qkf.343.1658419539375; Thu, 21 Jul 2022 09:05:39 -0700 (PDT) Received: by 2002:a05:620a:4490:b0:6a6:a20e:6e27 with SMTP id af79cd13be357-6b61cd6c92bms85a; Thu, 21 Jul 2022 08:54:58 -0700 (PDT) X-Received: by 2002:a17:907:97d6:b0:72f:97d9:978d with SMTP id js22-20020a17090797d600b0072f97d9978dmr3372580ejc.684.1658418897692; Thu, 21 Jul 2022 08:54:57 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1658418897; cv=none; d=google.com; s=arc-20160816; b=rIsDBb6U0fgFK4cwXu3Sa0HLFEb1TmS7r1k50IutTdq3/x7cBix//X1N6f8Ia2X4Ep NFiIYiVYIvbu2amGcRHkBKblnAls295FJzRWOGYBlUhMOg2VI6JyGsUrqUXA14OLzi+e BFM1L+bEwuZ9+ZJ39gEqFofBRhgP2GCGeD19ZmefLjKQrabO101ai7Kjy5RTe/RhqG4+ Zm8TzZM6cBFkjwBDxhcN4dvwPkEGbriiXmrWzadTT90CzJOINtaGN8kEGxwe5nrvH742 rO2xQCjVWyI4adIdBLeJYkShKAcYX2F7nFdkQyWMPKoscvGNCEG4kLUOhXFuAe8fcC3g qesw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from:dkim-signature; bh=bapLVDBi7/V4yWKyZcY1sTxMPxAH78McQRWCGVm3tTY=; b=l+9t1joIryo5EG2jJ31zC46IcSY+jsb2bAIbT9w5IvDrU5K7VQOX0Qml+ftj9Hzrx5 InIOL07OI5LaRpfpAER445EByZMVoZU+TNqn5fIVMEhm458kYFeiES7Et+SkG7mkNDn/ g6BjPfe8jrIWiBS3hE6kKXUGtfXj+lOX5YB9vmNc6pGMGI/r6F6vvPgZhJPM1WBWDKbp dV98mMi5agiZbLtrLgB+R0tQYi/64jaT3pbIwZat6kdulq6Kct0uW+N3wFj4sNzQ49VM LzTYpQyPHWRca/xbY1WaAzBxd4vb/3RE9c9ObP73Wy57l2nWg5Qf9nAHNIF4j6YA0gbV e1dA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=MO2WvFjG; spf=pass (google.com: domain of elenatalita@gmail.com designates 2a00:1450:4864:20::629 as permitted sender) smtp.mailfrom=elenatalita@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ej1-x629.google.com (mail-ej1-x629.google.com. [2a00:1450:4864:20::629]) by gmr-mx.google.com with ESMTPS id j7-20020a50ed07000000b0043a6dd6b3e8si119346eds.5.2022.07.21.08.54.57 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 21 Jul 2022 08:54:57 -0700 (PDT) Received-SPF: pass (google.com: domain of elenatalita@gmail.com designates 2a00:1450:4864:20::629 as permitted sender) client-ip=2a00:1450:4864:20::629; Received: by mail-ej1-x629.google.com with SMTP id tk8so3899430ejc.7 for ; Thu, 21 Jul 2022 08:54:57 -0700 (PDT) X-Received: by 2002:a17:907:7d8b:b0:72f:2306:329a with SMTP id oz11-20020a1709077d8b00b0072f2306329amr21367542ejc.369.1658418897301; Thu, 21 Jul 2022 08:54:57 -0700 (PDT) Received: from AS1P191MB2079.EURP191.PROD.OUTLOOK.COM ([2603:1026:c03:6c27::5]) by smtp.gmail.com with ESMTPSA id t8-20020aa7db08000000b0043bba84ded6sm1177846eds.92.2022.07.21.08.54.56 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 21 Jul 2022 08:54:56 -0700 (PDT) From: Elena Di Lavore To: "homotopytypetheory@googlegroups.com" Subject: [HoTT] SYCO 9 - 2nd call for submissions - Deadline 1st August Thread-Topic: SYCO 9 - 2nd call for submissions - Deadline 1st August Thread-Index: AQHYnRVxZSPB5o75ak6dW4OCxqlVeg== X-MS-Exchange-MessageSentRepresentingType: 1 Date: Thu, 21 Jul 2022 15:54:56 +0000 Message-ID: Accept-Language: it-IT, en-US Content-Language: it-IT X-MS-Has-Attach: X-MS-Exchange-Organization-SCL: -1 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 Content-Type: multipart/alternative; boundary="_000_AS1P191MB20797A56F1C268253A80C6E3A6919AS1P191MB2079EURP_" MIME-Version: 1.0 X-Original-Sender: elenatalita@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=MO2WvFjG; spf=pass (google.com: domain of elenatalita@gmail.com designates 2a00:1450:4864:20::629 as permitted sender) smtp.mailfrom=elenatalita@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=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: , --_000_AS1P191MB20797A56F1C268253A80C6E3A6919AS1P191MB2079EURP_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 9) Como, Italy 8-9 September 2022 Submission deadline: Monday 1 August 2022 https://www.cl.cam.ac.uk/events/syco/9/ ----------------------------------------- The Symposium on Compositional Structures (SYCO) is an interdisciplinary se= ries of meetings aiming to support the growing community of researchers int= erested in the phenomenon of compositionality, from both applied and abstra= ct perspectives, and in particular where category theory serves as a unifyi= ng common language. Previous SYCO events have been held in Birmingham, Stra= thclyde, Oxford, Chapman, Leicester and Tallinn. We welcome submissions from researchers across computer science, mathematics, physics, philosophy, and beyond, with the aim of fostering friendly discussion, disseminating new ideas, and spreading knowledge between fields. Submission is encouraged for both mature research and work in progress, and by both established academics and junior researchers, including students. Submissions is easy, with no format= ting or page restrictions. The meeting does not have proceedings, so work c= an be submitted even if it has been submitted or published elsewhere. You c= ould submit work-in-progress, or a recently completed paper, or even a PhD = or Masters thesis. While no list of topics could be exhaustive, SYCO welcomes submissions with a compositional focus related to any of the following areas, in particular from the perspective of category theory: - logical methods in computer science, including classical and quantum programming, type theory, concurrency, natural language processing and machine learning; - graphical calculi, including string diagrams, Petri nets and reaction networks; - languages and frameworks, including process algebras, proof nets, type theory and game semantics; - abstract algebra and pure category theory, including monoidal category theory, higher category theory, operads, polygraphs, and relationships to homotopy theory; - quantum algebra, including quantum computation and representation theory; - tools and techniques, including rewriting, formal proofs and proof assistants, and game theory; - industrial applications, including case studies and real-world problem descriptions. ** IMPORTANT DATES ** All deadlines are 23:59 Anywhere on Earth. Submission deadline: Monday 1 August Author notification: Monday 8 August 2022 Symposium dates: Thursday 8 and Friday 9 September 2022 ** SUBMISSION INSTRUCTIONS ** Submissions are by EasyChair, via the SYCO 9 submission page: https://easychair.org/my/conference?conf=3Dsyco9 Submission is easy, with no format requirements or page restrictions. The meeting does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. Think creatively: you could submit a recent paper, or notes on work in progress, or even a recent Masters or PhD thesis. In the event that more good-quality submissions are received than can be accommodated in the timetable, the programme committee may choose to *defer* some submissions to a future meeting, rather than reject them. Deferred submissions can be re-submitted to any future SYCO meeting, where they will not need peer review, and where they will be prioritised for inclusion in the programme. Meetings will be held sufficiently frequently to avoid a backlog of deferred papers. If you have a submission which was deferred from a previous SYCO meeting, it will not automatically be considered for SYCO 9; you still need to submit it again through EasyChair. When submitting, append the words "DEFERRED FROM SYCO X" to the title of your paper, replacing "X" with the appropriate meeting number. There is no need to attach any documents. ** PROGRAMME COMMITTEE ** Robin Cockett, University of Calgary Elena Di Lavore, Tallinn University of Technology Ross Duncan, University of Strathclyde Robert Furber, University of Edinburgh Amar Hadzihasanovic, Tallinn University of Technology Chris Heunen, University of Edinburgh Alex Kissinger, University of Oxford Martha Lewis, University of Bristol Jade Master, University of Strathclyde Konstantinos Meichanetzidis, University of Leeds Samuel Mimram, =C3=89cole Polytechnique Simona Paoli, University of Aberdeen Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology The PC chair is John van de Wetering, Radboud University. ** STEERING COMMITTEE ** Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Oxford Aleks Kissinger, University of Oxford Samuel Mimram, =C3=89cole Polytechnique Simona Paoli, University of Aberdeen Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Jamie Vicary, University of Cambridge --=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/AS1P191MB20797A56F1C268253A80C6E3A6919%40AS1P191MB2079.E= URP191.PROD.OUTLOOK.COM. --_000_AS1P191MB20797A56F1C268253A80C6E3A6919AS1P191MB2079EURP_ Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
-----------------------------------------
CALL FOR SUBMISSIONS
NINTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 9)

Como, Italy
8-9 September 2022

Subm= ission deadline:  Monday 1 August 2022
-----------------------------------------

The Symposium on Compositional Structures (SYCO) is an interdis= ciplinary series of meetings aiming to support the growing community of res= earchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in p= articular where category theory serves as a unifying common language. Previ= ous SYCO events have been held in Birmingham, Strathclyde, Oxford, Chapman,= Leicester and Tallinn.

We welcome submissions from researchers across computer science= ,
mathematics, physics, philosophy, and beyond, with the aim of
fostering friendly discussion, disseminating new ideas, and spr= eading
knowledge between fields. Submission is encouraged for both mat= ure
research and work in progress, and by both established academic= s and
junior researchers, including students. Submissions is easy, wi= th no formatting or page restrictions. The meeting does not have proceeding= s, so work can be submitted even if it has been submitted or published elsewhere. You could submit work-in-pro= gress, or a recently completed paper, or even a PhD or Masters thesis.

While no list of topics could be exhaustive, SYCO welcomes subm= issions
with a compositional focus related to any of the following area= s, in
particular from the perspective of category theory:

- logical methods in computer science, including classical and<= /span>
quantum programming, type theory, concurrency, natural language=
processing and machine learning;
- graphical calculi, including string diagrams, Petri nets and<= /span>
reaction networks;
- languages and frameworks, including process algebras, proof n= ets,
type theory and game semantics;
- abstract algebra and pure category theory, including monoidal=
category theory, higher category theory, operads, polygraphs, a= nd
relationships to homotopy theory;
- quantum algebra, including quantum computation and representa= tion
theory;
- tools and techniques, including rewriting, formal proofs and = proof
assistants, and game theory;
- industrial applications, including case studies and real-worl= d
problem descriptions.

** IMPORTANT DATES **

All deadlines are 23:59 Anywhere on Earth.

Submission deadline: Monday 1 August
Author notification: Monday 8 August 2022
Symposium dates: Thursday 8 and Friday 9 September 2022<= br style=3D"font-family: -apple-system, HelveticaNeue;">
** SUBMISSION INSTRUCTIONS **

Submissions are by EasyChair, via the SYCO 9 submission page:
https://easychair.org/my/conference?conf=3Dsyco9

Submission is easy, with no format requirements or page restric= tions.
The meeting does not have proceedings, so work can be submitted= even
if it has been submitted or published elsewhere. Think creative= ly:
you could submit a recent paper, or notes on work in progress, = or even
a recent Masters or PhD thesis.

In the event that more good-quality submissions are received th= an can
be accommodated in the timetable, the programme committee may c= hoose
to *defer* some submissions to a future meeting, rather than re= ject
them. Deferred submissions can be re-submitted to any future SY= CO
meeting, where they will not need peer review, and where they w= ill be
prioritised for inclusion in the programme. Meetings will be he= ld
sufficiently frequently to avoid a backlog of deferred papers.<= /span>

If you have a submission which was deferred from a previous SYC= O
meeting, it will not automatically be considered for SYCO 9; yo= u still
need to submit it again through EasyChair. When submitting, app= end the
words "DEFERRED FROM SYCO X" to the title of your pap= er, replacing "X"
with the appropriate meeting number. There is no need to attach= any
documents.

** PROGRAMME COMMITTEE **

Robin Cockett, Univers= ity of Calgary
Elena Di Lavore, Tallin= n University of Technology
Ross Duncan, University= of Strathclyde
Robert Furber, Universi= ty of Edinburgh
Amar Hadzihasanovic, Ta= llinn University of Technology
Chris Heunen, Universit= y of Edinburgh
Alex Kissinger, Univers= ity of Oxford
Martha Lewis, Universit= y of Bristol
Jade Master, University= of Strathclyde
Konstantinos Meichanetz= idis, University of Leeds
Samuel Mimram, =C3=89co= le Polytechnique
Simona Paoli, Universit= y of Aberdeen
Mehrnoosh Sadrzadeh, Un= iversity College London
Pawel Sobocinski, Tallinn University of Technology

The PC chair is John van de Weteri= ng, Radboud University. 

** STEERING COMMITTEE **

Ross Duncan, University of Strathclyde
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Oxford
Aleks Kissinger, University of Oxford
Samuel Mimram, =C3=89cole Polytechnique
Simona Paoli, University of Aberdeen
Mehrnoosh Sadrzadeh, University College London
Pawel Sobocinski, Tallinn University of Technology
Jamie Vicary, University of Cambridge

--
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/AS1P191MB20797A56F1C26= 8253A80C6E3A6919%40AS1P191MB2079.EURP191.PROD.OUTLOOK.COM.
--_000_AS1P191MB20797A56F1C268253A80C6E3A6919AS1P191MB2079EURP_--