Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: "weinberge...@gmail.com" <weinbergerjonathan@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline)
Date: Mon, 29 Nov 2021 07:41:21 -0800 (PST)	[thread overview]
Message-ID: <05332804-9ec5-4b4f-aed1-30be42aecb0dn@googlegroups.com> (raw)

[-- Attachment #1.1: Type: text/plain, Size: 1402 bytes --]

** Sent on behalf of Emily Riehl. Please observe the deadline ahead **

The 2022 North American Annual Meeting of the Association of Symbolic Logic 
will be held at Cornell University, from April 7th-10th. During the 
conference, there will be a special session on homotopy type theory, 
tentatively scheduled for Saturday (all day) and Sunday (morning), with the 
following six speakers:

Steve Awodey

Jonas Frey

Sina Hazratpour

Simon Henry

Chris Kapulkin

Paige North

More details, including a full schedule, titles, and abstracts will be 
coming soon but the reason I am writing to announce this workshop now is 
that there is some funding available for graduate students available to 
those who apply by Wednesday December 1st, 2021.

Instructions for the application can be found here:


The application requires just one page, plus a short letter from the thesis 

Please let me know if you have any questions.

From the organizer,

Emily Riehl

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/05332804-9ec5-4b4f-aed1-30be42aecb0dn%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 2035 bytes --]

             reply	other threads:[~2021-11-29 15:41 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-11-29 15:41 weinberge...@gmail.com [this message]
2021-11-29 18:29 ` Steve Awodey

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=05332804-9ec5-4b4f-aed1-30be42aecb0dn@googlegroups.com \
    --to=weinbergerjonathan@gmail.com \
    --cc=HomotopyTypeTheory@googlegroups.com \
    --subject='Re: [HoTT] HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline)' \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).