* [HoTT] HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline)
@ 2021-11-29 15:41 weinberge...@gmail.com
2021-11-29 18:29 ` Steve Awodey
0 siblings, 1 reply; 2+ messages in thread
From: weinberge...@gmail.com @ 2021-11-29 15:41 UTC (permalink / raw)
To: Homotopy Type Theory
[-- 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 --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [HoTT] HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline)
2021-11-29 15:41 [HoTT] HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline) weinberge...@gmail.com
@ 2021-11-29 18:29 ` Steve Awodey
0 siblings, 0 replies; 2+ messages in thread
From: Steve Awodey @ 2021-11-29 18:29 UTC (permalink / raw)
To: Homotopy Type Theory; +Cc: EMILY RIEHL, Jonathan Weinberger
Note that there is still time to contribute a talk - also until December 1.
Contributed talks are always accepted, and if there are enough of them related to HoTT,
they will probably all be grouped together into a session.
Contributed talks should be submitted to asl@uconn.edu
Here are the details:
https://aslonline.org/rules-for-abstracts/
Steve
> On Nov 29, 2021, at 10:41 AM, weinberge...@gmail.com <weinbergerjonathan@gmail.com> wrote:
>
> ** 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.
--
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/B685DA1F-60A4-42F6-8784-D0F183BE172C%40cmu.edu.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-11-29 18:30 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-11-29 15:41 [HoTT] HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline) weinberge...@gmail.com
2021-11-29 18:29 ` Steve Awodey
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).