Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
From: nicolas tabareau <tabareau.nicolas@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] EPIT 2020: Spring School on Homotopy Type Theory (second announcement)
Date: Thu, 30 Jan 2020 05:05:52 -0800 (PST)
Message-ID: <221d36fb-a065-404f-9664-e474734713a6@googlegroups.com> (raw)

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

====================================================================

Spring School on Theoretical Computer Science (EPIT) – Homotopy Type Theory

Ile d’Oléron, CAES CNRS La vieille Perrotine, France.

25th-29th May 2020

https://epit2020cnrs.inria.fr

====================================================================

The EPIT is a French thematic school proposing, on an yearly basis, an 
intensive 5-day long training, 
specializing on a particular topic in theoretical computer science. It is 
primarily addressed to PhD students, 
Post-doctoral researchers and junior academics.

The 2020 edition of the EPIT will be centered around Homotopy Type Theory, 
a research topic at the junction 
of Computer Science and Mathematics. Our hope is hence to provide an 
introduction that is accessible 
to researchers in both areas.

Pre-registration is now open, please visit 
https://epit2020cnrs.inria.fr/registration/ to know more. 

For any question, please contact epit2020@sciencesconf.org

NB: As the number of places is limited, we have fixed a deadline for 
pre-registration to ** March 15, 2020 **.

--------------------------------------------------------------------
Lecturers

Andrej Bauer (Ljubljana University): 
Introduction to Homotopy Type Theory

Bas Spitters (Aarhus University): 
The Coq-HoTT library

Andy Pitts (Cambridge University): 
Models of (Univalent) Type Theory

Anders Mörtberg (Stockholm University): 
Cubical Type Theory

Guillaume Brunerie (Stockholm University): 
Synthetic Homotopy Theory

-- 
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/221d36fb-a065-404f-9664-e474734713a6%40googlegroups.com.

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

                 reply index

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=221d36fb-a065-404f-9664-e474734713a6@googlegroups.com \
    --to=tabareau.nicolas@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

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git