From: karol.szumilo@gmail.com
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] Summer School on HHT/UF - Registration open
Date: Wed, 27 Feb 2019 07:27:07 -0800 (PST) [thread overview]
Message-ID: <d101987d-0fd9-400a-903a-14b6df6302a7@googlegroups.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 2022 bytes --]
Dear friends and colleagues,
Registration is now open for the Summer School on Higher Topos Theory and
Univalent Foundations, which will take place at the University of Leeds
(UK) from Monday 24th June to Friday 28th June, 2019.
The deadline for registration is May 24th, 2019. To register, please follow
the instructions at
https://conferences.leeds.ac.uk/httuf/registration/
Note that you will need to create an account at the University of Leeds
online store in order to register.
The goal of the school is to help PhD students and young researchers to
obtain entry points into the areas of Higher Topos Theory and Univalent
Foundations and, perhaps most importantly, learn about connections between
them. This would help future developments in both subjects, e.g. in the
development of elementary higher topos theory.
The school will consist of the following activities.
Mini-courses:
- Peter LeFanu Lumsdaine (Stockholm University), Univalent Foundations
- Charles Rezk (University of Illinois at Urbana-Champaign), Higher Topos
Theory
Invited lectures:
- Benedikt Ahrens (University of Birmingham)
- André Joyal (Université du Québec à Montréal)
- Emily Riehl (Johns Hopkins University)
Tutorials:
- Nicola Gambino (University of Leeds)
- Paige North (Ohio State University)
- Nima Rasekh (Max Planck Institute for Mathematics)
- Karol Szumilo (University of Leeds)
The website of the summer school can be found at:
https://conferences.leeds.ac.uk/httuf/
If you have any queries please do not hesitate to contact the local
organizers at httuf@leeds.ac.uk.
With best regards,
The organisers (Nicola Gambino, Nima Rasekh, Karol Szumilo)
--
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.
For more options, visit https://groups.google.com/d/optout.
[-- Attachment #1.2: Type: text/html, Size: 3018 bytes --]
reply other threads:[~2019-02-27 15:27 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=d101987d-0fd9-400a-903a-14b6df6302a7@googlegroups.com \
--to=karol.szumilo@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).