From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.7 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-qv1-xf3a.google.com (mail-qv1-xf3a.google.com [IPv6:2607:f8b0:4864:20::f3a]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 5d3abbae for ; Sat, 25 Jan 2020 09:01:42 +0000 (UTC) Received: by mail-qv1-xf3a.google.com with SMTP id d7sf2745568qvq.12 for ; Sat, 25 Jan 2020 01:01:41 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1579942900; cv=pass; d=google.com; s=arc-20160816; b=khxPcM+QEzm4wQcRQOfbC8aWPEwYzUn8lvzpMt4gHFcCgalMffYtrt+XKFm/xv2gYP LV2qjbLtGqpVPpGJCmCTGGOwyqf6eqie4d/LGy1SchzaN0w3+9pvgpbteQKunuxb9olI wJm4Fs0ZspSLs4QsQc0Zs/B0RIDkE8dV0wpGKXMuPIhrtrg1yMzxTK3FrWL7dndZVSaT z9rsJpBc8oSMvr0ivtqdUVVxolH0W7k5u6o86Y3+PbRhaTAGQ9wfQi5zED+Y0Z6NhmQo kkgRvSvZizrvs1br0KuEmopM2fiwE1YuSWxI2a/OyUp7zZ0F0W9CF7jT8G32XM2AzdHw pvgQ== 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:to:subject:message-id:date:from:in-reply-to :references:mime-version:sender:dkim-signature:dkim-signature; bh=diKhm5ihzmJZBvBK7T5rkxn0Vtw7ANG26eh2rU2x2LY=; b=pspmyu7EFEwXwZ79q77RixlCiLNZ2yF5cwKz+TMjMxGrVwlY1yp9vEvaDZRPBC1cQW ntcB5kKY5ea+G8xcZeQgL9/QKeVGpyd0PD0pLE4TbsSPUJYKogzWq1m5XS1yj1bIEJRF 0+8PkZCTpORxHWZDo4cYxh6OP70hR8a2vwTbnR0jLtRJQBchC/ZCSb2iqRvcexvXzrZe 7pemlxbNlJHUxML8Z0xGYrIG/yrX3/pd8OsaOM0YK5utU7n3fhf+qCSeref0J/+nYyHV Q42R48i3TWm0excgqZmAZ822f56wbk49pVAuXawZUsrdNNJr3IjdQ7NbEsqeHv/RPiIm PlRQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=HQ8Q8qme; spf=pass (google.com: domain of noam.zeilberger@gmail.com designates 2607:f8b0:4864:20::e36 as permitted sender) smtp.mailfrom=noam.zeilberger@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=20161025; h=sender:mime-version:references:in-reply-to:from:date:message-id :subject:to:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=diKhm5ihzmJZBvBK7T5rkxn0Vtw7ANG26eh2rU2x2LY=; b=kUwDVrzgT1/iJxLqnnKfCscSAHSEv5jG4AecbG/v0i50BZ+oz2THCNkIkxtRv9+4VB yRZVtNc4bg/XlaLo1yZpEQGq4+TqO6/6ftMcHYzHL6EuWixV1GFGRkd/eLyMSDNpzACQ OmA4qgqGOocJWC+VKWnysO6NPZA93lS5ESGCM2VuVzQJwtQmEX7KeV5d5Ie1lDSfjr9K uaPwe4S4+BN9hMP3Q368PWQFkn5sxfvZzcWKnfmnsTUBd4qK1/XEx5jaZz5KpcziD5K5 /CDlaDOS3E3U1yhWxmphqgiCJsf9EearCgvc6tQWSY2Sx9USpBZWeaC7NCcJf+SxqDuZ nt4Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=diKhm5ihzmJZBvBK7T5rkxn0Vtw7ANG26eh2rU2x2LY=; b=pcPC7Dqhw0l1iqYbn2b35uN1MLfLVnDI3ZRoPAXc3/QIjIByMTNafCjQlbS1JBLbV/ oN38LEyP0yQxFf9f41vUE/+BoiDWQP6aDDOY410ylHYVyHH+i+AXPX5mpZnPuuF1Wc+b DJLPvcScldz1Y9XVkMy2dzP8oPv5UOVtWD/1UYHAR6Lr1ybHiESi+CnW+VYuA2Lnp366 luLqAvmv0jlsYximVeLTMXZ3mvQursB6jAIgP3qVAn1ybFAMK0qjudr1fIdosGJ9ASO7 U35n0MJRJTVEWcOiWPO70HAxWd5/8sFFazf/q4gL7WUhBEYBFeEPkijqWqHReP6a18b6 cysA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:references:in-reply-to:from :date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=diKhm5ihzmJZBvBK7T5rkxn0Vtw7ANG26eh2rU2x2LY=; b=M10hUwRChd2zO/XoyD9kCfBjlu86SoWy2J/UxfkZD6L1v/Ssgdn/M1B4H6v3jsORws qUC9j0ebVkf76FZwbLQRzDWalaw7IEV4DqOn+6gyLGIb7CkMRyWP++SujWvdQP9HDvCK NMhxx9MeMpykx1IjoClrbI+1XZQGvm6AtO1d1iAxSej1O9xCsYH1DftZjgxRvVU4DK+5 x7EkoJG09G6AQkRc+Xuh/52Cr5YSC149D59VUaXxlbsCnFllUxtJjT9CAcU2WEuo3ByB Bn+FTG2Bu2JOtWZdVz732WkBayAOHuTK4yOuLeM1dSC4pQtR6MlU6gbPFFfaPABDpqOS dimA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAWjrStdxejt/oerGHv3NEdfjpypEv6qze8uhELWwlne9FSJBAyx LauY9mzOUUQVqqYWKoJBXn8= X-Google-Smtp-Source: APXvYqw4Y2SE0weGRsCKxz075qk9BBObnmiI7quwb52c9sEWpYjN21f2Urp3wJQ0Vpq6ahKIU/rNyg== X-Received: by 2002:ac8:4e89:: with SMTP id 9mr6794326qtp.82.1579942899807; Sat, 25 Jan 2020 01:01:39 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6214:18e9:: with SMTP id ep9ls1122602qvb.2.gmail; Sat, 25 Jan 2020 01:01:39 -0800 (PST) X-Received: by 2002:a05:6214:11ac:: with SMTP id u12mr7484617qvv.85.1579942899279; Sat, 25 Jan 2020 01:01:39 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1579942899; cv=none; d=google.com; s=arc-20160816; b=fC0W6fPv0JuflENCmyJ9QoyTNpAEVGWPcI6BjnKylPSf5WNcUylZsdPfrVkMtAWdwd ci1ZXZ7XrkxJp4ArCK3vjaESBxp1NZrwTiFgoeqRvOSmP8YMwtcIxUL01eBx4fqoaF6v ZQa8IZZCce20LlBLNLx0bsWcDNGSq5+X9qXuXDDZG4OOSp7rDSaJbJM5k3e1tb4eNj8g CwtmfcXnwUkIshduKZ12yQVnAueAsG47bhcV/774FXszJtL9/qigMDUsP3QCYJwOQ5wx 1mhR6D16Ii6rS9UaRFVSPodn/xDZUKelLd2ZswcrCqgzIjbO33gqvchguczTYrdF8n0y g7yA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=z6VXX7nwlNpVpM0XG2yDrW2vngI+0pni5hikCZ12eZc=; b=Jj71u4LfNUZ2wazWln4jijExNnMXj3LJMM12TTbIK/t8xnXFhE9SdtApRmqnQP0Sw1 ztTI7AUGLIX4qJTUsBlXpZ/9UQ+bl8LVdvk0NYXb2mWhryF1draES9l3jWFJR4w5yhgu ND1Qeq1ik4Gjn0Ud+6qXr1fg9Xl0/pnPZoL5lPBdRXzo0niW996Y+xgn2jw2N5ZRw/lt YgKYohYGGNVzf6kRh4zFCmYkhsh3U9foTrJ5Z2Wgqx1UN4bF524TLRsze1oeRTQYDc5b U5aBXSGpj4A7AmlVTcopb188p94hAnACfOByvQR52p3IHCbXvSrNgoaFDbfSj+cQNjko Dz3Q== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=HQ8Q8qme; spf=pass (google.com: domain of noam.zeilberger@gmail.com designates 2607:f8b0:4864:20::e36 as permitted sender) smtp.mailfrom=noam.zeilberger@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-vs1-xe36.google.com (mail-vs1-xe36.google.com. [2607:f8b0:4864:20::e36]) by gmr-mx.google.com with ESMTPS id 134si283333qkd.2.2020.01.25.01.01.39 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 25 Jan 2020 01:01:39 -0800 (PST) Received-SPF: pass (google.com: domain of noam.zeilberger@gmail.com designates 2607:f8b0:4864:20::e36 as permitted sender) client-ip=2607:f8b0:4864:20::e36; Received: by mail-vs1-xe36.google.com with SMTP id y125so2764357vsb.6 for ; Sat, 25 Jan 2020 01:01:39 -0800 (PST) X-Received: by 2002:a67:ed0a:: with SMTP id l10mr4609826vsp.239.1579942898563; Sat, 25 Jan 2020 01:01:38 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Noam Zeilberger Date: Sat, 25 Jan 2020 10:01:26 +0100 Message-ID: Subject: [HoTT] Fwd: [TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020 To: "HomotopyTypeTheory@googlegroups.com" Content-Type: multipart/alternative; boundary="0000000000003c00f6059cf31f11" X-Original-Sender: noam.zeilberger@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=HQ8Q8qme; spf=pass (google.com: domain of noam.zeilberger@gmail.com designates 2607:f8b0:4864:20::e36 as permitted sender) smtp.mailfrom=noam.zeilberger@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: , --0000000000003c00f6059cf31f11 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The following announcement may be of interest to some readers of this list. regards, Noam ---------- Forwarded message --------- From: Sadrzadeh, Mehrnoosh Date: Fri, 24 Jan 2020 at 08:07 Subject: [TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020 To: mol@cs.earlham.edu , folli@folli.info < folli@folli.info>, ProofTheory@lists.bath.ac.uk < ProofTheory@lists.bath.ac.uk>, categories@mta.ca , types-announce@lists.seas.upenn.edu , elsnet-list@list.hum.uu.nl , nordlingnet@uib.no , ln@groupes.renater.fr < ln@groupes.renater.fr> [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020 Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information ( http://www.folli.info/?page_id=3D74), with financial support of the E.W. Be= th Foundation ( https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-wille= m-beth-foundation). Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree awarded in 2019. The deadline for nominations is the 15th of April 2020. Qualifications: - A dissertation is eligible for the Beth Dissertation Prize 2020, if the Ph.D. degree has been awarded in Logic, Language, or Information between January 1st and December 31st, 2019. - There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written. - In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. - If a nominated dissertation has originally been written in a language other than English, its dossier should still contain the required 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2021. The English translation must in such cases be submitted before the deadline of the call for nominations in 2021. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation. The prize consists of: - a certificate - a donation of 3000 euros, provided by the E.W. Beth Foundation - an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). Only digital submissions are accepted, without exception. Hard copy submissions are not allowed. The following documents are to be submitted in the nomination dossier: - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable). - A ten-page English abstract of the dissertation, presenting the main results of each chapter. - A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially awarded and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator. - Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. - Self-nominations are not possible. All pdf documents must be submitted electronically, as one zip file, via EasyChair by following the link https://easychair.org/conferences/?conf=3Dbdp2020. In case of any problems with the submission one should contact the chair of the committee Mehrnoosh Sadrzadeh (m.sadrzadeh@ucl.ac.uk). The prize will be awarded by the chair of the FoLLI board at a ceremony during the 32nd ESSLLI summer school in University of Utrecht, August 3-14, 2020. Beth dissertation prize committee 2020: Maria Aloni (University of Amsterdam) Alexander Clark(Kings College London) Cleo Condoravdi (Stanford University) Robin Cooper (University of Gothenburg) Guy Emerson (University of Cambridge) Katrin Erk (University of Texas at Austin) Arash Eshghi (Hariot-Watt University) Sujata Ghosh (ISI, Chennai) Davide Grossi (University of Groningen and University of Amsterdam) Chris Haase (University College London) Aurelie Herbelot (University of Trento) Louise McNally (Universitat Pompeu Fabra Barcelona) Reinhard Muskens (University of Amsterdam) Laura Rimmell (Deep Mind) Mehrnoosh Sadrzadeh (University College London, chair) Mark Steedman (University of Edinburgh) Matthew Stone (Rutgers) Jouko V=C3=A4=C3=A4n=C3=A4nen (University of Helsinki) Noam Zeilberger (Ecole Polytechnique) --=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/CAPYuNkBA9w75i4YCYkr%3DO440jY2kU8UxkfENT1RXyBNteFqBaA%40= mail.gmail.com. --0000000000003c00f6059cf31f11 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The following announcement may be of interest to some= readers of this list.
regards,
Noam

---= ------- Forwarded message ---------
From: Sadrzadeh, Mehrnoosh <m.sadrzadeh@ucl.ac.uk><= /span>
Date: Fri, 24 Jan 2020 at 08:07
Subject: [TYPES/announce] Call= for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
To: mol@cs.earlham.edu= <mol@cs.earlham= .edu>, folli@f= olli.info <fol= li@folli.info>, ProofTheory@lists.bath.ac.uk <ProofTheory@lists.bath.ac.uk&= gt;, categories@mta.= ca <categorie= s@mta.ca>, types-announce@lists.seas.upenn.edu <types-announce@li= sts.seas.upenn.edu>, elsnet-list@list.hum.uu.nl <elsnet-list@vz07-list.im.h= um.uu.nl>, n= ordlingnet@uib.no <nordlingnet@uib.no>, ln@groupes.renater.fr <ln@groupes.renater.fr>

[ The Types Forum (announcements only),
=C2=A0 =C2=A0 =C2=A0http://lists.seas.upe= nn.edu/mailman/listinfo/types-announce ]

Call for Nominations: E. W. Beth Outstand= ing Dissertation Prize 2020


Since 2002, the Association for Logic, La= nguage, and Information (FoLLI) has been awarding the annual E.W. Beth Diss= ertation Prize to outstanding Ph.D. dissertations in Logic, Language, and I= nformation (http://www.folli.info/?page_id=3D74), with financial support of the E.W. Beth Foundation (https://www.knaw.nl/en/awards/funds/evert-willem-= beth-stichting/evert-willem-beth-foundation). Nominations are now invit= ed for the best dissertation in these areas resulting in a Ph.D. degree awa= rded in 2019.


The deadline for nominations is the 15th = of April 2020.


Qualifications:


=C2=A0 - A diss= ertation is eligible for the Beth Dissertation Prize 2020, if the Ph.D. deg= ree has been awarded in Logic, Language, or Information between January 1st= and December 31st, 2019.

=C2=A0 - There = are no restrictions on the nationality, ethnicity, age, gender or employmen= t status of the author of the nominated dissertation, nor on the university= , academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dis= sertation has originally been written.

=C2=A0 -= =C2=A0 In accordance with the aim of the Beth Foundation to continue= and extend the work of the Dutch logician Evert Willem Beth, nominations a= re invited of excellent dissertations on current topics in philosophical and mathematical logic, computer science logic, ph= ilosophy of science, philosophy of language, history of logic, history of t= he philosophy of science and scientific philosophy in general, as well as t= he current theoretical and foundational developments in information and computation, language and cognition. Disse= rtations with results more broadly impacting various research areas in thei= r interdisciplinary investigations are especially solicited.

=C2=A0 -= =C2=A0 If a nominated dissertation has originally been written in a = language other than English, its dossier should still contain the required = 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than E= nglish requires translation to English for proper evaluation, the committee= can transfer its nomination to the competition in 2021. The English transl= ation must in such cases be submitted before the deadline of the call for nominations in 2021. The committee may= recommend the Beth Foundation to consider supporting such nominated disser= tations for English translation, upon request by the author of the disserta= tion.



The prize consists of:


=C2=A0 - a cert= ificate

=C2=A0 - a dona= tion of 3000 euros, provided by the E.W. Beth Foundation

=C2=A0 - an inv= itation to submit the dissertation, possibly after revision, for publicatio= n in FoLLI Publications on Logic, Language and Information (Springer).



Only digital submissions are accepted, wi= thout exception. Hard copy submissions are not allowed. The following docum= ents are to be submitted in the nomination dossier:


=C2=A0 - The or= iginal dissertation in pdf format (ps/doc/rtf etc. not acceptable).<= /p>

=C2=A0 - A ten-= page English abstract of the dissertation, presenting the main results of e= ach chapter.

=C2=A0 - A lett= er of nomination from the dissertation supervisor, which concisely describe= s the scope and significance of the dissertation, stating when the degree w= as officially awarded and the members of the Ph.D. committee. Nominations should contain the address, phone and = email details of the nominator.

=C2=A0 - Two ad= ditional letters of support, including at least one from a referee not affi= liated with the academic institution that awarded the Ph.D. degree, nor oth= erwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissert= ation.

=C2=A0 - Self-n= ominations are not possible.


All pdf documents must be submitted elect= ronically, as one zip file, via EasyChair by following the link https://easychair.org/confere= nces/?conf=3Dbdp2020. In case = of any problems with the submission one should contact the chair of the com= mittee Mehrnoosh Sadrzadeh (m.sadrzadeh@ucl.ac.uk).


The prize will be awarded by the chair of= the FoLLI board at a ceremony during the 32nd ESSLLI summer school in Univ= ersity of Utrecht, August 3-14, 2020.


Beth dissertation prize committee 2020:


Maria Aloni (University of A= msterdam)

Alexander Clark(Kings Colleg= e London)=C2=A0

Cleo Condoravdi (Stanford University)

Robin Cooper (University of = Gothenburg)

Guy Emerson (University of C= ambridge)

Katrin Erk (University of Te= xas at Austin)

Arash Eshghi (Hariot-Watt Un= iversity)

Sujata Ghosh (ISI, Chennai)<= /span>

Davide Grossi = (University of Groningen and Unive= rsity of Amsterdam)<= span>=C2=A0

Chris Haase (University Coll= ege London)

Aurelie Herbelot (University= of Trento)=C2=A0

Louise McNally (Universitat = Pompeu Fabra Barcelona)

Reinhard Muskens (University= of Amsterdam)

Laura Rimmell (Deep Mind)

Mehrnoosh Sadrzadeh (Univers= ity College London, chair)

Mark Steedman (University of= Edinburgh)

Matthew Stone (Rutgers)

Jouko V=C3=A4=C3=A4n=C3=A4nen (University of Helsinki)

Noam Zeilberger (Ecole Polytechnique)




--
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/CAPYuNkBA9w75i4YCYkr%3DO440jY2k= U8UxkfENT1RXyBNteFqBaA%40mail.gmail.com.
--0000000000003c00f6059cf31f11--