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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,LOTS_OF_MONEY,MAILING_LIST_MULTI autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 8354 invoked from network); 13 Nov 2020 18:20:46 -0000 Received: from mail-qv1-xf3b.google.com (2607:f8b0:4864:20::f3b) by inbox.vuxu.org with ESMTPUTF8; 13 Nov 2020 18:20:46 -0000 Received: by mail-qv1-xf3b.google.com with SMTP id x9sf4723565qvt.16 for ; Fri, 13 Nov 2020 10:20:45 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1605291638; cv=pass; d=google.com; s=arc-20160816; b=CIKLig9LsqKnyuocgfwaMhzv7a5Xl3+KBfUWvCQ1vJtNco7Jw6bzvNnLOVjFAAMXok p+CIWlvqCcUKD/dRDyV+qICoQDRpLD+bBDr5V3DT4VV4lvc4Uz/EzOW5077BM0Ot5rSG RmNkVDlG7X5kDOa5g5U75ew2x1UIw/i/odFqt9jAbVsg68RhJ9qMFRvwEc7fWT78FbDD GIdb3gPBIexHqVO1Up7kwGvPtwh1abWpbzv0bP+NaQrJJbMWT0MIBnvVqNwak9WGbWi2 9jilUo6XrUNe4lW6nXV8novckQQ1fH5xYuI2EWxlPxkldIKfVK0n6otMTDiS4L/gnEBF C6Ng== 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:message-id:subject:date:mime-version :from:sender:dkim-signature; bh=dvp0yr5+8SnbJ8LYnnvxP9+jBDnmdhwxIkoOf/gaJlI=; b=xNsStkoO2DtHONIW+JdvD0uojYsyO9h66bobGJ4b6ar8vR5q41RUu3E4ni8yY71Foa 0rABc/6r5gsGEWiIBDHUbBdFXhVIY7TIv9v64QPSAfr7H7ZwvcpKBs6DFpCDhE38tqw4 IdxeTtgaZAMwEIzVrppUKdT58VcBz0uw3ttXXujIaQWJUzPHhaAexjtVp9kM3Tho07og eM5AhLC6K4MIcqZDIf816+wGkrWMFFU15TlBPobn2g6n/ZSxprhbJzad3xddmamS2WeJ uF9sQc+MHJNMvz5PwTonR33BCsYog/E6FtVKRDfKShDMhkYnBNaj5YaMIFNVy3bMAupL jd1Q== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=jWvT4Aww; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::82b as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:mime-version:date:subject:message-id:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=dvp0yr5+8SnbJ8LYnnvxP9+jBDnmdhwxIkoOf/gaJlI=; b=P9izLA5rXb7Lyu9PyQywCvd+/hhfvQIZd0pLYuB5P7q654E7ybnTVa/WtJKLM8oL+z 2+/bullgchBBVu6PiUtYoeI2dSub6DOEV33caM8IHj2bOPx/tXfUlm3tBtc+5zPny76y GUE0ANDgkh6geD09PgmYxleQKlwnEflRXS9OS7ctG3B0YZ12wa8rYgg8qJIXAQatsZ21 4FN5Y6lIjSLIqnF3DhAJWZQp3Av/W+howMCpRugbY7v7mdYMIi2ztBx43mjLEekcgPZf KByAV8MF3snIVtJ2GOAInTd9T8Mp+ouzaJrSxH8JN02rYILYcWMDHXJ9uP9BbUyMnDbI 4mqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:mime-version:date:subject:message-id :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=dvp0yr5+8SnbJ8LYnnvxP9+jBDnmdhwxIkoOf/gaJlI=; b=kmvpjYID0105Fg9ZrBBzjKWiTCzyDQGB/a6K3byJLTFvdtZbYuG+VhJWJZ9VaByoZH l89hZIZtIaN45HoNqwDto/aGOETZJe06+qoXvXeJg5xhO71tzFML0F3BvcugKOKwIEaC 50cBrpiqvP9PFqEHitk3XW/FBKjP8A+sQX8hf0pwlxYAi/GLvR8PQw75L04QxN18vKBV N4P/3eOcxNM71LAl+5UmjVCvGtJmWVMoNAHsl9XYsANc1bnX4f1gT+4hSKnUkaCV0zjt FjDQanbWSF2R0AB+IqMUG8FqbQvsgWRwGTG/J/+2kDIAL8ifGe3YGGvsaqeJ6YSkVyF0 PFAQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532vhiJqR8nl/OYJSbLtk6EPPi453HnYl5Sn90l6xqWHJ9KvZEAV ndho4m2RBpfM1JFC01k0W+Q= X-Google-Smtp-Source: ABdhPJwsmqHkfzhl0LHtsrBoSxK4InNnG3EsUaLPvtEBBvVBV+e5yWM7woAoyFGeFo1+YMGhHpqYxg== X-Received: by 2002:a37:793:: with SMTP id 141mr3436304qkh.215.1605291637752; Fri, 13 Nov 2020 10:20:37 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a37:7006:: with SMTP id l6ls3266852qkc.5.gmail; Fri, 13 Nov 2020 10:20:37 -0800 (PST) X-Received: by 2002:a05:620a:204c:: with SMTP id d12mr3419711qka.212.1605291637030; Fri, 13 Nov 2020 10:20:37 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1605291637; cv=none; d=google.com; s=arc-20160816; b=V9Aq+F3DeFHJk4uBoIgI6szGATgbeWs+ZDxQuycA2plaz2AU3+FAP/tgnqwOdMfUik ts/ngWNmKcmcvMBe8dDjn/gf14fv+SJ+38F3N3SCkkO2wxvlBALNJ/4pjcHptCqE0cI1 lg/gJVRBtbVTv842s8gDl+0cpy7v+xxMDUs8eiMhbQzp8eKCU6eS6/jaoimP6kxtrfJw yMsCscwSwraCGYJ7jc6FIN/ocNH8oEp1/YWh3lChKL8s0x9ksW1TKrOdBvypafycm9Cx k/eFzwgH2O+NiTOEaaz9LI+2opKfPrehmSRMzr84bOujNCgodrxWeS6DQEUeiZoHWj7+ WvIQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:message-id:subject:date:mime-version:from:dkim-signature; bh=ssHw4K/TWQdq6lkAL7JfA6N0UZ3FRlffFZoWH8sQ9rQ=; b=oL9gRbfaIUeUVS4gvu91prsR8L8oMNC5FJdKCy0tGrSC3rZrapaNzB11neD9pamtHv CO2mBwfeCSaLOncGW2xo8nPrdX507jmAndOgYAcTuBNPCLuoJ4NqTmZjoMEyM5tHg2ZJ LL/BvgSi8DWH43jwDmwMwvVe9gBvJps2KtrcUZoeq+SyKsdtsNOc5odwOif7pHH6Uz4l YTZRrWEE2nTDOoPRyZcD4LoILMcP4RN/zh753Q8yVCLFPgrgx0KN/5jP1T41WKeERT5b SaOOTOVG4lewvFmwoeAgrJvwFsh56AJOqS5qi4qZAwHOY9VDkdluUgoNmyQoIgxrZF4P LcjQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=jWvT4Aww; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::82b as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-qt1-x82b.google.com (mail-qt1-x82b.google.com. [2607:f8b0:4864:20::82b]) by gmr-mx.google.com with ESMTPS id p51si614365qtc.4.2020.11.13.10.20.37 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 13 Nov 2020 10:20:37 -0800 (PST) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::82b as permitted sender) client-ip=2607:f8b0:4864:20::82b; Received: by mail-qt1-x82b.google.com with SMTP id m65so7294019qte.11 for ; Fri, 13 Nov 2020 10:20:37 -0800 (PST) X-Received: by 2002:ac8:71d9:: with SMTP id i25mr3138593qtp.218.1605291636378; Fri, 13 Nov 2020 10:20:36 -0800 (PST) Received: from [192.168.1.143] (pool-71-112-154-2.pitbpa.fios.verizon.net. [71.112.154.2]) by smtp.gmail.com with ESMTPSA id w45sm7672373qtw.96.2020.11.13.10.20.35 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 13 Nov 2020 10:20:35 -0800 (PST) From: Steve Awodey Content-Type: multipart/alternative; boundary="Apple-Mail=_CA17B64F-7B96-473B-9EB6-548AC2D6822B" Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.7\)) Date: Fri, 13 Nov 2020 13:20:34 -0500 Subject: [HoTT] HoTT Dissertation Fellowship: Deadline extended Message-Id: <53B83835-08E8-45B1-8A2D-4F504D14358C@cmu.edu> To: Homotopy Type Theory X-Mailer: Apple Mail (2.3445.9.7) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=jWvT4Aww; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::82b as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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: , --Apple-Mail=_CA17B64F-7B96-473B-9EB6-548AC2D6822B Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" The deadline for applications for this fellowship has been extended to Dece= mber 1. PhD students working on a thesis are encouraged to apply. ************************************************** HoTT Dissertation Fellowship PhD students close to finishing their thesis are invited to apply for a Dis= sertation Fellowship in Homotopy Type Theory. This fellowship, generously f= unded by Cambridge Quantum Computing and Ilyas Khan, will provide $18,000 t= o support a graduate student finishing a dissertation on a topic broadly re= lated to homotopy type theory. For instance, it can be used to fund a seme= ster free from teaching duties, or to extend a PhD period by a few months.= =20 Applications are due by November 15, 2020, with decisions to be announced i= n mid-December; the fellowship period can be any time between January 1, 20= 21 and June 30, 2022 at the discretion of the applicant.=20 To apply, please send the following: =E2=80=A2 A research statement of no more than two pages, describing your t= hesis project and its relationship to homotopy type theory, when you are pl= anning to finish your PhD, and what the money would be used for. Please als= o mention your current and past sources of support during your PhD, and say= a little about your research plans post-graduation. =E2=80=A2 A current CV. =E2=80=A2 A letter from your advisor in support of your thesis plan, and co= nfirming that your department will be able to use the money as planned. Application materials should be submitted by email to:=20 HoTTfellowship@gmail.com The recipient of the fellowship will be selected by a committee consisting = of Steve Awodey, Thierry Coquand, Emily Riehl, and Mike Shulman, and will b= e announced at: https://homotopytypetheory.org/2020/10/03/hott-dissertation-fellowship/ --=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/53B83835-08E8-45B1-8A2D-4F504D14358C%40cmu.edu. --Apple-Mail=_CA17B64F-7B96-473B-9EB6-548AC2D6822B Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"
The deadline for applications for this fellows= hip has been extended to December 1.
PhD students working on a thesis are encouraged to apply.

