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:
http://aslonline.org/student-travel-awards/
The application requires just one page, plus a short letter from the thesis
advisor.
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 --]
next 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:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* 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 \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).