*************************************************= *

HoTT Dissertation Fellowship
=
PhD students close to finishing their thesis are invited to = apply for a Dissertation Fellowship in Homotopy Type Theory. This fellowshi= p, generously funded by Cambridge Quantum Computing and Ilyas Khan, wi= ll provide $18,000 to support a graduate student finishing a dissertation o= n a topic broadly related to homotopy type theory.  For instance,= it can be used to fund a semester free from teaching duties, or to extend = a PhD period by a few months. 

Applications a= re due by November 15, 2020, with decisions to be announced in mid-December= ; the fellowship period can be any time between January 1, 2021 and Ju= ne 30, 2022 at the discretion of the applicant. 

To apply, please send the following:

=E2=80=A2 A research statement of no more than t= wo pages, describing your thesis project and its relationship to homotopy t= ype theory, when you are planning to finish your PhD, and what the mon= ey would be used for. Please also mention your current and past sources of = support during your PhD, and say a little about your research plans po= st-graduation.

= =E2=80=A2 A current CV.

=E2=80=A2 A letter from your advisor in su= pport of your thesis plan, and confirming that your department will be able= to use the money as planned.

Application ma= terials should be submitted by email to: 


The recipient of the f= ellowship will be selected by a committee consisting of Steve Awodey, Thier= ry Coquand, Emily Riehl, and Mike Shulman, and will be announced at:
<= div style=3D"color:rgb(0,0,0);font-family:Helvetica;font-size:14px" class= =3D"">
https://homotopytypetheory.org/202= 0/10/03/hott-dissertation-fellowship/


--
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/53B83835-08E8-45B1-8A2D-4F504D14358C%40cmu.edu.
--Apple-Mail=_CA17B64F-7B96-473B-9EB6-548AC2D6822B--